Превращения суждений
(А) Все 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. Фигуры и модусы категорического силлогизма