I. Условно-категорическое умозаключение
Рассмотрим опосредствованные умозаключения, содержащие в качестве одной из посылок сложное суждение.
Например:
1-я посылка: «Если происходит смена общественно-экономической
формации, то изменяется социально-классовая структура общества»
2-я посылка: «Произошла смена общественно-экономической формации»
-----------------------------------------------------------------------------------------------Заключение: «Изменяется социально-классовая структура общества»
Первая посылка в данном умозаключении есть сложное условное суждение, формула которого записывается так: a → b, где а - основание, b - следствие.
В нашем примере a - «если происходит смена общественно-экономической формации», b - «то изменяется социально-классовая структура общества».
Вторая посылка - простое категорическое суждение, которое утверждает основание (a).
Перед нами условно-категорическое умозаключение, которое можно записать формулой: a → b
a
--------
b
Условно-категорическое умозаключение имеет два правильных модуса, которые дают достоверное знание: 1) утверждающий (modus ponens), в котором ход умозаключения направлен от утверждения основания к утверждению следствия: a → b
|
|
a
--------
b
Его разновидностями являются:
ù a → b a →ù b ù a →ù b
ù a a ù a
--------- --------- -----------
b ù b ù b
2) отрицающий (modus tollens), в котором ход умозаключения направлен от отрицания следствия к отрицанию основания:
a → b
ù b
---------
ù a
Разновидности его: ù a → b a →ù b ù a →ù b
ù b b b
--------- ---------- -----------
a ù a a
Для примера рассмотрим следующее умозаключение:
1-я посылка: «Если судья заинтересован в исходе дела,
то он подлежит отводу»
2-я посылка: «Судья не подлежит отводу»
--------------------------------------------------------------------
Заключение: «Судья не заинтересован в исходе дела»
В первой посылке основание (a) «если судья заинтересован в исходе дела», следствие (b) «то он подлежит отводу».
Вторая посылка отрицает следствие, заключение отрицает основание первой посылки.
Схема умозаключения: a → b
ù b
--------
ù a
Умозаключение верно, т.к. построено по правильному отрицающему модусу.
Итак, при решении условно-категорических умозаключений необходимо обратить внимание на вторую посылку: 1) если она утверждает[2] основание первой посылки, то в выводе утверждается следствие; если она отрицает следствие первой посылки, то в выводе отрицается основание;
2) если умозаключение построено по утверждающему модусу, то вторая посылка должна утверждать основание (утверждение следствия ведет к несостоятельности умозаключения); если умозаключение построено по отрицающему модусу, то вторая посылка всегда отрицает следствие (отрицание основания влечет ложность вывода).