Реферат: Дедуктивные умозаключения 2
ESP ® OSP;
ASP ® IPS;
ESP ® EPS;
ESP ® OPS;
ISP ® IPS.
Модусы ASP ® ISP и ESP ® OSP называются изменением количества суждений. Их примерами могут служить заключения: «Все прилагательные обозначают признак предмета, значит, некоторые прилагательные обозначают признак предмета»; «Все жиры не растворяются в воде. Следовательно, некоторые жиры не растворяются в воде».
Модусы ASP ® IPS , ESP ® EPS , ESP ® OPS , ISP ® IPS называются обращением. При обращении субъект и предикат посылки меняются местами: в заключении субъект становится предикатом, а предикат – субъектом. Примерами этих модусов могут быть заключения: «Все звезды – небесные тела, следовательно, некоторые небесные тела – звезды»; «Ни одна ель не есть лиственное дерево. Следовательно, ни одно лиственное дерево не есть ель»; «Некоторые изобретатели – инженеры. Значит, некоторые инженеры – изобретатели» и т.д.
3. КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ
Категорический силлогизм – это умозаключение, в котором из двух простых (категорических) суждений (они называются посылками), связанных общим понятием (его обозначают через М и называют средним термином) выводится третье суждение, называемое выводом; при этом средний термин в заключение не входит.
По определению силлогизм имеет схему:
X в,а Ù Yc ,в ® Zc ,а ,
где X, Y, Z могут иметь смысл A, E, I, O ; в, а - принимать значение М или Р ; с, в – значение S или М ; с, а - значение S или Р .
Имеется 4 способа выбора Х , 4 – выбора У , 4 – выбора Z , 2 способа выбора в, а и 2 способа выбора с, в . Значит, имеется 4•4•4•2•2═256 различных модусов силлогизма.
Составляющая любого модуса силлогизма принято обозначать так:
суждения, из которых делается вывод, называются посылками;
посылка, содержащая Р , называется большой посылкой;
посылка, содержащая S – малой.
Понятия, входящие в силлогизм, именуются терминами;
Р – называется большим термином;
S – малым термином;
М – средним термином;
S и Р – крайними терминами.
Суждение, не содержащие М и составляющее вывод, называется заключением силлогизма.
Средний термин М в посылках может стоять либо на первом, либо на втором месте. Так, что имеется четыре фигуры силлогизма. Наглядно их можно изобразить графически и символически так:
1. М — Р
S—М либо C M R Ù U SM→ZSP
S— Р
2. Р — М
S—М либо C R М Ù U SM→ZSP
S— Р