Логика: Шпаргалка (Авторов) - страница 45

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

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

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

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

(p → q) ∧ (q → r),

(Р → r).

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

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

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

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

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

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

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

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

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

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

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