Условное умозаключение (условный силлогизм) – вид опосредованного дедуктивного умозаключения, в котором по крайней мере одна из посылок – условное суждение. Выделяют чисто условные и условно-категорические умозаключения.
Чисто условным умозаключением называется такое опосредованное умозаключение, в котором обе посылки заключение являются условными суждениями.
Его логическая структура:
Если а, то в
Если в, то с
Если а, то с
Например:
Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q).
Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)
В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.
Схема чисто условного умозаключения: (р -> q) и (q -> г), то р -> г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
Условно-категорическим называется такое умозаключение, в котором одна из посылок — условное, а другая посылка и заключение — категорические суждения.
Его логическая структура:
Если а, то в
а
в
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных – вероятностный.
1. Правильная форма утверждающего модуса – это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения истинности основания условной посылки к утверждению истинности следствия условной посылки.
Например:
Если иск предъявлен недееспособным лицом (а), то суд оставляет иск без рассмотрения (в)
Иск предъявлен недееспособным лицом (а)
Суд оставляет иск без рассмотрения (в)
Первая посылка — условное суждение, выражающее связь основания (а) и следствия (в). Вторая посылка — категорическое суждение, в котором утверждается истинность основания (а): иск предъявлен недееспособным лицом. Признав истинность основания (а), мы признаем истинность следствия (в): суд оставляет иск без рассмотрения.
2. Неправильной формой утверждающего модуса является разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения истинности следствия условной посылки к утверждению истинности основания условной посылки
Например,
Если коллектив цеха не допустит брака в работе, то он получит премию.
Коллектив получит премию.
Следовательно, он не допустил брака в работе.
3. Правильная форма отрицательного модуса – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания следствия условной посылки к отрицанию основания условной посылки.
Например,
Если коллектив цеха не допустит брака в работе, то он получит премию.
Коллектив не получит премию.
Следовательно, он допустил брака в работе.
4. Неправильная форма отрицательного модуса – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания основания условной посылки к отрицанию следствия условной посылки.
Например,
Если коллектив цеха не допустит брака в работе, то он получит премию.
Коллектив цеха допустил брак в работе.
Следовательно, он не получит премию.
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)
Суд не оставил иск без рассмотрения (не-q)
Неверно, что иск предъявлен недееспособным лицом (не-р)
Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (3). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (2 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
Поможем написать любую работу на аналогичную тему