Выбрать главу

Могут быть умозаключения и о других отношениях — пространственных (дальше — ближе), временны'х (раньше — позже), количественных (равно, больше — меньше), семейных, моральных, правовых и др. Известный пример:

Эльбрус выше Монблана.

Эверест выше Эльбруса.

Следовательно, Эверест выше Монблана.

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

Глава IV. Дедукция. Опосредованные умозаключения из сложных суждений

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

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

1. Условное умозаключение

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

Условно-категорическое умозаключение. Оно состоит из одной условной и одной категорической посылки. Заключение в этом случае — категорическое суждение. Логическим основанием для такого умозаключения служит определенная связь между основанием и следствием (антецедентом и консеквентом).

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

1) от утверждения основания к утверждению следствия;

2) от отрицания основания к отрицанию следствия;

3) от утверждения следствия к утверждению основания;

4) от отрицания следствия к отрицанию основания.

Поэтому в зависимости от хода мысли теоретически возможны четыре разновидности, или модуса, условно-категорического умозаключения. Однако подобно тому, как в простом категорическом силлогизме из 64 возможных модусов правильны лишь 19, так и здесь из 4 правильны лишь 2 модуса.

Первый — это modus ponens — утверждающий модус, когда мысль движется от утверждения основания к утверждению следствия. Пример:

Если день солнечный, то сосновый лес пахнет смолой.

День — солнечный.

Следовательно, сосновый лес пахнет смолой.

Формула:

В символической записи:

Еще пример:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.

Решение суда обжаловано в кассационном порядке.

Следовательно, оно еще не вступило в законную силу.

Второй — modus tollens — отрицающий модус, когда мысль протекает от отрицания следствия к отрицанию основания. Пример:

Если день солнечный, то сосновый лес пахнет смолой.

Сосновый лес не пахнет смолой.

Следовательно, день не солнечный.

Или:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу.

Решение суда вступило в законную силу.

Следовательно, оно не обжаловано в кассационном порядке.

Формула:

Символическая запись:

A→B, ˥В

˥A

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

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