Ни одна сосна не является камнем
Модусом простого категорического силлогизма называется его разновидность, которая формируется на основе типов исходных и конечного суждений. В составе силлогизма два исходных суждения и одно конечное, каждое из которых может быть общеутвердительным, общеотрицательным, частноутвердительным, частноотрицательным. Записанная в символической форме последовательность посылок и вывода и формирует модус силлогизма
К примеру, модус рассмотренного нами ранее примера: Все растения являются живыми организмами. Все сосны являются растениями. Следовательно, все сосны являются живыми организмами, можно представить в символической форме (ААА), поскольку первая и вторая посылки, а также вывод являются примерами общеутвердительных суждений.
В логике выделяют девятнадцать правильных модусов, четыре из которых характерны для первой фигуры (ААА, EAE, AII, EIO) четыре для второй (EAE, AEE, AOO, EIO), шесть для третьей (AAI, IAI, AII, EAO, OAO, EIO), пять для четвёртой (AAI, AEE, IAI, EAO, EIO).
Если при построении силлогизма полученный модус совпадает с правильными, характерными для той или иной фигуры, то вывод умозаключения считается истинным. Если же при построении силлогизма полученный модус не совпадает с правильным, то вывод силлогизма требует дополнительной проверки практикой.
Для правильного построения вывода простого категорического силлогизма необходимо учитывать следующие основные правила: