Норма и суждение

Виды  сложных суждений  

Определение суждения

 

    Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.

 

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

 

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

 

Состав  сложного суждения 

 

    Сложные суждения состоят из  ряда простых («Человек не стремится  к тому, во что не верит, и  любой энтузиазм, не подкрепляясь  реальными достижениями, постепенно  угасает»), каждое из которых в  математической логике обозначается  латинскими буквами (A, B, C, D… a, b, c, d…).

В зависимости  от способа образования различают:

 

• Дизъюнктивные суждения
• Импликационные суждения
• Конъюнктивные суждения
• Эквивалентные суждения
• Отрицательные суждения

 

Дизъюнктивные суждения  

 

        Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

• Нестрогими
• строгими 

Импликационные суждения

 

        Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как   или  . В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня ни одной тучи») и, в таком случае, означает конъюнкцию.

 

Конъюнктивные суждения 

 

        Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как  .

 

Эквивалентные суждения 

 

         Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как   (у разных математиков по-разному, хотя математический знак тождества всё-таки  ).

 

Отрицательные суждения 

 

        Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

 

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

 

• Разделительные (дизъюнктивные) суждения.

     Разделительным, или дизъюнктивным, называют суждение, со­стоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быть заключен в устной или письменной форме» является разделитель­ным суждением, состоящим из двух простых: «Договор купли-прода­жи может быть заключен в устной форме»; «Договор купли-продажи может быть заключен в письменной форме». Если первое обозна­чить р, а второе — q, то разделительное суждение символически можно выразить как р v q, где р и q — члены дизъюнкции (дизъюнк­ты), v — символ дизъюнкции. 
Разделительное суждение может быть как двух-, так и многосо­ставным: р v q v ... v n.

 

 Строгая дизъюнкция

 

• Строгая дизъюнкция - суж­дение, в котором связка «или» употребляется в разделительном значе­нии (символ ¥).

     

 

Условные (импликативные) суждения

 

• 3.3. Условные (импликативные) суждения.

         Условным, или импликативным, называют суждение, состоя­щее из двух простых, связанных логической связкой «если.., то...». 

 

Эквивалентные суждения (двойная импликация)

 

• Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если→, то...».