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

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

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

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

144

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

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

(р > q) л (q > г) р >г

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

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

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

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

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

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

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

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

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

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

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

Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q).

145

10395

Утверждающий модус дает достоверные выводы. Он име схему:

(1)

P>q,P

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

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

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

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

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

P»q,1q IP

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

(2)

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

р —> q, t p

/один дизъюнкт, заключение утверждает другой. Например:

149

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (нер)

Данная облигация именная (q)

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

yq>,1p

q

< > — символ закрытой дизъюнкции.

Утвердительный вывод получен посредством отрицания:

цая один дизъюнкт, мы утверждаем другой.

Заключение по этому модусу всегда достоверно, если соблюдав ся правило: в большей посылке должны быть перечислены все во можные суждения — дизъюнкты, иначе говоря, большая посы, должна быть полным (закрытым) дизъюнктивным высказыва ем. Применяя неполное (открытое) дизъюнктивное высказывав достоверного заключения получить нельзя. Например:

Сделка может быть двусторонней или многосторонней Совершенная сделка не является двусторонней

Совершенная сделка является многосторонней

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

Разделительная посылка может включать не два, а три и болы членов дизъюнкции.

r (пожар возник в результате поджога)

Заключение будет истинным, если в условной посылке учтены все возможные случаи.

Разделительнокатегорическое умозаключение находит широкое применение в судебноследственной практике, особенно при построении и проверке следственных версий (гл. XI)