Классификация простых атрибутивных высказываний по качеству и количеству

По качеству и количеству различают четыре вида простых атрибутивных высказываний:

A — от лат. affirmo — Общие («Все люди смертны»)

I — от лат. affirmo — Частноутвердительные («Некоторые люди — студенты»)

E — от лат. nego — Общеотрицательные («Ни один из китов не рыба»)

O — от лат. nego — Частноотрицательные («Некоторые люди не являются студентами»)

Примечание. Для условного буквенного обозначения высказываний используются гласные из латинских слов affirmo (я утверждаю, говорю да) и nego (я отрицаю, говорю нет).

Единичные высказывания (такие, в которых субъект является единичным термином) приравниваются к общим.

Распределённость терминов в простых атрибутивных высказываниях

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

• Субъект всегда распределён в общем высказывании и никогда не распределён в частном высказывании.

• Предикат всегда распределён в отрицательных суждениях, в утвердительных он распределён тогда, когда по объёму Р<=S.

• В качестве предиката, в некоторых случаях, может выступать субъект.

Правила простого категорического силлогизма

• Средний термин должен быть распределён хотя бы в одной из посылок.

• Термин, не распределённый в посылке, не должен быть распределён в заключении.

• Число отрицательных посылок должно быть равно числу отрицательных заключений.

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

Фигуры и модусы

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

		Фигура 1		Фигура 2		Фигура 3		Фигура 4
Бо́льшая посылка:		M—P		P—M		M—P		P—M
Меньшая посылка:		S—M		S—M		M—S		M—S
Заключение:		S—P		S—P		S—P		S—P

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

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

Модус простого силлогизма составляет три суждения.

Например, в силлогизме:

Все небесные тела движутся.

Все планеты — это небесные тела.

------------

Все планеты движутся.

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

Силлогизм:

Все журналы периодические издания.

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

------------

Все книги не являются журналами.

имеет модус АЕЕ.

Силлогизм:

Все углероды простые тела.

Все углероды электропроводны.

------------

Некоторые электропроводники — простые тела.

имеет модус ААI.

Всего модусов во всех четырех фигурах, то есть возможных комбинаций простых суждений в силлогизме, — 256. В каждой фигуре 64 модуса. Однако из всех этих 256 модусов только 19 дают достоверные выводы, остальные приводят к вероятностным выводам. Если принять во внимание, что одним из главных признаков дедукции (а значит, и силлогизма) является достоверность ее выводов, то становится понятным, почему эти 19 модусов называются правильными, а остальные — неправильными.

Модусы изучались ещё средневековыми школами, и для правильных модусов каждой фигуры были придуманы мнемонические имена:

Фигура 1		Фигура 2		Фигура 3		Фигура 4
Barbara		Cesare		Darapti		Bramantip
Celarent		Camestres		Disamis		Camenes
Darii		Festino		Datisi		Dimaris
Ferio		Baroco		Felapton		Fesapo
				Bocardo		Fresison
				Ferison

Примеры силлогизмов каждого типа.

Barbara

Все животные смертны.

Все люди — животные.

Все люди смертны.

Celarent

Ни одна рептилия не имеет меха.

Все змеи — рептилии.

Ни одна змея не имеет меха.

Darii

Все котята игривые.

Некоторые домашние животные — котята.

Некоторые домашние животные — игривые.

Ferio

Ни одна домашняя работа не весела.

Некоторое чтение — домашняя работа.

Некоторое чтение не весело.

Cesare

Ни одна здоровая еда не полнит.

Все торты полнят.

Ни один торт не здоровая еда.

Camestres

Все лошади имеют вздутие живота.

Ни один человек не имеет вздутия живота.

Ни один человек не лошадь.

Festino

Ни один ленивый человек не сдаёт экзамены.

Некоторые студенты сдают экзамены.

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

Baroco

Все информативные вещи полезны.

Некоторые сайты не полезны.

Некоторые сайты не информативны.

Darapti

Все фрукты питательны.

Все фрукты вкусны.

Некоторые вкусные продукты питательны

Disamis

Некоторые кружки красивы.

Все кружки полезны.

Некоторые полезные вещи красивы.

Datisi

Все прилежные мальчики в этой школе рыжие.

Некоторые прилежные мальчики в этой школе — пансионеры.

Некоторые пансионеры в этой школе рыжие.

Felapton

Ни один кувшин в этом шкафу не нов.

Все кувшины в этом шкафу треснутые.

Некоторые треснутые вещи в этом шкафу не новы.

Bocardo

Некоторые кошки бесхвосты.

Все кошки — млекопитающие.

Некоторые млекопитающие бесхвосты.

Ferison

Ни одно дерево не съедобно.

Некоторые деревья зелёные.

Некоторые зелёные вещи не съедобны.

Bramantip

Все яблоки в моём саду полезны.

Все полезные фрукты зрелы.

Некоторые зрелые фрукты — яблоки в моём саду.

Camenes

Все яркие цветы ароматны.

Ни один ароматный цветок не выращен в помещении.

Ни один выращенный в помещении цветок не ярок.

Dimaris

Некоторые небольшие птицы питаются мёдом.

Все питающиеся мёдом птицы цветные.

Некоторые цветные птицы небольшие.

Fesapo

Ни один человек не совершенен.

Все совершенные существа мифические.

Некоторые мифические существа не люди.

Fresison

Ни один компетентный человек не ошибается.

Некоторые ошибающиеся люди работают здесь.

Некоторые работающие здесь люди некомпетентны.

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