Одним из видов дедуктивных умозаключений является простой категорический силлогизм (ПКС). ПКС – дедуктивное умозаключение, в котором обе посылки и вывод являются простыми категорическими суждениями. Два исходных суждения, являющихся основанием для получения нового суждения, называются посылками, суждение, получающееся в результате их сопоставления - выводом, или заключением. В состав силлогизма входят три термина:
субъект (меньший термин - S), им является субъект вывода;
предикат (больший термин - Р), им является предикат вывода, и
средний термин(М), встречающийся в обеих посылках.
Посылка, в которой содержится больший термин, называется большей, а в которой меньший - меньшей посылкой.
Рассмотрим состав ПКС на примере.
Всеадвокаты (M) являютсяюристами (P) (большая посылка)
Иванов (S) является адвокатом (M) (меньшая посылка)
Иванов (S) являетсяюристом (P) (заключение)
«Иванов» - субъект, «юрист» - предикат, «адвокат» - средний термин.
Типы выводов в ПКС.
Логически обоснованный вывод считается единственно допустимым выводом в ПКС, поскольку обеспечивает получение принудительно истинного вывода. Получается при соблюдении двух условий: посылки должны быть истинными, а вывод должен вытекать из этих посылок с необходимостью. Примером может служить предыдущее рассуждение.
Случайно истинный вывод представляет собой истинное суждение, которое с необходимостью из посылок не вытекает. Например:
Некоторые юристы являются гражданами России
Иванов является юристом
Иванов является гражданином России.
Формально правильный вывод вытекает с необходимостью из посылок, истинность которых нарушена. Например:
Все юристы являются законопослушными гражданами
Иванов - юрист
Иванов является законопослушным гражданином
Истинность посылок проверяется как истинность обычных простых суждений, а правильность использованной структуры рассуждения можно проверить различными способами:
соблюдение общих правил ПКС;
соблюдение частных правил ПКС;
соответствие данного рассуждения набору правильных модусов данной фигуры;
используя графический метод.
Рассмотрим применение данного метода на примере логически обоснованного вывода, на первом нашем примере.
В большей посылке утверждается «Все М есть Р», устанавливаются отношения подчинения между терминами, М входит в Р. Меньшая посылка «S есть М» также устанавливает отношения подчинения, S входит в М. из этих отношений вытекает следующее рассуждение: поскольку S включается в М, а М включается в Р, возможен лишь один вариант отношений между S и Р: подчинение, при котором S будет включаться в Р. На диаграмме это будет выглядеть следующим образом (см. рис. №6).
Рис. №7. Графический способ проверки принудительности вывода.
Собственно, в этом и заключается сущность ПКС, поэтому можно сказать, что п ростой категорический силлогизм - это умозаключение, в котором устанавливаются отношения между крайними терминами (S и P) на основании их отношения к среднему термину (М).
