Р -П q, р

Iq

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

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

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

P=q,P. P^lq. Р = q> "I Р. Р ^s Ч, q q ' ip ' iq ' Р

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

§ 2. Разделительно-категорическое умозаключение

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

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

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

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

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

Данная облигация не является именной (не-q) Схема утверждающе-отрицающего модуса:

P^q>P

1q '

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

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

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

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

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

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