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

Условно-категорическим называется умозаключение, в котором одна из посылок -- условное, а другая посылка и заключение -- категорические суждения. Логическим основанием для такого умозаключения служит определенная связь между основанием и следствием (антецедентом и консеквентом).В условно-категорическом умозаключении мысль, вообще говоря, может протекать по следующим четырем направлениям: 1) от утверждения основания к утверждению следствия; 2) от отрицания основания к отрицанию следствия; 3) от утверждения следствия к утверждению основания; 4) от отрицания следствия к отрицанию основания.Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). В утверждающем модусе когда мысль движется от утверждения основания к утверждению следствия. В отрицающем модусе мысль протекает от отрицания следствия к отрицанию основания.Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия -- к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Если В, то С В ->С

В В

С С

Это умозаключение представляет собой утверждающий модус (modus роnеns) условно-категорического силлогизма (от утверждения основания к утверждению следствия).Если в условно-категорическом силлогизме мысль переходит от отрицания следствия (признания, констатации его несоответствия действительности, т.е. ложности) условного суждения в меньшей посылке, то необходимо в заключении силлогизма отрицать само основание условного суждения:

Если В, то С В -->С

не-С не-С

Не-В не-В

Это умозаключение представляет собой отрицающий модус (modus tollеns) условно-категорического силлогизма (от отрицания следствия к отрицанию основания).Оба модуса -- утверждающий и отрицающий -- гарантируют необходимость и истинность вывода при истинности посылок. Два остальных модуса этого вида силлогизма не дают необходимо истинного вывода, так как их структурные особенности не соответствуют правилам, законам логики. Модусы эти называются неправильными, неправомочными, проблематичными, правдоподобными. Они дают знание, которое в одном случае (что определяется содержанием посылок) может быть ложным, в другом истинным. Формулы этих модусов записываются так:

· В - >С В - >С

· Не - В С

(возможно, не - С) (возможно, В)