5.2. Отношения между простыми суждениями

Между известными видами простых категорических суж­дений устанавливаются следующие отношения: противоречия (контрадикторности), противоположности (контрарности, про­тивности), подпротивоположности (субконтрарности, подпротивности, или частичного совпадения) и подчинения.

Отношение противоречия (контрадикторности) устанавлива­ется между суждениями, разными как по качеству, так и по ко­личеству, т.е. между общеутвердительным (А) и частноотрицательным (О) и между общеотрицательным (Е) и частноутвердительным (I).

Отношение противоположности (контрарности, противности) устанавливается между общими суждениями, но разными по качеству: между общеутвердителным (А) и общеотрицательным (Е).

Отношение подпротивоположности (подпротивности, субконтрарности, или частичного совпадения) устанавливается между разными по качеству частными суждениями, (между I и О).

Наконец, в отношении подчинения находятся суждения оди­накового качества, но разного количества, т.е. суждения общеутвердительное (А) и частноутвердительное (I), а также общеотрицательное (Е) и частноотрицательное (О). В этом отношении общее есть подчиняющее суждение, частное - подчиненное.

Для наглядности и лучшего запоминания отношений между простыми категорическими суждениями в качестве мнемониче­ской фигуры используют предложенный еще в средневековье так называемый логический квадрат. Углы этого квадрата соответст­вуют видам суждений, а стороны и диагонали - отношениям между ними:

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

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

Для верификации (проверки) истинности высказываний формальная логика дублируется математической путем составления всевозможных таблиц. Например, высказывание «a» и его отрицание «не-a» дает таблицу истинности:

а	а
И	Л
Л	И

Где «И» означает «истина», «Л» – «ложь».

Означающую что, если «a» истинно, то «a» ложно и наоборот.

Например, исходное общеутвердительное (А) суждение «Все люди есть студенты» - ложно. По логике, противное ему суж­дение может быть как истинным, так и ложным. Зная предметную область, мы эту неопределенность снимаем и заключаем, что противное исходному общеотрицательное суждение (Е) «Ни один человек не является студентом» тоже ложно. Но вот другое по конкретному содержанию исходное суждение «Все люди имеют крылья». Оно тоже ложно, однако противное ему суждение «Ни один человек не имеет крыльев» - истинно. Особенность противоположных суждений кратко формулируется сле­дующим образом: противоположные суждения не могут быть одновременно истинными, по крайней мере одно из них ложно, по большей мере - оба могут быть ложными.

Отношение подпротивоположности (субконтрарности, частичного совпадения) обратно отношению противоположности, обратно по истинностным зависимостям. Это отношение устанавливается между разнокачественными частными суждениями, истинностные зависимости которых определяются нормой: подпротивоположные суждения не могут быть одновременно ложными, по крайней мере, одно из них истинно, а по большей мере оба могут быть истинными. Так, при ложности исходного частноутвердительного суждения (I) ему подпротивное частноотрицательное суждение (О) будет обязательно истинным. То же самое и при ложности исходного частноотрицательного суждения - подпротивное ему суждение будет обязательно истинным. Например, суждение «Некоторые сту­денты имеют крылья» - ложно. Значит, подпротивное ему суж­дение должно быть обязательно истинным. И это так - «Некоторые студенты не имеют крыльев». Зато при истинности исходного частного суждения (I или О) ему подпротивное (О или I) может быть и истинным: "Некоторые студенты - спортсмены" и подпротивное ему "Некоторые студенты не есть спортсмены" оба истинны.

Отношение подчинения характерно тем, что истинность общего (подчиняющего) суждения А (или Е) всегда влечет за собой истинность подчиненного ему частного суждения I (или О). Ложность же общих суждений не гарантирует ни истинности, ни ложности соответствующих им частных суждений, т.е. те могут быть в зависимости от конкретного содержания как истинными, так и ложными. Например, при истинности общего суждения «Все студенты - учащиеся», подчиняющееся ему частное суждение «Некоторые студенты - учащиеся» будет обязательно истинным. Ложность конкретного по содержанию общего суждения «Все студенты - отличники» позволяет конкрети­зировать истинностное значение подчиняющегося ему частного суждения «Некоторые студенты - отличники» - оно в данном случае истинно. В другом случае, при ложности общего суждения «Все студенты - птицы», подчиненное ему частное суждение тоже будет ложным: «Некоторые студенты - птицы».

Ложность подчиняющихся частных суждений (I или О) всегда определяет ложность и соответ­ствующих им общих суждений (А или Е). Истинность же частных - неопределенность общих: те могут быть в конкретных по содержанию слу­чаях как истинными, так и ложными: «Некоторые студенты есть спортсмены» - истинное частное суждение. Общее же суждение «Все студенты есть спорт­смены» будет ложным. Другой случай: истинное частное суждение «Некоторые студенты не есть птицы» и истинное же общее суждение «Все студенты не есть птицы». Зато ложность любого частного суж­дения («Некоторые студенты не есть учащиеся» или «Некоторые студенты есть птицы») всегда влечет ложность и соответствую­щего им общего суждения («Все студенты не есть учащиеся» или «Все студенты есть птицы»).

Зная отношения между простыми категорическими сужде­ниями (ориентируясь по логическому квадрату), легко составить сводную таблицу зависимости истинности того или иного суждения от истинности или ложности исходного. При истин­ности общеутвердительного суждения (А) общеотрицательное суждение (Е) будет ложно, частноотрицательное суждение (О) тоже будет ложно, частноутвердительное (I) - истинно. При ложности общеутвердительного суждения (А) общеотрицатель­ное суждение (Е) будет неопределенным, частноотрицательное (О) будет истинным, частноутвердитсльное (I) - неопределенным. При истинности общеотрицательного суждения (Е) общеутвердительное (А) будет ложно, частноутвердительное (I) - тоже ложно, частноотрицательное (О) - истинно. При ложности общеотрицательного суждения (Е) общеутвердительное (А) - неопределенно, частноутвердительное (I) - истинно, частноотрицательное (О) - неопределенно. При истинности частноутвердительного суждения (I) общеутвердительное (А) - неопределенно, общеотрицательное (Е) - ложно, частноотрицательное (О) - неопределенно. При ложности частноутвердительного суждения (I) общеутвердительное суждение (А) ложно, общеотрицательное (Е) - истинно, частноотрицательное (О) - истинно. При истинности частноотрицательного суждения (О) общеутвердительное (А) - ложно, общеотрицательное (Е) - неопределенно, частноутвердительное (I) - тоже неопределенно. При ложности частноотрицательного суждения (О) общеутвердительное суждение (А) - истинно, общеотрицательное (Е) - ложно, а частноутвердительное (I) - истинно.

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

a	b	a b	a V b	a b	a → b	a ≡ b
И	И	И	И	Л	И	И
И	Л	Л	И	И	Л	Л
Л	И	Л	И	И	И	Л
Л	Л	Л	Л	Л	И	И

Исчислению подлежат все высказывания, как простые, так и сложные.