Чисто условное умозаключение

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

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

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

Схема чисто условного умозаключения:
(p → q)  ∧ (q →  r),
(Р → r).

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

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

Источник: 
Логика: Шпаргалка.: РИОР; Москва; 2010
Чтобы оставить комментарий или обсудить материал на форуме, необходимо зарегистрироваться или войти.