Схема 23. Непосредственные умозаключения

Превращения суждений

(А) Все S есть Р «(Е) Ни одно S не есть не-Р

(Е) Ни одно S не есть Р «(А) Все S есть не-Р

(I) Некоторые S есть Р «(О) Некоторые S не есть не-Р

(О) Некоторые S не есть Р «(I) Некоторые S есть не-Р

Обращение суждений

(А) Все S есть Р «(1) Некоторые Р есть S

(Е) Ни одно S не есть Р «(Е) Ни одно Р не есть S

(I) Некоторые S есть Р «(I) Некоторые Р есть S

(О) Некоторые S не есть Р «не обращается

Противопоставление предикату

(А) Все S есть Р «(Е) Ни одно не-Р не есть S

(Е) Ни одно S не есть Р «(I) Некоторые не-Р есть S

(I) Некоторые S есть Р «не преобразуется

(О) Некоторые S не есть Р «(I) Некоторые не-Р есть S

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

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

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

---------------

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

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

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

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

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

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

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

Схема 25. Фигуры и модусы категорического силлогизма