Фигуры и модусы категорического силлогизма

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

Неправильные модусы — это формы силлогизма, не обеспечивающие логического следования заключения из посылок. В этом случае говорят, что заключение не достоверно, а только вероятно.

Умозаключения, в которых вывод получается из нескольких посылок, называются опосредствованными. Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, вывод в котором получается из двух категорических суждений. Таким образом, простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье – заключением.

Итак, простой категорический силлогизм – это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.

Аксиома силлогизма. Аксиомой называется исходное положение теории, которое принимается за истинное без доказательств и которое обосновывает другие положения теории. Аксиома силлогизма – это положение, обосновывающее правомерность его вывода, т.е. логического перехода от посылок к заключению.

Известны две формулировки аксиомы: атрибутивная и объемная. Первая выражает связь между предметом и его признаком: признак признака некоторой вещи есть признак самой этой вещи; то, что противоречит признаку вещи, противоречит и вещи. Или в сокращенном виде: признак признака есть признак вещи.

Рассмотрим первую часть аксиомы. Если P есть признак M, а M – признак S, то P выступает как признак признака M предмета S. Но тогда признак признака (P) есть признак S, что и выражено в заключении S – P. Например:

«Всякая наука (M) имеет свой предмет исследования (P)

Логика (S) – наука (M)

Логика (S) имеет свой предмет исследования (P)»

В этом примере признак науки – иметь свой предмет исследования – является вместе с тем признаком логики.

Теперь рассмотрим вторую часть аксиомы. Если S обладает признаком М, но признак P противоречит этому признаку, то в таком случае P противоречит и S. Следовательно, S не обладает признаком P.

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

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

В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылке.

Во второй фигуре – место предиката и в большей, и в меньшей посылках.

В третьей фигуре – место субъекта в обеих посылках.

В четвертой фигуре – место предиката в большей и место субъекта в меньшей посылке.

 

Схема: Фигуры силлогизма

Описанные выше фигуры исчерпывают все возможные комбинации терминов.

Итак, фигуры силлогизма – это его разновидности, различающиеся положением среднего термина в посылках.

Посылками силлогизма могут быть суждения, различные по качеству и количеству: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноотрицательные (О). Например, большая и меньшая посылки – общеутвердительные суждения (АА), большая посылка – общеутвердительное, меньшая – общеотрицательное суждение (АЕ) и т.д Так как каждая посылка может быть любым из четырех видов суждений, число возможных комбинаций посылок в каждой фигуре равно 22, т.е. 16:

 

 

АА АЕ IA OA

AE (EE) IE (OE)

AI EI (II) (OI)

AO (EO) (IO) (OO)

Очевидно, в 4-х фигурах число комбинаций равно 64.

Разновидности силлогизма, различающиеся количеством и качеством посылок, называются модусами простого категорического силлогизма.

Однако не все модусы согласуются с общими правилами силлогизма. Например, модусы, заключенные в скобки, противоречат 1-му и 3-му правилам посылок, модус IА не проходит по первой и второй фигурам, так как противоречит 2-му правилу терминов, и т.д. Поэтому, отобрав только те модусы, которые согласуются с общими правилами силлогизма, получим 19 модусов, которые называются правильными. Их принято записывать вместе с заключением: