Вопрос 42. Чисто условное умозаключение.

Умозаключениями из сложных суждений называют такие, в которых переход от посылок к заключению основывается только на связях между простыми суждениями без учета их внутренней структуры. Среди этих умозаключений выделяют традиционные виды, которые классифицируют и называют по типу суждений-посылок.

Чисто условные, где все посылки — условные суждения. Если у преступника был сообщник, то налицо преступная группа, а если преступление совершено группой, то это — преступление с отягчающими обстоятельствами. Значит, если у преступника был сообщник, то это — преступление с отягчающими обстоятельствами.

Условно-категорические, где одна посылка — условное суждение, вторая утверждает или отрицает условие или следствие. Если N — хороший адвокат, то он выиграет это дело, но он его не выиграл. Значит, N не является хорошим адвокатом.

Разделительно-категорические, где одна посылка — разделительное суждение, вторая — утверждает или отрицает один член дизъюнкции. У Петрова не сдан экзамен по всеобщей истории или по экономике. Поскольку экзамен по экономике он сдал, у Петрова не сдан экзамен по всеобщей истории.

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

Определение правильности всех умозаключений этих видов основывается на знании правильных модусов (разновидностей) этих умозаключений и сопоставлении логической формы проверяемого умозаключения с формой правильных модусов.

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

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

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

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

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

Иск предъявлен недееспособным лицом (р) Суд оставляет иск без рассмотрения (q). Схема модуса: p —> q, p

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

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

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

Суд не оставил иск без рассмотрения (не-q) Неверно, что иск предъявлен недееспособным лицом (не-р). Схема отрицающего модуса:

p->q, —|q

—|p

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

(3) p —>q, —|p

—|q

(4) p —> q, q

p

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

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

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