I. Barbara, Celarent, Darii, Ferio.

II. Cesare, Camestres, Festino, Baroko.

III. Darapti, Disamis, Datisi, Bokardo, Felapton, Ferison.

IV. Bramantip, Camenes, Dimaris, Fesapo, Fresison.

Входящие в название модусов гласные буквысоответствуют символическому обозначению посылок и заключения, поэтому в названии каждого модуса всего три гласных. Согласные буквы в названии модусов II-IV фигур показывают способ сведения их к модусам I фигуры. В,С,D, F, начальные согласные указывают на тот модус I фигуры, к которому он сводится. Букваsозначает, что суждение, обозначенное гласной, стоящей перед этой буквой - должно подвергнуться чистому обращению (Festino). Буква розначает, что суждение, обозначенное гласнойстоящей перед этой буквой - должно подвергнуться обращению с ограничением (Felapton). Букваmпоказывает, что посылки силлогизма нужно поменять местами, т. е. большую посылку нужно сделать меньшей в новом силлогизме, а меньшую большей (Camestres). Букваkпоказывает, что модусы (Baroko и Bokardo), могут быть доказаны через посредство модуса I фигуры (Barbara) при помощи приёма приведения к абсурду.

Пример: свести модус Camenes (IV фигура) к Celarent.

РаМ: «Все квадраты есть параллелограммы.

МеS: Ни один параллелограмм не есть треугольник.

SеР: Ни один треугольник не есть квадрат».

Буква m → меняем местами посылки; буква s → Е должно подвергнуться чистому обращению.

m: МеS: «Ни один параллелограмм не есть треугольник.

РаМ: Все квадраты есть параллелограммы.

МеS: «Ни один параллелограмм не есть треугольник.

РаМ: Все квадраты есть параллелограммы.

s: SеР: Ни один квадрат не есть треугольник».

Третий способ доказательства истинности силлогизма – это круговые схемы.

1. Отношение терминов в большей посылке: МаР(I фигура).

SаM; SiM; MaS; MiS.

Заключение: SaP; SiP; SiP; SiP.

Отношения в меньшей посылке исключающие возможность заключений: SeM; SoM; MeS.

2. Отношение терминов в большей посылке: МаР(I и III).

SаM; SiM; MaS; MiS.

Заключение: SеP; SоP; SоP; SоP.

Отношения в меньшей посылке исключающие возможность заключений: SeM; SoM; MeS.

3. Отношение терминов в большей посылке: МiР(III фигура)

MaS.

Заключение: SiP.

Отношения в меньшей посылке исключающее возможность заключений: все кроме MаS.

4.Отношение терминов в большей посылке: МоР(III фигура)

MaS.

Заключение: SоP.

Отношения в меньшей посылке исключающее возможность заключений: все кроме MаS.

5. Отношение терминов в большей посылке: РаМ(II и IV).