Простой категорический силлогизм
Важнейшей формой опосредованного вывода является простой категорический силлогизм - дедуктивный вывод, в котором две посылки - категорические высказывания, связанные общим термином. Например:
Всякая наука имеет свой предмет исследования.
Логика - наука.___________________________
Логика имеет свой предмет исследования.
В структуре простого категорического силлогизма - три термина: меньший, средний и больший. Субъект заключения называют меньшим термином (в нашем примере - «логика»), предикат заключения - большим термином («свой предмет исследования»). Меньший и больший термины называются крайнимитерминами и обозначаются соответственно буквами S и Р.
Посылка, в которую входит меньший термин, называется меньшей посылкой («Логика - наука»); посылка, в которую входит больший термин, - большей посылкой («Всякая наука имеет свой
предмет исследования»).
Термин, входящий в обе посылки, но отсутствующий в заключении, называется средним термином («наука»); его принято обозначать буквой М.
Средний термин выполняет роль связующего звена между крайними терминами. В заключении устанавливается определенное отношение между крайними терминами на том основании, что они известным образом связаны в посылках с одним и тем же средним термином. Если средний термин в посылках отсутствует, вывод становится невозможным.
Отношение между терминами S, Р, М силлогизма принято изображать при помощи кругов Эйлера, позволяющих выразить отношение между объемами имен, входящих в высказывания. Так, отношения между терминами простого категорического силлогизма в нашем примере можно представить следующим образом.
Рис. 5.1 .
Обязательным условием истинного заключения в простом категорическом силлогизме является соблюдение общих правил. Их семь: три - для терминов, четыре - для посылок.
Дата добавления: 2015-03-11; просмотров: 745;