Тема 3. Суждение как форма мышления

Лекция 2

3.3. Сложные суждения, отношения между сложными суждениями

3.4. Логические операции с суждениями

3.3. Сложные суждения, отношения между сложными суждениями

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

Различают следующие виды сложных суждений:

1) соединительные (конъюнкция);

2) разделительные (дизъюнкция);

3) условные (импликация);

4) эквивалентные.

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

В естественном языке конъюнктивная связка может быть представлена и такими выражениями, как «а также», «однако», «несмотря на» и другими. В символической записи конъюнкция может выглядеть как А В, так и В А.

Разделительным, или дизъюнктивным, называется суждение, состоящее из нескольких простых, связанных логической связкой «или». Символическая запись — AB. Разделительное суждение может быть как двух, так и многосоставным: АВСn. Поскольку связка «или» употребляется в естественном языке в двух значениях — соединительно-разделительном и исключающе-разделительном, то выделяют два типа разделительных суждений: нестрогую (слабую) дизъюнкцию и строгую (сильную) дизъюнкцию.

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

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

В дизъюнкции принято различать полную и неполную дизъюнкцию.

Полным или закрытым называют дизъюнктивное суждение, в котором перечислены все признаки или все виды данного рода.

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

Условные (импликативные) суждения — это суждения, состоящие из двух простых суждений, соединенных логической связкой «если..., то...». Например, «если оружие не снять с предохранителя, то оно не выстрелит». Первое суждение — «оружие не снять с предохранителя» — называют антецендентом (предшествующим), второе — «оно не выстрелит» — консеквентом (последующим). Если первое суждение обозначить Р, а второе — X, то символическая запись будет выглядеть следующим образом: РX

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

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

В символическом виде данные суждения выражаются в следующем виде: px

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

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

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

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

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

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

3. Подчиненные — это суждения, в которых при истинности подчиняющего подчиненное всегда истинно. «» — знак подчиненности.

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

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

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

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