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

Старченко Анатолий Александрович

Утверждающий модус (таблица 15).

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

Таблица 15

Теперь

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

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

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

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

Таблица 16

Вопросы для самопроверки

1. Какое умозаключение называется условным? Как оно строится? На каком правиле основан его вывод?

2. Какие умозаключения называются условно-категорическими? Какие модусы являются правильными и какие неправильными? Приведите их схемы.

3. Можно ли получить достоверный вывод по неправильным модусам, если большая посылка — эквивалентное суждение?

§ 2. РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

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

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

Утверждая один член дизъюнкции, отрицают другой и, отрицая один из них, — утверждают другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.

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

Облигации

могут быть предъявительскими (р) или именными (q).

Данная облигация предъявительская (q).

_____________________________

Данная облигация не является именной (не-q).

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

yen — символ строгой дизъюнкции.

Заключение по этому модусу достоверно, если соблюдается правило: б'oльшая посылка должна быть исключающе-разделителъным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя. Из посылок «Кражу совершил К. или Л.» и «Кража совершена К.» заключение «Л. кражу не совершал» с необходимостью не следует. Возможно, что Л. также причастен к совершению кражи, является соучастником К.

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

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

Данная облигация не является предъявительской (не-р).

________________

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

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

<p q>, р

________

q

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

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

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

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

Совершенная сделка не является двусторонней.

______________________

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

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

Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо в следствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (г). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме: