1. В любом истинном модусе суждения являются либо оба утвердительными, либо оба отрицательными.

2. В любом истинном модусе каждый распределенный член в его заключении распределен и в его условии.

Рассмотрим, например, модус ASP

®

APS.

Член Р

распределен в заключении, но он нераспределен в следствии. Значит, модус ложен.

Любым из указанных методов легко установить, что из 32 модусов непосредственных умозаключений только 10 истинны. Отбрасывая из этих десяти четыре тавтологии XSP

®

XSP

, где Х

может принимать одно из значений A,E,I,O

, получаем шесть истинных модусов:

ASP

®

ISP;

ESP

®

OSP;

ASP

®

IPS;

ESP

®

EPS;

ESP

®

OPS;

ISP

®

IPS.

Модусы

ASP

®

ISP

и

ESP

®

OSP

называются изменением количества суждений. Их примерами могут служить заключения: «Все прилагательные обозначают признак предмета, значит, некоторые прилагательные обозначают признак предмета»; «Все жиры не растворяются в воде. Следовательно, некоторые жиры не растворяются в воде».

Модусы ASP

®

IPS

,

ESP

®

EPS

,

ESP

®

OPS

,

ISP

®

IPSназываются обращением. При обращении субъект и предикат посылки меняются местами: в заключении субъект становится предикатом, а предикат – субъектом. Примерами этих модусов могут быть заключения: «Все звезды – небесные тела, следовательно, некоторые небесные тела – звезды»; «Ни одна ель не есть лиственное дерево. Следовательно, ни одно лиственное дерево не есть ель»; «Некоторые изобретатели – инженеры. Значит, некоторые инженеры – изобретатели» и т.д.