Глава VII

Дедуктивные умозаключения.

Выводы из сложных суждений.

Сокращенные и сложные силлогизмы

Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками кото­рых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждения­ми. К ним относятся чисто условное, условно-категорическое, разде­лительно-категорическое и условно-разделительное умозаклю­чения.

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

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

§1. Чисто условное и условно-категорическое умозаключения Чисто условное умозаключение

Чисто условным называется умозаключение, обе посылки кото­рого являются условными суждениями. Например:

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

Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (r)

Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, создан­ное в соавторстве, определяется соглашением между соавторами (r)

В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (r). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

(р  q)  (q r) рr

Вывод в чисто условном умозаключении основывается на прави­ле: следствие следствия есть следствие основания.

Умозаключение, в котором заключение получается из двух услов­ных посылок, относится к простым. Однако заключение может сле­довать из большего числа посылок, которые образуют цепь услов­ных суждений. Такие умозаключения называются сложными. Они будут рассмотрены в § 5.

Условно-категорическое умозаключение

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

Это умозаключение имеет два правильных модуса: 1) утверждаю­щий и 2) отрицающий.

1. В утверждающем модусе (modus ponens) посылка, выражен­ная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск

без рассмотрения (q)

Иск предъявлен недееспособным лицом (р)

Суд оставляет иск без рассмотрения (q)

Первая посылка — условное суждение, выражающее связь осно­вания (р) и следствия (q). Вторая посылка — категорическое сужде­ние, в котором утверждается истинность основания (р): иск предъ­явлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рас­смотренияУтверждающий  модус  дает достоверные  выводы.  Он  имеет схему:

 

q

 

2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия услов­ной посылки, а заключение отрицает истинность основания. Рассуж­дение направлено от отрицания истинности следствия к отрица­нию истинности основания. Например:

Если иск предъявлен недееспособным лицом (р),'.то суд оставляет

иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р)¹

р  q, q   p

 

Схема отрицающего модуса:

 

(3)

 

Нетрудно установить, что возможны еще две разновидности ус­ловно-категорического силлогизма: от отрицания истинности осно­вания к отрицанию истинности следствия (3) и от утверждения ис­тинности следствия к утверждению истинности основания(4), т.е.:

р  q,q  p

р  q, q   q

 

 

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

Утверждение следствия: суд оставляет иск без рассмотрения (схема 4) не влечет с необходимостью истинность основания: суд

Поскольку двойное отрицание равнозначно утверждению, вывод можно запи­сать так: «Иск предъявлен дееспособным лицом». ²   Модусы могут быть представлены в записи: 1) ((Рq) P)q; 2) ((pq)  q) р; 3) ((pq) р) q; 4) ((pq)  q) p.

может оставить иск без рассмотрения не только в результате недее­способности истца, но и по другим причинам.

Итак, из четырех модусов условно-категорического умозаключе­ния, исчерпывающих все возможные комбинации посылок, досто­верные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умо­заключения. Эти модусы подчиняются правилу: утверждение осно­вания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходи­мостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Необходимость вывода по утверждающему и отрицающему модусам можно по­казать с помощью таблиц истинности.

Утверждающий модус (рис. 53).

1	2	3	4	5
р	q	(pq)              р              q
и	И	И	И	И
и	Л	Л	Л	и
л	И	И	Л	и
л	Л	и	Л	и

Рис. 53

Истинность импликации (столбик 3) зависит от истинности антецедента (основа­ния) (1) и консеквента (следствия) (2). Импликация считается ложной тогда и только тогда, когда антецедент истинен, а консеквент ложен (2-я строка таблицы). Во всех остальных случаях импликация истинна. Истинность или ложность конъюнкции (4-й столбик) также зависит от составляющих ее членов (3 и 1). Конъюнкция истинна тогда и только тогда, когда истинны оба ее члена (1-я строка таблицы).

Теперь установим истинность импликации (5-й столбик таблицы'— утверждаю­щий модус). Так как импликация антецедента (4) и консеквента (2) не содержит случая, когда антецедент истинен, а консеквент ложен, то импликация всегда истин­на. Следовательно, высказывание ((р -> q)  р) -> q  является логическим законом.

Отрицающий модус (рис. 54).

В столбиках 1 и 3, 2 и 4 показано, что если одно высказывание ложно, то его отрицание истинно. Импликация р и q (1 и 2) ложна только в одном случае (2-я строка таблицы) — столбик 5. Конъюнкция (столбик 6) высказываний (рq) и  q (5 и 4) истинна только в одном случае (4-я строка таблицы). Импликация ((p->q)   q) и р (6 и 3) всегда истинна, так как не содержит случая, когда антецедент истинен, а консеквент ложен. Следовательно, высказывание ((р—>q)  q) р является логи­ческим законом.

С помощью таблиц истинности можно показать недостоверность выводов по неправильным модусам. При анализе условно-категорического умозаключения нужно иметь в виду следующее. Во-первых, основание и следствие большей посылки может быть как утвердительным, так и отрицательным суж­дением: р  q;  р  q; р  q;  р — q. Например:

Если состав преступления отсутствует (р), то уголовное дело не может быть возбуждено ( q)

Состав преступления отсутствует (р)

Уголовное дело не может быть возбуждено ( q)

Следствие условной посылки — отрицательное суждение, кате­горическая посылка (утвердительное суждение) утверждает истин­ность основания, заключение (отрицательное суждение) утверждает истинность следствия, т.е.

р  q, р

  q

Это утверждающий модус.

Возможны и другие разновидности модусов.

Во-вторых, если большая посылка является эквивалентным суж­дением: p  q (если, и только если р, то q), где  — знак эквивалент­ности, то достоверные заключения получаются по всем четырем модусам:

P q, Р     P  q,  q           Р  q,  Р              P  q, q

q                      p              q                p

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