Логика: Учебник для студентов юридических вузов и факультетов

Как и в силлогизме, здесь налицо две посылки, из которых с логической необходимостью следует определенный вывод. По своему строению это умозаключение напоминает первую фигуру силлогизма.

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

Что же в таком случае лежит в основе умозаключения? Объективным, а значит, и логическим основанием здесь служит наличие одного и того же отношения, обладающего одним и тем же свойством (в данном случае — свойством симметричности): одновременность жизни известных лиц.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Формула:

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

Еще пример:

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

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

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

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

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

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

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

Или:

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

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

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

Формула:

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

A→B, ˥В

˥A