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