Виды простого категорического силлогизма

 

Видами простого категорического силлогизма являются фи­гуры и модусы.

Фигурой называется вид структуры простого категоричес­кого силлогизма, определяющийся функцией среднего термина в суждениях-посылках.

Существуют четыре фигуры простого категорического силло­гизма.

Первой фигурой простого категорического силлогизма на­зывается дедуктивное умозаключение, в котором средний термин является субъектом большей и предикатом меньшей посылок (рисунок 29).

Второй фигурой простого категорического силлогизма называется дедуктивное умозаключение, в котором средний тер­мин является предикатом в двух посылках (рисунок 29).

Третьей фигурой простого категорического силлогизма называется дедуктивное умозаключение, в котором средний тер­мин является субъектом в двух посылках (рисунок 29).

Четвертой фигурой простого категорического силлогиз­ма называется дедуктивное умозаключение, в котором средний термин является предикатом большей и субъектом меньшей посылок (рисунок 29).

 

Рисунок 29 – Фигуры силлогизма

 

Каждая из фигур, помимо общих правил посылок и терминов, имеет специфичные именно для нее правила, выводимые из об­щих правил силлогизма.

Правила первой фигуры:

1) большая посылка должна быть общим суждением;

2) меньшая посылка должна быть суждением утвердительным, но если средний и больший термины тождественны при общеутвердительности или больший термин подчинен среднему при частноутвердительности большей посыл­ки, то меньшая посылка может быть отрицательной.

Правила второй фигуры:

1) большая посылка должна быть общим суждением;

2) одна из посы­лок должна быть либо суждением отрицательным, либо — при тождественности большего и среднего терминов— общеут-вердительным, либо меньшая посылка должна быть частноутвердительным суждением.

Правила третьей фигуры:

1) меньшая посылка должна быть утвердительным суждением;

2) одна из посылок должна быть общим суждени­ем;

3) заключение должно быть частным суждением.

Правила четвертой фигуры:

1) если одна из посылок яв­ляется отрицательной, то большая должна быть общей;

2) если большая посылка является утвердительной, то меньшая должна быть общей, но если большая посылка обще­утвердительная с тождественными терминами, то меньшая посылка может быть частноутвердителъной.

Модусом называется вид структуры простого категоричес­кого силлогизма, определяющийся количеством и качеством со­ставляющих фигуру посылок. Например, существует модус ААА, где и большая, и меньшая посылки, и заключение являются общеутвердительными суждениями. А в модусе EAO большая посылка – общеотрицательное суждение; меньшая - общеутвердительное; заключение – частноотрицательное.

Модусы выделяются в каждой из четырех фигур простого категорического силлогизма.

Общее количество мо­дусов простого категорического силлогизма в совокупности всех фигур могло бы быть равным 64. Но учитывая правила простого категорического силлогизма, существует только 40 правильных модусов, из них 19 являются безусловно правильными, а 21 – правильными при определённых условиях, а именно при определённых отношениях между терминами силлогизма.

Правильные модусы фигур простого категорического силло­гизма представлены в сводной таблице 15. В скобках показаны производные от основных модусы, являющиеся правильны­ми только при определенных отношениях терминов в посылках или в заключении.

Для проверки правильности простого категорического силло­гизма необходимо определить его фигуру и модус, а затем прове­рить, соответствует ли качество посылок и заключения структуре правильных модусов данной фигуры.

Таблица 15 – Правильные модусы фигур простого категорического силлогизма

I	II	III	IV
ААА	ЕАЕ	AAI	AAI
ЕАЕ	АЕЕ	AII	АЕЕ
AII	ЕЮ	IAI	ЕIO
EIO	АОО	ЕАО	IAI
(АОО)	(АII)	EIO	ЕАО
(АЕЕ)	(ААА)	ОАО	(АII)
(IAI)	(IAA)	(ЕАЕ)	(ЕАЕ)
(ОАО)	(IA1)	(ААА)	(EIE)
(IEE)	(ОАО)	(AIA)	(AIA)
		(АЕЕ)
		(EIE)
		(IEE)
		(АОО)

 

Помимо этого, в силлогистике формулируется аксиома ка­тегорического силлогизма, отражающая необходимость, или демонстративность вывода заключения из посылок: «Все, что в силлогизме утверждается (отрицается) относительно всех предметов класса, должно утверждаться (отрицаться) отно­сительно каждого из них или любой их части».