Простой категорический силлогизм. Важнейшей формой опосредованного вывода является простой категорический силлогизм- дедуктивный вывод

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

Всякая наука имеет свой предмет исследования.

Логика - наука.___________________________

Логика имеет свой предмет исследования.

В структуре простого категорического силлогизма - три термина: меньший, средний и больший. Субъект заключения называют меньшим термином (в нашем примере - «логика»), предикат за­ключения - большим термином («свой предмет исследования»). Меньший и больший термины называются крайними терминами и обозначаются соответственно буквами S и Р.

Посылка, в которую входит меньший термин, называется мень­шей посылкой («Логика - наука»); посылка, в которую входит больший термин, - большей посылкой («Всякая наука имеет свой

предмет исследования»).

Термин, входящий в обе посылки, но отсутствующий в заключе­нии, называется средним термином («наука»); его принято обозна­чать буквой М.

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

Отношение между терминами S, Р, М силлогизма принято изо­бражать при помощи кругов Эйлера, позволяющих выразить отно­шение между объемами имен, входящих в высказывания. Так, от­ношения между терминами простого категорического силлогизма в нашем примере можно представить следующим образом.

Рис. 5.1.

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