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

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

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

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

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

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

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

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

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

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

• S1,S2,Sn есть (не есть) Р;

• S есть (не есть) P1 P2 Pn

• S1,S2,Sn есть (не есть) Р1,Р2,Рn

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

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

Сравнимые - это суждения, которые имеют одинаковые препозиционные переменные (составляющие) и различаются логическими связками, включая отрицание.

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

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

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

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

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

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

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

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

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

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