Раздел 3. Силлогистические выводы

ПОНЯТИЕ АТРИБУТИВНОГО ВЫСКАЗЫВАНИЯ

Логическая теория имен находит применение в разделе логики, который называется силлогистикой (от греч. sillogi s tikos – выводящий умозаключение).

В силлогистике рассматриваются выводы на основе атрибутивных высказываний. Атрибутивным(от лат. atributum – присовокупление) называется высказывание, в котором выражается принадлежность или непринадлежность свойства некоторым предметам.

Структура атрибутивного высказывания:

Субъект (обозначается буквой S) – это часть высказывания, которой обозначается предмет мысли.

Предикат (обозначается буквой P) фиксирует свойство предмета мысли.

Связкаустанавливает, в каком отношении находятся между собой предмет и свойство.

Субъект и предикат называются терминами атрибутивного высказывания.

Всякое атрибутивное высказывание имеет качественно-количественные характеристики. Различение атрибутивных высказываний по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие связи свойства с предметом мысли и выражающейся словами «есть», «суть», «является», «не является» и др. (в письменной речи эти слова иногда опускаются и заменяются тире). В соответствии с этим атрибутивные высказывания делятся на утвердительные и отрицательные.

В атрибутивном высказывании что-то утверждается или отрицается либо об одном предмете, либо о части предметов, либо о всех предметах определенного класса. В зависимости от этого атрибутивные высказывания делятся по количеству – на единичные, частные и общие.

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

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

Высказывания, в которых выражается принадлежность (непринадлежность) свойства всем предметам рассматриваемого класса, называются общими.

Объединенная классификация атрибутивных высказываний по качеству и количеству.

Высказывания, являющиеся одновременно общими и утвердительными, называются общеутвердительными. S a P

Высказывания, являющиеся одновременно частными и утвердительными, называются частноутвердительными. S i P

Высказывания, являющиеся одновременно общими и отрицательными, называются общеотрицательными. S e P

Высказывания, являющиеся одновременно частными и отрицательными, называются частноотрицательными. S o P

Распределенность терминов в атрибутивном высказывании

Термин распределен, если и только если его объём полностью включается в объём другого термина или полностью исключается из него. В противном случае термин нераспределен. Для распределенного термина характерно кванторное слово «все», а для нераспределенного – «некоторые» (см. таблицу ниже).

Таблица

	S	P
S a P	+	-
S e P	+	+
S i P	-	-
S o P	-	+

Таким образом, распределенными являются субъекты общих и предикаты отрицательных высказываний, а нераспределенными – субъекты частных и предикаты утвердительных высказываний (за некоторыми исключениями).

ОТНОШЕНИЯ МЕЖДУ СХЕМАМИ АТРИБУТИВНЫХ ВЫСКАЗЫВАНИЙ

Между схемами S a P, S e P, S i P, S o P с одними и теми же терминами (и, следовательно, между самими высказываниями, соответствующими этим схемам), возможны следующие отношения: отношение противоречия (контрадикторности); отношение противности (контрарности); отношение частичной совместимости (подпротивности, подконтрарности); отношение подчинения (следования).

Эти отношения принято изображать в виде особой диаграммы, которая называется логическим квадратом. Его стороны и диагонали указывают на соответствующие отношения (см. рис 15).

Две схемы находятся в отношении противоречия, если и только если соответствующие им высказывания не могут быть ни одновременно истинными, ни одновременно ложными. Это отношение имеет место между схемами общеутвердительных (S a P) и частноотрицательных (S o P) высказываний, а также между схемами общеотрицательных (S e P) и частноутвердительных (S i P) высказываний.

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

Две схемы находятся в отношенииподпротивности (частичной совместимости), если и только если им соответствуют высказывания, которые могут быть вместе истинными, но не могут быть одновременно ложными. В отношении подпротивности находятся схемы частноутвердительных (S i P) и частноотрицательных (S o P) высказываний.

Две схемы находятся в отношенииподчинения (первая подчиняет вторую, или из первой следует вторая), если и только если всякий раз, когда первой соответствует истинное высказывание, второй также соответствует истинное высказывание, но не обязательно наоборот. В отношении подчинения находятся схемы общеутвердительных (S a P) и частноутвердительных (S i P) высказываний, с одной стороны (из схемы «Все S суть P» следует схема «Некоторые S суть P») и схемы общеотрицательных (S е P) и частноотрицательных (S o P) высказываний, с другой стороны (из схемы «Ни одно S не есть P» следует схема «Некоторые S не суть P»).

Если же высказывание подчиненной схемы ложно, то ложным является и высказывание схемы подчиняющей.

НЕПОСРЕДСТВЕННЫЕ СИЛЛОГИСТИЧЕСКИЕ ВЫВОДЫ

Cиллогистика – это теория дедуктивного вывода, построенного на основе высказываний вида SaP, SeP, SiP, SoP. Выводы в силлогистике подразделяются на непосредственные и опосредованные.

Вывод, в котором заключение получается из одной посылки, называется непосредственным. К непосредственным выводам относятся: вывод по логическому квадрату, обверсия, конверсия, контрапозиция.

Выводы по логическому квадрату. Руководствуясь отношениями, фиксируемыми диаграммой, которая называется логическим квадратом, и определением отрицания в логике высказываний, можно сформулировать следующие правила вывода:

а) в соответствии с отношением противоречия –

б) в соответствии с отношением противности –

в) в соответствии с отношением частичной совместимости –

г) в соответствии с отношением подчинения (следования) –

Обверсия (лат. – превращение) – непосредственный вывод, в процессе которого предикат посылки заменяется на противоречащеё ему имя (Р¢) [2] и изменяется её качество, т.е. утвердительная посылка заменяется на отрицательную и наоборот. При этом могут быть использованы следующие схемы:

Конверсия (лат. – обращение) – непосредственный вывод, в заключении которого субъектом является предикат, а предикатом – субъект исходного высказывания-посылки. Это означает, что при конверсии происходит преобразование атрибутивных высказываний путем перестановки S и P местами. Качество посылки при этом остается неизменным.

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

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

Контрапозиция (лат. – противопоставление) являются операцией, производной от обверсии и конверсии. При полной контрапозиции заключение имеет то же качество, что и посылки. Частичная контрапозиция ведет к заключению, качество которого отлично от качества посылки.

Частичная контрапозиция – вывод, при котором в заключении субъект выражается именем, противоречащим предикату посылки, а на место предиката становится её субъект; при этом посылка изменяет свое качество. Частичную контрапозицию можно осуществить путем последовательного применения превращения и обращения. Высказывание вида S i P посредством контрапозиции не преобразуется.

ПРОСТОЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ, ЕГО СТРУКТУРА

Вывод, в котором заключение получается из двух или более посылок, называется опосредованным. Важнейшей формой опосредованного вывода является простой категорический силлогизм (от греч. sillogismo сосчитывание) - вывод, в котором из двух высказываний форм SaP, SeP, SiP или SoP, связанных общим термином, делается заключение также одной из этих форм.

Структура простого категорического силлогизма:

Термин, соответствующий субъекту заключения, называется меньшим термином.

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

Меньший и больший термины называются крайними терминами, они обозначаются соответственно буквами S и P.

Общий термин, присутствующий в обеих посылках, но отсутствующий в заключении, называется средним. Его принято обозначать буквой M (лат. medio – средний).

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

КРУГИ ЭЙЛЕРА КАК СРЕДСТВО ПРОВЕРКИ ПРАВИЛЬНОСТИ СИЛЛОГИЗМОВ

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

Рассмотрим это на нашем примере. Приведенное рассуждение имеет форму

ОСНОВНЫЕ ПРАВИЛА ПРОСТОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА

Обобщение самых разнообразных отношений между терминами в традиционной логике дало возможность сформулироватьосновные правила простого категорического силлогизма.

1. В простом категорическом силлогизме должно быть только три термина. Наиболее распространенная ошибка, связанная с нарушением этого правила, носит наименование «учетверение терминов».

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

3. Термин (крайний), не распределенный в посылках, не может быть распределен в заключении. Связанная с нарушением этого правила ошибка называется «незаконное расширение крайнего термина».

4. Из двух утвердительных посылок делается утвердительное заключение.

5. Из двух отрицательных посылок нельзя делать заключения.

6. Если одна из посылок отрицательная, то и заключение должно быть отрицательным.

ФИГУРЫ ПРОСТОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА И ИХ ПРАВИЛА

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

В первой фигуре средний термин является субъектом в большей посылке и предикатом в меньшей.

Во второй фигуре средний термин является предикатом в обеих посылках.

В третьей фигуре средний термин является субъектом в обеих посылках.

В четвертой фигуре средний термин является предикатом в большей посылке и субъектом в меньшей.

Различные расположения терминов в посылках можно изобразить в виде следующих схем:

Каждая фигура имеет свои правила, соблюдение которых является необходимым (но не достаточным) условием для получения истинного заключения из истинных посылок.

Правила первой фигуры:

1. Большая посылка должна быть общей.

2. Меньшая посылка должна быть утвердительной.

Правила второй фигуры:

1. Большая посылка должна быть общей.

2. Одна (и только одна) из посылок должна быть отрицательной.

Правила третьей фигуры:

1. Меньшая посылка должна быть утвердительной.

2. Заключение должно быть частным.

Дата добавления: 2015-08-10