Схема 9. Распределенность терминов в суждениях

Символ суждения	Тип суждения (по качеству и количеству)	Субъект S	Предикат P	Схема отношений между субъектом и предикатом
А	Все S есть P общеутвердительное	Распределен	Не распре- делен или распределен	Р S S=P или
E	Ни одно S не есть Р общеотрицательное	Распределен	Распределен	S P
I	Некоторые S есть Р частноутвердительное	Не распре- делен	Не распреде- лен или распределен	S P S P
O	Некоторые S не есть Р частноотрицательное	Не распределен	Распределен	S P S P

Схема 10. Логический квадрат

SaP SeP Отношение совместимости:

SiP

SoP

1. Отношение подчинение имеет место между суждениями SiP и SaP, а также SoP и SeP. Эти суждения имеют одинаковые термины и качество, а отличаются лишь по количеству. Логическая зависимость: а) из истинности общих суждений (А и Е) следует истинность частных (I и О); б) из ложности частных (I и О) следует ложность общих суждений (А и Е).

2.Отношение субконтрарности (или подпропротивоположности) присуще частным суждениям, которые имеют одинаковые термины и различное качество (SiP и SoP).

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

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

1.Отношение контрарности (или противоположности) имеет место между общими суждениями, у которых одинаковые термины и разное качество (SaP и SiP). Логическая зависимость: одновременно не могут быть истинными, но могут быть одновременно ложными.

2.Отношение контрадикторности (или противоречия) имеет место между суждениями, имеющими одинаковые термины и различающиеся по качеству и количеству ( SaP и SoP; SeP и SoP). Логическая зависимость: при истинности одного - другое ложно; при ложности одного - другое истинно.

Схема 11. Структура простого категорического силлогизма

М ----- Р - большая посылка

S ------ М - меньшая посылка

S ------ P - заключение (или вывод)

S - меньший термин (или субъект) силлогизма

Р - больший термин (или предикат) силлогизма

М - средний термин силлогизма

Простой категорический силлогизм - демонстративная связь трех простых суждений (или трех терминов)

Аксиома силлогизма:

Все, что утверждается (или отрицается) относительно всего класса предметов, утверждается (или отрицается) относительно любой части этого класса и относительно любого отдельного предмета этого класса.