1. Простой категорический силлогизм Наиболее распространенной и важной формой опосредованного умозаключения из простых атрибутивных суждений выступает простой категорический силлогизм (от греч. syllogismos - умозаключение, выведение). Приводившийся выше пример с Сократом

2. Сложный категорический силлогизм Умозаключение из атрибутивных (категорических) суждений далеко не всегда облекается в форму простого силлогизма, включающего лишь две посылки. Оно может принимать форму и сложного категорического силлогизма, состоящего из нескольких

1. Простой категорический силлогизм Структура простого категорического силлогизма1. Выделите структуру (посылки и заключение, больший, меньший и средний термины, б?льшую и меньшую посылку) простого категорического силлогизма в следующем примере:«Все таможенники -

2. Сложный категорический силлогизм 1. Из следующих силлогизмов, связанных между собой, постройте сорит:«Все юристы имеют специальное образование.Все адвокаты - юристы.Следовательно, все адвокаты имеют специальное образование». «Все адвокаты имеют специальное

§ 3. ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ 1. Состав простого категорического силлогизмаШироко распространенным видом опосредованных умозаключений является категорический силлогизм. Он состоит из трех категорических суждений, два из которых являются посылками, а третье

3.3. Простой, или категорический силлогизм Рассмотренные в предыдущем параграфе дедуктивные умозаключения также называются силлогизмами. Существует несколько видов силлогизмов. Первый из них называется простым, или категорическим, потому что все суждения, входящие в

Умозаключения, в которых с необходимостью выводится заключение от знания большей степени общности к знанию меньшей степени общности, как уже говорилось, называются дедуктивными (от лат. deductio - «выведение»).

Пример: Все цветы - растения. Роза - цветок.

Роза - растение.

Типичной формой дедуктивного умозаключения является простой категорический силлогизм (от гр. sillogismos - «получение вывода»).

Анализ силлогизма всегда начинают с заключения. Субъект суждения, которым является заключение - это меньший термин заключения (S ), предикат - больший термин (Р).

Посылка, в которой содержится больший термин, называется большей посылкой , посылка с меньшим термином - меньшей посылкой .

Понятие, которое содержится в каждой из посылок, но отсутствует в заключении, называется средний тер мин (М)

В вышеприведенном примере: роза (S ). растение (Р), а цветы - (М).

Изобразим это графически:

Схема графически представляет нам аксиому силлогизма, которая лежит в основе вывода по категорическому силлогизму: «Все, что присуще роду, присуще и его виду».

Чтобы с помощью силлогизма получить истинное заключение, мы должны иметь истинные посылки и соблюдать правила терминов, посылок и фигур.

I. Правила терминов.

1. В каждом силлогизме должно быть только 3 термина (S , Р. М). Если правило нарушено, то ошибка называется «учетверение термина».

Пример такой ошибки

: Труд - основа жизни.

Изучение логики - труд .

Изучение логики - основа жизни.

Здесь термин «труд» трактуется в разном смысле: в большей посылке - широко, а в мень­шей - узко.

2. Средний термин должен быть распределен, по крайней мере, в одной из посылок:

Все полезные вещи имеют приятный запах.

Духи «Шанель» имеют приятный запах .

Духи «Шанель» полезны.

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

Как мы видим, и S и Р затрагивают лишь часть объема среднего термина - «имеющие приятный запах». Следовательно, достоверный вывод здесь получить нельзя.

Если термин не распределен в посылке, то он не может быть распределен в заключении:

Все солдаты умеют стрелять.

Все дети - не солдаты .

Все дети не умеют стрелять.

Предикат вывода («умеют стрелять») - распределен, а в посылке он не распределен. Смысл этого правила состоит в том, что при его нарушении в заключении о большем круге предметов, чем содержится в посылках.

II. Правила посылок.

Из двух отрицательных посылок вывод сделать нельзя:

Все негры - не белые.

Ни один кусок угля - не белый .

Термин «негры» и термин «кусок угля» никак не связаны со средним термином «белый». Все три термина находятся в отношении несовместимости, поэтому вывод здесь не возможен.

2. Из двух частных посылок вывод сделать нельзя:

Некоторые студенты - отличники.

Некоторые студенты - хорошие шахматисты .

Здесь средний термин не распределен в обеих посылках.

3. Если одна из посылок отрицательная, то и заключение должно быть отрицательным:

Все студенты имеют зачетные книжки.

Дмитриев - не студент.

Дмитриев не имеет зачетной книжки.

Любая отрицательная посылка свидетельствует о том, что средний термин несовместим с S или Р. Отсюда - несовместимость друг с другом большего и меньшего терминов.

4. Если одна из посылок частная, то и заключение должно быть частным:

Все десантники умеют прыгать с парашютом.

Некоторые военнослужащие - десантники .

Некоторые военнослужащие умеют прыгать с парашютом.

Фигуры силлогизма и их правила

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

У каждой из фигур - свои правила. I. Первая фигура.

Все металлы проводят электрический ток.

Медь - металл .

Медь проводит электрический ток.

Правила первой фигуры: большая посылка должна быть общей, меньшая посылка - утвердительной.

Распространенная ошибка: заключение делается по первой фигуре с меньшей отрицательной посылкой. Например.

Все дети любят шоколад.

Петрова - не ребенок .

Петрова не любит шоколад.

Здесь нарушено правило терминов: термин, не распределенный в посылке, не может быть распределен в заключении.

II. Вторая фигура.

Все приключенческие фильмы интересны.

Этот фильм - неинтересен .

Этот фильм - не приключенческий.

Правила второй фигуры: большая посылка должна быть общим суждением, а меньшая посылка и заключение должны быть отрицательными суждениями. Распространенная ошибка: заключение делается по второй фигуре с двумя утвердительными посылками. Например:

Все зайцы едят морковку.

Егоров есть морковку .

Егоров - заяц?!

Здесь нарушается правило терминов: средний термин не распределен в обеих посылках.

III.Третья фигура

Все бамбуки цветут один раз в жизни.

Все бамбуки - многолетние растения .

Некоторые многолетние растения цветут один раз в жизни. Правило третьей фигуры: меньшая посылка должна быть утвердительной, а заключение - частным.

Распространенная ошибка: заключение - общеутвердительное суждение. Например:

Все лисицы любят сыр.

Все лисицы имеют длинный хвост .

Все. кто имеет длинный хвост, любят сыр.

Ясно, что длинным хвостом обладают не только лисицы.

IV. Четвертая фигура.

Все киты плавают.

Все плавающие живут в воде .

Некоторые, живущие в воде, - киты.

Четвертая фигура не дает общеутвердительных заключений. Эта фигура используется редко.

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

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

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

Все кошки имеют усы.

Некоторые имеющие усы пишут стихи.

Некоторые пишущие стихи - кошки?

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

В четырех фигурах правильных модусов 19:

1-я фигура - AAA , ЕАЕ, АН, ЕЮ;

2-я фигура - А ЕЕ, АО О, ЕАЕ, ЕЮ;

3-я фигура - AAI . ЕАО, IAI , АЛ, ОАО, ЕЮ;

4-я фигура - AAL АЕЕ, IAI , ЕАО, ЕЮ.

Все рыбы не имеют легких.

Все киты имеют легкие .

Ни одна рыба - не кит.

Большая посылка - общеутвердительное суждение (А). Меньшая посылка - общеотрицательное суждение (Е). Заключение - общеотрицательное суждение (Е).

Таким образом, модус данного силлогизма - ЕАЕ (1-я фигура). Определив модус и фигуры силлогизма и соотнеся модус с таблицей правильных модусов, мы можем быстро определить, верен ли силлогизм.

3. ДРУГИЕ ВИДЫ СИЛЛОГИЗМОВ Сокращенный силлогизм

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

Пример. Если мы о ком-то говорим: «Нужно быть непорядочным человеком, чтобы совершать подобные поступки», - то это выражение представляет собой силлогизм. Когда мы этому силлогизму придадим полную форму, он приобретет следующий вид:

Все люди, которые совершают подобные поступки, непорядочны.

Этот человек совершает подобные поступки .

Следовательно, этот человек- непорядочный.

Чтобы восстановить энтимему в полный силлогизм, необходимо руководствоваться следующими правилами:

Найти заключение и так его сформулировать, чтобы меньший и больший термины были четко выражены. Заключение обычно идет после слов: «значит», «следовательно» и т.п. или же перед словами «потому, что», «ибо», «так как». Если таких слов нет, то в энтимеме пропущено заключение.

Если имеется заключение, а нет одной из посылок, то необходимо установить - большая или меньшая посылка присутствует. Предикат заключения - это больший термин. Субъект заключения - меньший термин. По тому, какой термин содержится в имеющейся в посылке, определяем какая посылка.

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

Энтимемы широко используются в обыденной разговорной речи, но следует быть внимательным, ибо не всегда можно заметить ошибку, которую ясно зафиксировать в полном силлогизме. Например: «Он - некультурный человек, так как не читал роман Джойса «Улисс»». Разворачиваем энтимему в полный силлогизм:

Все некультурные люди не читали роман Джойса «Улисс». Он не читал роман Джойса « Улисс» .

Он - некультурный человек.

Из двух отрицательных посылок заключения не следует.

Сложный силлогизм (полисиллогизм )

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

М- P Все, что укрепляет здоровье (М) - полезно (Р).

С - М. Физкультура (С) укретяет здоровье (М).

С - Р Физкультура (С) полезна (Р).

S - С Плавание ( S ) - это физкультура (С) .

Следовательно, S - Р: Плавание (S ) - полезно (Р).

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

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

Сложносокращенный силлогизм, в котором посылками служат энтимемы, называется эпихейремой.

Схема эпихейремы:

Все А суть С, так как А суть В.

Все Д суть А . так как Д суть Е.

Следовательно, все Д суть С. Разделительно-категорический силлогизм

В разделительно-категорическом умозаключении одна посылка является разделительным суждением, а вторая посылка и заключение - категорические суждения. Разделительно-категорический силлогизм имеет два модуса:

а) утверждающе-отрицающий:

б) отрицающе-утверждающий. Общая формула модуса а).

А есть или В, или С.

А есть В .

Следовательно, А не есть С. Пример:

Войны бывают или реакционные, или прогрессивные

. Войны, цель которых захват чужих земель, не прогрессивны Следовательно, захватнические войны не прогрессивны.

Общая формула модуса б):

А есть или В, или С.

А не есть В .

Следовательно, А есть С. Пример:

Минеральные удобрения бывают или азотными, или фосфорными. Это удобрение не азотное .

Следовательно, это удобрение - фосфорное.

Условный (гипотетический) силлогизм

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

Схема условного суждения: Если А есть В, то С есть Д.

Первое суждение (Если А есть В) называется «основанием», а второе (С есть Д) - «следствием».

Если в силлогизме обе посылки и заключение являются условными суждениями, то он называется условным. Структура условного умозаключения: Если А, то В.

Если В. то С.

Если А, то С.

Например:

Если по проводнику пропустить электрический ток, то вокруг проводника образуется магнитное поле.

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

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

Это силлогизм, где одна посылка - условное суждение, а вторая - простое категорическое. При этом категорическая посылка обычно состоит из тех же терминов, что основание или следствие условной посылки.

Если есть А, то есть В.

А есть .

Следовательно, есть В.

Пример: Если это дерево ель, то оно не теряет на зиму иголок.

Это дерево ель .

Следовательно, данное дерево не теряет на зиму иголок.

Схема отрицающего модуса:

Если есть А, то есть В.

В нет.

Следовательно, А нет.

Пример: Если Богданов хороший лыжник, то он выполнит норматив мастера спорта.

Богданов не выполнил норматив мастера спорта по лыжам . Следовательно, Богданов не является хорошими лыжником.

Обратим внимание на следующий факт. В условных силлогизмах можно делать заключение только от утверждения основания к утверждению следствия. И от отрицания следствия к отрицанию основания. Нельзя делать заключение от утверждения следствия к утверждению основания и от отрицания основания к отрицанию следствия. Дело в том, что одно и то же явление может вызываться разными причинами. Если я отрицаю, что данная причина вызвала к жизни то или иное явление, то это не значит, что его не могла произвести какая-то другая причина. Если я утверждаю, что данное действие произошло, то это не значит, что оно порождено данной причиной - могло быть множество других причин, которые его могли породить.

Пример 1. Попробуем утверждать следствие:

Кузнецов расширил кругозор.

Следует ли отсюда, что Кузнецов читал хорошие книги? Нет, ибо Кузнецов мог ходить на лекции, беседовать с хорошими специалистами и т.д. То есть причин расширения кругозора много.

Пример 2. Попробуем отрицать основание:

Если кто-нибудь читает хорошие книги, то он расширяет свой кругозор.

Кузнецов не читает хороших книг.

Можем ли мы сказать, что Кузнецов не расширяет свой кругозор? Нет, ибо верны в данном случае соображения, приведенные в примере 1. Разделительное умозаключение

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

Как мы помним, общая форма разделительного суждения такова: А есть или В, или С, или Д или Е. Каждый член разделительного суждения называется альтернативой.

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

Формула чисто разделительного силлогизма:

S есть А, или В, или С,

А есть или А , , или А .

S есть или A , или А 2 , или В, или С.

Пример: Всякая философская система есть или идеализм, или материализм.

Идеалистическая философия есть или объективный идеализм, или субъективный идеализм .

Следовательно, всякая философская система есть или объективный идеализм, или субъективный идеализм, или материализм. Условно-разделительный силлогизм

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

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

Дилеммы и трилеммы бывают двух видов: конструктивные и деструктивные; обе формы дилеммы и трилеммы могут быть простыми и сложными.

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

Схема простой конструктивной дилеммы:

Если А есть В, то С есть D ; если Е есть F , то С есть D .

А есть В или Е есть F .

Следовательно, С есть D .

Пример: Если студент ходит на лекции, то он знает логику.

Если студент читает учебник логики, то он знает логику.

Студент ходит на лекции или читает учебник логики . Студент знает логику.

Сложная конструктивная дилемма . Это умозаключение, где в первой посылке есть два основания, из которых вытекают два следствия. Во второй посылке (разделительном суждении) говорится об истинности одного или другого основания. В заключении утверждается истинность одного или другого следствия. Отличие сложной конструктивной дилеммы от простой в том, что оба следствия ее условной посылки не одинаковы, а различны .

Схема сложной конструктивной дилеммы:

Если А есть В, то С есть D : если Е есть F , то G есть Н.

Но или А есть В. или Е есть F .

Следовательно, или С есть D , или G есть Н.

Пример: Рассуждение Штирлица в романе «Семнадцать мгновений весны» (см.: Семенов Ю. Собр. соч. в 8 т. Т. 3. - М.. 1991. - С 567-574).

Если я вернусь в Берлин, меня может арестовать гестапо, если я поеду в Москву, то не выполню задание до конца.

Но я могу направиться в Берлин или вернуться в Москву.

Следовательно, или меня может арестовать гестапо, или я не выполню задание до конца.

Более сложные ситуации выражаются логической формой трилеммы или даже полимеммы.

Пример сложной конструктивной трилеммы;

Во многих русских народных сказках говорится о камне, который лежит на перекрестке трех дорог. На камне надпись, содержащая в себе трилемму:

Прямо пойдешь - жизнь потеряешь;

Налево пойдешь - коня потеряешь;

Направо пойдешь - в неволю попадешь.

Герой сказки может поехать прямо, или направо, или налево .

Следовательно, он или жизнь потеряет, или коня потеряет, или в неволю попадет.

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

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

Причина ошибок чаще всего - неполное перечисление членов деления. Двумя альтернативами не всегда можно исчерпать все возможные случаи - альтернатив может быть много больше. Пример подобной ошибки:

Если студент любит учение, то он не нуждается в поощрении. Если студент чувствует отвращение к учению, то любое поощрение неэффективно.

Студент может любить учение или испытывать к нему отвращение .

Следовательно, поощрение в деле обучения или излишне, или бесполезно.

Ошибка здесь в том, что кроме «любви к учению» и «отвращения к учению» у студента может быть и, так сказать, нейтральная позиция - для таких студентов поощрение учения в какой-либо форме может оказаться действенным.

Слово «силлогизм» произошло от греческого syllogysmos, что означает «вывод». Очевидно, что силлогизм – это выведение следствия, заключения из определенных посылок. Силлогизм бывает простым, сложным, сокращенным и сложносокращенным.

Силлогизм, посылками в котором являются категорические суждения, называется, соответственно, категорическим. Посылок в силлогизме две. Они содержат три термина силлогизма, обозначаемые буквами S, P и М. Р – это больший термин, S – меньший, а М – средний, связующий. Другими словами, термин Р шире по объему (хотя уже по содержанию) как М, так и S. Самый узкий по объему термин силлогизма – это S. При этом больший термин содержит предикат суждения, меньший – его субъект. S и Р связаны между собой средним понятием (М).

Все боксеры – спортсмены.

Этот человек – боксер.

Этот человек – спортсмен.

Слово «боксер» здесь является средним термином, первая посылка – больший термин, вторая – меньший. Во избежание ошибок заметим, что в данном силлогизме имеется в виду данный, конкретный человек, а не все люди. В противном случае, конечно, вторая посылка была бы намного шире по объему.

В первом случае большая посылка должна быть общей, а меньшая – утвердительной. Вторая форма категорического силлогизма дает отрицательное заключение, и одна из его посылок также отрицательна. Большее понятие, как и в первом случае, должно быть общим. Заключение третьей формы должно быть частным, меньшая посылка – утвердительной. Четвертая форма категорических силлогизмов наиболее интересна. Из таких умозаключений нельзя вывести общеутвердительное заключение, а между посылками существует закономерная связь. Так, если одна из посылок отрицательная, большая должна быть общей, при этом меньшая должна быть общей, если большая – утвердительна.

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

Распределенность среднего термина (М). Означает, что средний термин, связующее звено, должен быть распределен хотя бы в одном из двух других терминов – большем или меньшем. При нарушении данного правила заключение получается ложным.

Отсутствие лишних терминов силлогизма. Означает, что категорический силлогизм должен содержать только три члена – термины S, M и Р. Каждый термин должен рассматриваться только в одном значении.

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

Правила посылок.

1. Невозможность вывода из частных посылок. То есть, если обе посылки являются частными суждениями, из них невозможно сделать вывод. Например:

Некоторые машины – пикапы.

Некоторые механизмы – машины.

Из этих посылок нельзя сделать заключение.

2. Невозможность вывода из отрицательных посылок. Отрицательные посылки не дают возможности сделать вывод. Например:

Люди не птицы.

Собаки не люди.

Вывод невозможен.

3. Следующее правило гласит, что если одна из посылок силлогизма частная, то и его следствие тоже будет частным. Например:

Все боксеры – спортсмены.

Некоторые люди – боксеры.

Некоторые люди – спортсмены.

4. Существует еще одно правило, которое говорит о том, что, если только одна из посылок силлогизма является отрицательной, вывод возможен, однако также будет отрицательным. Например:

Все пылесосы – бытовая техника.

Эта техника не является бытовой.

Эта техника не пылесос.

Категорический силлогизм (или просто: силлогизм) - это дедуктивное умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.

Логическая теория такого рода умозаключений называется силлогистикой. Она была создана ещё Аристотелем и долгое время служила образцом логической теории вообще.

В силлогистике выражения «Все … есть …», «Некоторые … есть …», «Все … не есть …» и «Некоторые … не есть…» рассматриваются как логические постоянные , т.е. берутся как единое целое. Это не высказывания, а определённые логические формы , из которых получаются высказывания путём подстановки вместо многоточий каких-то имён. Подставляемые имена называются терминами силлогизма.

Существенным является следующее традиционное ограничение: термины силлогизма не должны быть пустыми или отрицательными.

Примером силлогизма может быть:

Все жидкости упруги.

Вода - жидкость.

Вода упруга.

В каждом силлогизме должно быть три термина: меньший, больший и средний.

Меньшим термином называется субъект заключения (в примере таким термином является термин «вода»).

Большим термином именуется предикат заключения («упруга»). Термин, присутствующий в посылках, но отсутствующий в заключении, называется средним («жидкость»). Меньший термин обозначается обычно буквой S , больший - буквой Р и средний - буквой М. Посылка, в которую входит больший термин, называется большей. Посылка с меньшим термином называется меньшей. Большая посылка записывается первой, меньшая - второй. Логическая форма приведённого силлогизма такова:

Все М есть Р.

Все S есть М.

Все S есть Р.

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

По схеме первой фигуры построен силлогизм:

Все птицы (М) имеют крылья (Р).

Все страусы (S) - птицы (М).

Все страусы имеют крылья.

По схеме второй фигуры построен силлогизм:

Все рыбы (Р) дышат жабрами (М).

Киты (S) не дышат жабрами (М).

Все киты не рыбы.

По схеме третьей фигуры построен силлогизм:

Все бамбуки (М) цветут один раз в жизни (Р).

Все бамбуки (М) - многолетние растения (S).

Некоторые многолетние растения цветут один раз в жизни.

По схеме четвёртой фигуры построен силлогизм:

Все рыбы (Р) плавают (М).

Все плавающие (М) живут в воде (S).

Некоторые живущие в воде - рыбы.

Посылками и заключениями силлогизмов могут быть категорические суждения четырех видов: SaP, SiP, SeP и SoP.

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

Всего с точки зрения всевозможных сочетаний посылок и заключения в каждой фигуре насчитывается 64 модуса. В четырех фигурах 4 x 64 = 256 модусов.

Силлогизмы, как и все дедуктивные умозаключения, делятся на правильные и неправильные . Задача логической теории силлогизма - систематизировать правильные силлогизмы, указать их отличительные черты.

Из всех возможных модусов силлогизма только 24 модуса являются правильными, по шесть в каждой фигуре. Вот традиционно принятые названия правильных модусов первых двух фигур:

1-я фигура: Barbara, Celarent, Darii, Ferio, Barbari, Celaront ;

2-я фигура: Cesare, Camestres, Festino, Baroco, Cesaro, Camestros.

В каждом из этих названий содержатся три гласных буквы. Они указывают, какие именно категорические высказывания используются в модусе в качестве его посылок и заключения. Так, название Celarent означает, что в этом модусе первой фигуры большей посылкой является общеотрицательное высказывание (SeP) , меньшей - общеутвердительное (SaP) и заключением - общеотрицательное высказывание (SeP).

Из 24 правильных модусов силлогизма 5 являются ослабленными : заключениями в них являются частноутвердительные или частноотрицательные высказывания, хотя в случае других модусов эти же посылки дают общеутвердительные или общеотрицательные заключения (ср. модусы Cesare и Cesaro второй фигуры). Если отбросить ослабленные модусы, остаётся 19 правильных модусов силлогизма.

Для оценки правильности силлогизма могут использоваться круги Эйлера, иллюстрирующие отношения между объёмами имён.

Возьмём, для примера, силлогизм:

Все металлы (М) ковки (Р).

Железо (S) - металл (М).

Железо (S) ковко (Р).

Отношения между тремя терминами этого силлогизма (модус Barbara) представляются тремя концентрическими кругами. Эта схема интерпретируется так: если все М (металлы) входят в объём Р (ковких тел), то с необходимостью S (железо) войдёт в объём Р (ковких тел), что и утверждается в заключении «Железо ковко».

Другой пример силлогизма:

Все рыбы (Р) не имеют перьев (М).

У всех птиц (S) есть перья (М).

Ни одна птица (S) не является рыбой (Р).

Отношения между терминами данного силлогизма (модус Cesare) представлены на рисунке. Он истолковывается так: если все S (птицы) входят в объём М (имеющие перья), а М не имеет ничего общего с Р (рыбы), то у S (птицы) нет ничего общего с Р (рыбы), что и утверждается в заключении.

Пример неправильного силлогизма:

Все тигры (М) - млекопитающие (Р).

Все тигры (М) - хищники (S).

Все хищники (S) - млекопитающие (Р).

Отношения между терминами данного силлогизма могут быть представлены двояко, как это показано на рисунке. И в первом, и во втором случаях все М (тигры) входят в объём Р (млекопитающие) и все М входят также в объём S (хищники). Это соответствует информации, содержащейся в двух посылках силлогизма. Но отношение между объёмами Р и S может быть двояким. Охватывая М , объём S может полностью входить в объём Р или объём S может лишь пересекаться с объёмом Р. В первом случае можно было бы сделать общее заключение «Все хищники - млекопитающие», но во втором случае правомерно только частное заключение «Некоторые хищники - млекопитающие». Информации, позволяющей сделать выбор между этими двумя вариантами, в посылках не содержится. Значит, мы не вправе делать общее заключение. Силлогизм не является правильным.

В силлогизме, как и во всяком дедуктивном умозаключении, в заключении не может содержаться информация, отсутствующая в посылках. Заключение только развёртывает информацию посылок, но не может привносить новую информацию, отсутствующую в них.

В обычных рассуждениях нередки силлогизмы, в которых не выражается явно одна из посылок или заключение. Такие силлогизмы называются энтимемами. Примеры энтимем: «Щедрость заслуживает похвалы, как и всякая добродетель», «Он - учёный, поэтому любопытство ему не чуждо», «Керосин - жидкость, поэтому он передаёт давление во все стороны равномерно» и т.п. В первом случае опущена меньшая посылка «Щедрость - это добродетель», во втором - большая посылка «Всякому учёному не чуждо любопытство», в третьем - опять-таки большая посылка «Всякая жидкость передаёт давление во все стороны равномерно».

Для оценки правильности рассуждения в энтимеме следует восстановить её в полный силлогизм.