Логический квадрат

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

Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. Так, суждения вида А и вида I, а также суждения вида Е и вида О находятся в отношении подчинения. Суждения вида А и вида Е находятся в отношении противоположности, а суждения вида I и вида О – частичного совпадения. Суждения вида А и вида О, а также суждения вида Е и вида I находятся в отношении противоречия. Неудивительно, что логический квадрат не изображает отношение равнозначности, потому что в этом отношении находятся одинаковые по виду суждения, т.е. равнозначность – это отношение между суждениями А и А, I и I, Е и Е, О и О. Для того, чтобы установить отношение между двумя суждениями, достаточно определить, к какому виду относится каждое из них. Например, надо выяснить, в каком отношении находятся суждения: Все люди изучали логику и Некоторые люди не изучали логику. Видя, что первое суждение является общеутвердительным (А), а второе частноотрицательным (О), мы без труда устанавливаем отношение между ними с помощью логического квадрата – противоречие. Также суждения: Все люди ·изучали логику (А) и Некоторые люди изучали логику (I) находятся в отношении подчинения, а суждения: Все люди изучали логику (А) и Все люди не изучали логику (Е) находятся в отношении противоположности.

противоположность

( контрарность)

частичное совпадение

(субконтрарность)

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

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

1. Если суждение вида А является истинным, то суждение вида I также является истинным, а суждения вида Е и О являются ложными.

2. Если суждение вида А является ложным, то суждение вида I является неопределенным по истинности (т.е. может быть как истинным, так и ложным, в зависимости от того, о чем будет идти в нем речь), суждение вида Е является также неопределенным по истинности, а суждение вида О является истинным. (Далее будем применять сокращения, например, вместо выражения «суждение вида А» будем говорить «А», а вместо «является истинным» ‑ просто «истинно»).

3. Если Е истинно, то А ложно, I ложно, О истинно.

4. Если Е ложно, то А неопределенно по истинности, I истинно, О неопределенно по истинности.

5. Если I истинно, то А неопределенно по истинности, Е ложно, О неопределенно по истинности.

6. Если I ложно, то А ложно, Е истинно, О истинно.

7. Если О истинно, то А ложно, Е неопределенно по истинности, I неопределенно по истинности.

8. Если О ложно, то А истинно, Е ложно, I истинно.

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