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

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

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

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

«Если некоторые растения – ядовитые растения, а груша – растение, то груша ядовита¹» – понятие, выраженное средним термином «растение» включает в себя как понятие «ядовитые растения», так и понятие «груша».

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

«Если во всех городах за полярным кругом бывают белые ночи, а Ленинград не за полярным кругом, то в Ленинграде не бывает белых ночей». Здесь предикат заключения полностью исключен из его субъекта, в то время как, в посылках он не был ни полностью включен, ни полностью исключен. Основываясь на данных посылках нельзя судить о наличии белых ночей в Ленинграде, но благодаря другим источникам доподлинно известно что, они там есть. Полное включение предиката было бы достигнуто, если бы вместо «во всех» большей посылки, имелось бы «только в». Тогда заключение, учитывая что, малая посылка исключает Ленинград из понятия «заполярный круг» получилось бы логически верным (хотя, фактически не правильным, поскольку большая посылка оказалась бы ложной).

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

Две частные посылки не дают следствия.

Две отрицательные посылки не дают следствия.

Если одна из посылок отрицательна, то и следствие отрицательно.

Если одна из посылок частная, то и следствие частное.

Все эти правила фигур, терминов и посылок можно забыть, если помнить главное:

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

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

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

		Фигура 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

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

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

.

19.Первая фигура категорического силлогизма       M            P       S            M       S            P         

Знамя части (М) - святыня (Р)

Это (S) - знамя части (М)

Это (S) - святыня (Р)

Первая фигура силлогизма имеет четыре модуса:

ААА (Barbara)(А) Все М есть Р(А) Все  есть М(А) Все  есть Р

ЕАЕ (Celarent) -(Е) Ни одно М не есть Р(А) Все есть М(Е) Ни одно не есть Р

AJJ (Darii) -(А) Все М есть Р(J) Некоторые S есть М(J) Некоторые S есть Р

EJO (Ferio) -(Е) Ни одно М не есть Р(J) Некоторые S есть М(О) Некоторые S не есть Р            2. В каждом модусе первая буква обозначает большую посылку, вторая - меньшую, а третья буква обозначает заключение.А - общеутвердительное суждение(Все S есть Р)Е - общеотрицательное суждение(Ни одно S не есть Р)J - частноутвердительное суждение(Некоторые S есть Р)О - частноотрицательное суждение(Некоторые S не есть Р)1. Модусы - виды силлогизма, различающиеся количественным и качественным характером посылок.

Анализ модусов первой фигуры категорического силлогизма позволяет вывести частные правила этой фигуры:

а) большая посылка должна быть общей (А, Е);

б) меньшая посылка - утвердительной (А, J).

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