Новосибирский государственный  аграрный университет

 

Факультет государственного и  муниципального управления 
 

Кафедра философии 
 
 
 
 
 
 
 

Реферат по логике 

                                              Модальность суждений 
 
 
 
 
 
 

                            Выполнил: Гребенщикова Е.В..

                   Курс: первый

                 Группа:у8143

                   Дата 29.12.11

                           Проверил:

       Дата

            Подпись 
 
 
 
 
 
 
 
 
 
 
 

Новосибирск – 2011  
 

                    Введение                                                                                    3 

1. Логические  отношения между суждениями.        4
2. Понятие и виды модальностей.                              8
3. Функция высказывания и суждения.                    10
4. Заключение                                                              20
5. Список литературы                                                 21

 

                 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Мы не будем  говорить о выделяемой логиками модальности  в широком смысле (об этом можно  прочесть в специальной литературе). Будем рассматривать лишь модальность в узком, более строгом смысле, т.е. необходимость, возможность и действительность.

Необходимость безотносительна ко времени (прошлому, настоящему и будущему) и выразима в языке операторами "обязательно", "необходимо" и др. Так, необходимость того, что сумма углов треугольника на плоскости равна двум прямым, имела, имеет и будет иметь место. Оператор необходимости может стоять перед суждением, может опускаться, а может как бы включаться в связку: "Сумма углов треугольника на плоскости необходимо равна двум прямым".

Действительность  соответствует настоящему времени  и подчеркивается связками "есть", "не есть", "суть", "не суть" и др. Языковые выражения этой модальности  довольно разнообразны; особенности  и свойства суждений действительности нами уже рассмотрены.

Возможность (проблематичность) допустима в любом времени  и выразима операторами "возможно, было", "возможно, есть", "возможно, будет".

Для интерпретации  модальностей часто используют систему "возможных миров", один из которых соответствует действительности. Но то, что истинно в одном мире, может быть ложным в других "мирах", и наоборот. И лишь необходимость (аподиктические суждения) будет истинной во всех этих "мирах". Возможность — хотя бы в одном из них. Действительность — только в "этом" мире.

Вот перечень зависимостей между модальными суждениями:

— истинность суждения необходимости гарантирует истинность суждений действительности и возможности;

— ложность суждения необходимости влечет неопределенность суждений действительности и возможности;

— истинность суждения действительности гарантирует истинность суждения возможности, но влечет неопределенность суждения необходимости;

— ложность суждения действительности гарантирует ложность суждения необходимости и неопределенность суждения возможности:

— истинность суждения возможности влечет неопределенность суждений действительности и необходимости;

— ложность суждения возможности гарантирует ложность суждений действительности и необходимости.

Облегчить ориентацию в этих сравнительно многочисленных зависимостях может следующая таблица, где символом "В" обозначено любое простое суждение, а стрелкой — направленность нашего рассуждения от истинности или ложности того или иного суждения. 
 
 
 
 
 
 
 
 
 
 
 
 
 

1. Логические отношения между суждениями 
 

Основу отношений  между суждениями составляет их сходство по смыслу и логическим значениям (истинности и ложности). В силу этого отношения  устанавливаются не между любыми, а лишь между сравнимыми, т.е. имеющими общий смысл, суждениями. Учитывая структурные различия, рассмотрим вначале отношения между простыми, а затем между сложными суждениями. 

Простые суждения 

Несравнимыми  среди простых являются суждения, имеющие различные субъекты или  предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины». 

Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся  связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях». 

Отношения между  простыми суждениями обычно рассматриваются  с помощью мнемонической схемы, называемой логическим квадратом (рис. 37). Его вершины символизируют  простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями. 

Противоположность ( контрарность) 

 
 

Частичная совместимость (субконтрарность) 

Среди сравнимых  различают совместимые и несовместимые 

суждения. 

Отношение совместимости. 

К совместимым  относятся суждения, которые одновременно могут быть истинными. Различают  три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная  совместимость (субконтрарность) и 3) подчинение. 

1. Эквивалентными  являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику.  

Различия между  высказываниями, содержащими простые эквивалентные суждения, проявляются главным образом словесно. Например, различными словами могут быть выражены кванторы: «некоторые», «иногда», «как правило» и т.п.; использованы синонимы для выражения субъекта или предиката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table».  

2. Частичная  совместимость характерна для  суждений I и О, которые могут  быть одновременно истинными,  но не могут быть одновременно  ложными. 

При ложности одного из них другое будет истинным: 1 I->O; 

1 O->I. Например, при ложности суждения «Некоторые  злаки ядовиты» будет истинным  суждение «Некоторые злаки не  являются ядовитыми». В то же  время при истинности одного  из частных суждений другое  может быть как истинным, так  и ложным: I—>(0 v 1 О); 

O->(I v1 I). 

3. Подчинение  имеет место между суждениями  А и I, E и О. Для них характерны  следующие две зависимости. 

При истинности общего суждения частное всегда будет истинным: А—>1, Е—>0. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права».  

При ложности частного суждения общее суждение также будет  ложным: 1I->1A; 1O->1E . Например, если неверно  утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности». 

Отношение несовместимости. 

Несовместимыми  являются суждения А и E, А и О, Е и I, которые одновременно не могут  быть истинными. Различают два вида несовместимости: противоположность и противоречие. 

1. Противоположными (контрарными) являются суждения  А и Е, которые одновременно  не могут быть истинными, но  могут быть одновременно ложными. 

Истинность одного из противоположных суждений определяет ложность другого: А-1 Е; Е—1 А. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим». При ложности же одного из противоположных суждений другое остается неопределенным — оно может быть как истинным, так и ложным. 

2. Противоречащими  (контрадикторными) являются суждения  Аи О, Е и I, которые одновременно  не могут быть ни истинными,  ни ложными. 

Для противоречия характерна строгая, или альтернативная несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего. 

Например, если признается истинным суждение «Все принципиальные люди признают свои ошибки», то ложным будет ему альтернативное: «Некоторые принципиальные люди не признают своих ошибок». 

Сложные суждения 

Сложные суждения также могут быть сравнимыми и  несравнимыми. 

Несравнимые —  это суждения, которые не имеют  общих пропозициональных переменных. Например, р ^ q и m ^ n. 

Сравнимые —  это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Например, сравнимыми являются следующие два суждения: «Норвегия или Швеция имеют выход в Балтийское море» (р v q); «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море»  

Сложные сравнимые  суждения могут быть совместимыми и  нeсовместимыми. 

Отношение совместимости. 

К совместимым  относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений: 

эквивалентность, частичная совместимость и подчинение. 

1. Эквивалентные  — это суждения, которые принимают  одни и те значения, т.е. одновременно являются либо истинными, либо ложными. 

Отношение эквивалентности  позволяет выражать одни сложные  суждения через другие — конъюнкцию через дизъюнкцию или импликацию, и наоборот.  

2. Частичная  совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. 

3. Подчинение  между суждениями имеет место  в том случае, когда при истинности  подчиняющего подчиненное всегда  будет истинным. 

Отношение несовместимости. 

Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие. 

Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одно­временно ложными. 

Противоречие  — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. 
 
 
 
 
 
 
 
 
 

  
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

2. Понятие и виды модальностей.