Виды простого категорического силлогизма
В зависимости от занимаемого средним термином места в посылках (а он может занимать любое место, то ли субъекта в обеих посылках, то ли предиката в них; может занимать место субъекта в одной и место предиката в другой посылке, и наоборот) различают четыре фигуры (четыре разновидности конструкции) простого категорического силлогизма. Условимся на будущее для простоты ориентации в умозаключениях всегда
большую посылку ставить на первое место, или записывать ее перед меньшей.
Умозаключение, в посылках которого средний термин занимает место субъекта в большей и место предиката в меньшей посылке, называетсяпервой фигурой простого категорического силлогизма.
Умозаключение, средний термин которого занимает место предиката в обеих посылках, называетсявторой фигурой простого категорического силлогизма.
Умозаключение, средний термин которого занимает место субъекта в обеих посылках, называетсятретьей фигурой простого категорического силлогизма.
Умозаключение, в котором средний термин занимает место предиката в большей и субъекта в меньшей посылке, т.е. противоположно первой фигуре, называетсячетвертойфигурой простого категорического силлогизма.
Графически и с использованием уже принятой символики фигуры выглядят так:
I)М——Р II)Р——М III)М——Р IV)Р——М
S——MS—— MM——SM——S
S——Р S——Р S——Р S——Р
Горизонтальными линиями здесь представлены посылки, а вертикальными и наклонными — связь между ними по среднему термину.
Место среднего термина в посылках определяет и те структурные особенности, те законы именно этих конструкций (этих фигур), которые, в отличие от уже сформулированных общих, называют специфическими правилами фигур силлогизма. Каждая фигура имеет свои специальные правила, которые в общем-то выступают лишь конкретизацией общих правил с учетом специфики фигуры, что легко продемонстрировать анализируя первую фигуру.
Будем исходить из того, что посылки являются истинными суждениями, что в силлогизме нет двух отрицательных или двух частных посылок, и что в силлогизме три термина. Так как в этой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылке, то, чтобы распределить средний термин, необходимо брать
либо меньшую посылку отрицательной (в отрицательных суждениях предикат всегда распределен), либо большую - общей (в общих суждениях субъект всегда распределен).
Возьмем, например, случай, когда меньшая посылка - отрицательное суждение и средний термин, таким образом, будет в ней распределен. Раз одна из посылок суждение отрицательное, то вторая посылка будет определенно утвердительной, поскольку из двух отрицательных посылок вывод не следует. При отрицательности одной из посылок вывод
будет отрицательным суждением. В выводном отрицательном суждении предикат всегда распределен, а им выступает понятие, являющееся предикатом утвердительной большей посылки. В утвердительных суждениях предикат, как известно, не распределен, а термин,
не распределенный в посылке не может быть распределен в заключении. У нас же в случае отрицательности меньшей посылки, именно так и получилось: термин (предикат вывода),
не распределенный в посылке, оказался необходимо распределен в заключении. Это недопустимо, поэтому для первой фигуры приходится формулировать в качестве правила требование: меньшая посылка не может быть отрицательной, или по-другому – меньшая посылка должна быть суждением утвердительным. А раз так, то необходимо брать в качестве большей посылки обязательно общее суждение, в котором субъект (наш средний термин) всегда распределен.
Итак, первая фигура имеет два специальных (специфических) правила:
1) большая посылка должна быть суждением общим,
2) меньшая посылка - суждением утвердительным.
Вторая фигура отличается тем, что средний термин здесь занимает место предиката в обеих посылках. Окажись обе эти посылки утвердительными суждениями, средний термин ни в одной из них не был бы необходимо распределенным (в утвердительных суждениях
предикат, как правило, не распределен). Не удивительно поэтому, что одним из правил для второй фигуры категорического силлогизма является требование, чтобы одна из посылок была обязательно отрицательным суждением. Тем самым, распределенность среднего термина в ней будет гарантирована, поскольку предикаты отрицательных суждений всегда
распределены. Будет ли отрицательной большая или меньшая посылка, для данной фигуры значения не имеет. Другое правило этой фигуры такое же, как и для первой: большая посылка должна быть суждением общим. На первый взгляд, это правило не самоочевидно. Попробуем разобраться с ним. Раз одна из посылок суждение отрицательное, то и вывод, согласно общим правилам силлогизма (правилам посылок), должен быть суждением
отрицательным, а в отрицательном выводе предикат всегда распределен. Предикатом вывода является по этой фигуре субъект большей посылки, поэтому он должен быть взят в полном своем объеме, должен быть распределенным. Распределенным, как нам известно, субъект бывает только в общих суждениях, поэтому и понятно, что для второй фигуры тоже необходимо правило: большая посылка должна быть суждением общим.
Итак, вторая фигура имеет два специальных правила:
1) большая посылка должна быть суждением общим,
2) одна из посылок - суждением отрицательным.
Третья фигура имеет лишь одно правило: меньшая посылка должна быть суждением утвердительным.
Легко понять, что это единственное правило третьей фигуры, учитывая ее структурную специфику (средний термин в ней занимает место субъекта в обеих посылках), обуславливает возможность только частного вывода. Дело в том, что субъектом вывода по этой фигуре является понятие, занимающее место предиката в меньшей посылке. Меньшая же посылка по правилу этой фигуры — суждение утвердительное. В утвердительных
суждениях предикат, как известно, не распределен, значит этот термин не может быть распределенным и в заключении. Поэтому, третья фигура при любых исходных суждениях, даже когда оба они - суждения общие, получает в качестве вывода только частное суждение. Некоторые рассматривают эту особенность третьей фигуры как ее второе
правило, но это, строго говоря, всего лишь следствие первого правила.
Неявно выраженным, хотя и достаточно очевидным для третьей фигуры, является правило, чтобы одна из посылок была суждением общим. Так как в третьей фигуре средний термин является субъектом в обеих посылках, то чтобы он был распределен хотя бы в одной их них, какая-то из посылок должна быть суждением общим. Однако, такое правило
специально не формулируется потому, что оно заложено (имплицитно содержится) в одном из правил посылок для категорического силлогизма, а именно: из двух частных посылок вывод с необходимостью не следует.
Четвертая фигура реже употребляется в практике рассуждений, вывод по четвертой фигуре носит заметно искусственный характер, поэтому в некоторых учебниках и учебных пособиях по логике она просто опускается, не рассматривается, тем более, что она легко преобразуется в первую фигуру простой перестановкой посылок местами. Первая же фигура более естественна для рассуждений. Это легко обнаруживается при сопоставлении
фигур из одинаковых посылок:
Первая фигура Четвертая фигура
Все студенты – учащиеся. Этот человек – студент.
Этот человек – студент. Все студенты – учащиеся.
Этот человек – учащийся. Некоторые учащиеся есть этот человек
Тем не менее, четвертая фигура все же встречается. Она имеет два правила. Правила сложнее по формулировке, чем для первых трех фигур, они как бы составные. Одно из правил гласит: при отрицательности любой из посылок большая посылка должна быть суждением общим. Второе правило оговаривает: если большая посылка — суждение утвердительное, то меньшая посылка должна быть суждением общим. Правила эти могут
быть проверены уже апробированным способом, но в силу отмеченной мало употребимости четвертой фигуры, не будем проводить эту проверку.
Пока были рассмотрены фигуры категорического умозаключения, т.е. те структуры, которые отличаются друг от друга определенным местом среднего термина в посылках. Но различия возникают и при разных по количеству и качеству посылок, т.е. при разных сочетаниях исходных суждений (посылок), которых, как мы знаем, имеется четыре вида:
общеутвердительное суждение (А), общеотрицательное (Е), частноутвердительное (I) и частноотрицательное (О). Из этих четырех видов суждений для каждой фигуры возможны 16 сочетаний по два суждения (по две посылки). Речь идет о так называемых модусах фигур
категорического силлогизма. Модус — это вид (разновидность, модификация) умозаключения, определяемый входящими в это умозаключение посылками.
Вот перечень правильных модусов простого категорического силлогизма:
I фигура: ААA, ЕАE, АII,EIО
II фигура: ЕAE, AEE, ЕIO, AOO
III фигура: AAI, IAI, AII, EAO, OAO, EIO
IV фигура: AAI, AEE, IAI, EAO, EIO
Этот перечень теоретически возможных сочетаний посылок простого категорического силлогизма одинаков для каждой из фигур в отдельности. Но с учетом общих правил посылок, потом и специальных правил фигур, не всякое сочетание может быть приемлемо, может быть признано правильным.
Согласно правилам посылок категорического силлогизма из двух отрицательных и из двух частных посылок вывод с необходимостью не следует. Эти сочетания устраняются, и число модусов значительно сокращается. К оставшимся модусам следует применять уже
специальные правила фигур. Правила первой фигуры сохраняют в качестве правомерных только четыре модуса, в них большая посылка — общее суждение (А или е), меньшая посылка — утвердительное суждение (А или I), т.е. это модусы: ААA, ЕАE, АII,EIО.
Продолжая далее этот формально-логический разбор модусов первой фигуры, можно выявить и какие же следствия будут получены из этих сочетаний. При этом формально-логическом анализе особенностей умозаключения, особенностей формальных, мы не касаемся того содержания, которое могут нести входящие в данную структуру суждения. В анализе, конечно же, будем руководствоваться правилами посылок.
Понятно, что при двух утвердительных посылках отрицательный вывод не следует, поэтому при сочетаниях АА и АI- вывод только утвердительный; но из общих посылок вывод тоже будет общим, а при частной посылке вывод — только частное суждение.
Значит, сочетание посылок АА дает нам в выводе тоже А (общеутвердительное суждение), а сочетание AI дает в выводе I (частноутвердительное суждение).
Ясно, что в сочетании посылок ЕА и ЕI вывод будет обязательно отрицательным, ибо одна из посылок — суждение отрицательное. Сочетание посылок ЕА дает общеотрицательный вывод Е, а в сочетании Е1 — частноотрицательный вывод О. В виде таблицы это выглядит так:
АА—А
ЕА—E
АI—I
ЕI—0
Обращая внимание на выводы этих четырех модусов первой фигуры простого категорического силлогизма,легко заметить, что они дают нам полный перечень видов простых категорических суждений; и это довольно показательно, потому что все остальные фигуры не обладают такой совершенностью. Реализуя требования логики ко второй фигуре, тоже можно получить лишь четыре правильных модуса, четыре таких сочетания посылок, где большая будет суждением общим, а одна из посылок — отрицательным суждением. Это ЕAE, AEE, ЕIO, AOO.
Они дают следующие и только отрицательные выводы:
ЕА-Е
АЕ-Е
ЕI—O
AO—O
Третья фигура, соответственно своему единственному правилу, имеет шесть правильных модусов:. AAI, IAI, AII, EAO, OAO, EIO
Так как вывод этой фигуры только частное суждение, то определить вывод в каждом отдельном модусе не представляется сложным, это будет или частноутвердительное, или частноотрицательное суждение:
АА—I EA—O
АI—I EI—O
IA—I OA—O
Несмотря на ограниченность употребления четвертой фигуры, все же ее правильные модусы назвать необходимо, их пять: AAI, AEE, IAI, EAO, EIO.
Выводы по ним следующие:
АА—1 ЕI—O
AE—E IA—I
EA—O
Поскольку в этой фигуре, как и в третьей, субъектом вывода является предикат меньшей посылки, поэтому когда меньшая посылка — утвердительное суждение, тогда вывод - всегда частное суждение. Причина та же, что и для третьей фигуры— в утвердительных суждениях предикат, как правило, не распределен, а так как он становится субъектом выводного суждения, то он не может быть общим, т.е. распределенным. Поэтому
четвертая фигура дает общий вывод только в одном случае, когда меньшая посылка — общеотрицательное суждение, в котором, как известно, предикат всегда распределен, и, таким образом, не нарушается требование логики о распределенности, когда и в выводе это понятие берется в полном его объеме (т.е. распределенным).