Энтимемы

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

Для того, чтобы проверить правильность вывода, необходимо восстановить пропущенные части силлогизма и проверить, нет ли нарушений правил фигур, терминов и посылок. При определении пропущенных частей будем руководствоваться грамматическими признаками. Суждение, являющееся посылкой, можно обнаружить за грамматическими союзами «так как», «поскольку», «ибо» и т. п. Определив посылку, следует выяснить, большая она или меньшая. Если в ней находится предикат заключения, то она большая, а если субъект заключения, − то меньшая. Затем следует восстановить недостающую посылку. Для этого надо соединить предикат заключения (для большей посылки) или субъект заключения (для меньшей посылки) со средним термином. При этом необходимо следить, чтобы при отрицательном заключении одна из посылок была отрицательной, а при утвердительном заключении, чтобы обе посылки были утвердительными.

Сориты

Иногда в полисиллогизмах одна из посылок может быть в неявной форме, то есть пропущенной. В этом случае эти силлогизмы называются соритами. В цепи силлогизмов, начиная со второго, пропущена меньшая или большая посылка. При ближайшем рассмотрении сориты всего лишь соединение простых силлогизмов, выраженных в форме энтимем. То есть заключение, полученное в результате вывода первого силлогизма, становится меньшей (или большей) посылкой следующего силлогизма и так далее до последнего в этой цепи силлогизма. Например:

Три − нечетное число.

Все нечетные числа − натуральные числа.

Все натуральные числа − рациональные числа.

Все рациональные числа − действительные числа.

Три − действительное число.

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

Все рациональные числа − действительные числа.

Все натуральные числа − рациональные числа.

Все нечетные числа − натуральные числа.

Три − нечетное число.

Три − действительное число.

Первый сорит можно представить в виде следующей схемы:

А есть В или в виде цепи простых силлогизмов:

В есть С 1. А есть В; В есть С; следовательно, А есть С.

С есть D 2. А есть С; С есть D; следовательно, А есть D.

D есть Е 3. А есть D; D есть Е; следовательно, А есть Е.

А есть Е

Второй сорит −по схеме:

D есть Е или в виде цепи простых силлогизмов:

С есть D 1. D есть Е; С есть D; следовательно, С есть Е.

В есть С 2. С есть Е; В есть С; следовательно, В есть Е.

А есть В 3.В есть Е; А есть В; следовательно, А есть Е.

А есть Е

Разделительные силлогизмы

Если в силлогизме одна из посылок является дизъюнктивным суждением, а другая посылка и вывод − категорические суждения, то такие силлогизмы называются разделительными. Вывод в разделительном умозаключении основывается на знании того, что перечисляемые в дизъюнктивном суждении признаки по отношению к предмету мысли являются несовместимыми (закон исключенного третьего) и полностью исчерпывают для данного случая все вероятные признаки предмета суждения.

Простые разделительно-категорические силлогизмы имеют два модуса:

1) утверждая-отрицающий (modus ponendo tollens)

А есть либо В, либо С.

А есть В.

А не есть С;

2) отрицая-утверждающий (modus tollendo ponens)

А есть либо В, либо С.

А не есть В.

А есть С.

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

Вторая ошибка называется «неполное деление». Эта ошибка проявляется там, где в разделительной посылке мы укажем неполный перечень всех возможных предикатов. Например, в посылке «А есть либо В, либо С, либо D» мы в виде разделительной посылки возьмем «А есть либо В, либо С», а в виде категорической − «А не есть В», то заключение «А есть С» будет ошибочным, поскольку предикат D отсутствует и информация о признаках субъекта становится неполной.

Дата добавления: 2015-06-27