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

Условно-категорический силлогизм – это дедуктивное умозаключение, в котором

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

В структуре условного суждения (импликации) два простых суждения, каждое из которых можно утверждать и отрицать, поэтому будет четыре фигуры или модуса условно-категорического силлогизма.

Фигуры модуса утверждающего условно-категорического силлогизма:

Обе эти фигуры носят название модус утверждающий условно-категорического силлогизма, поскольку утверждающими являются вторая посылка и заключение.

Вывод из умозаключения по первой фигуре является достоверным, поскольку эта фигура является законом логики, который носит название modus ponens. Мысль движется от утверждения основания к утверждению следствия.

Вывод из умозаключения по второй фигуре не является достоверным, дает только вероятное знание. Мысль движется от утверждения следствия к утверждению основания. Это только правдоподобная форма умозаключения.

Фигуры модуса отрицающего условно-категорического силлогизма:

Обе эти фигуры носят название модус отрицающий условно-категорического силлогизма, поскольку отрицающими являются вторая посылка и заключение.

Вывод из умозаключения по третьей фигуре не является достоверным, дает только вероятное знание. Мысль движется от отрицания основания к отрицанию следствия. Это только правдоподобная форма умозаключения.

Вывод из умозаключения по четвертой фигуре является достоверным, поскольку эта фигура является законом логики, который носит название modus tollens. Мысль движется от отрицания следствия к отрицанию основания.

Таким образом, из четырех фигур условно-категорического силлогизма достоверный вывод можно получить только по двум фигурам, являющимся законами логики:

{spoiler title=1) modus ponens (модус утверждающий); opened=0}

В утверждающем модусе 

• посылка, выражен­ная категорическим суждением, утверждает истинность основания условной посылки, а
• заключение утверждает истинность следствия;
• рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

Первая посылка — условное суждение, выражающее связь осно­вания (р) и следствия (q).

Вторая посылка — категорическое сужде­ние, в котором утверждается истинность основания (р): иск предъ­явлен недееспособным лицом.

Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рас­смотрения.

{/spoiler}

{spoiler title=2) modus tollens (модус отрицающий). opened=0}

В отрицающем модусе (modus tollens)

• посылка, выраженная категорическим суждением, отрицает истинность следствия услов­ной посылки, а
• заключение отрицает истинность основания;
• рассуж­дение направлено от отрицания истинности следствия к отрица­нию истинности основания.

Например:

{/spoiler}

Утверждающий (modus ponens) и отрицающий (modus tollens) модусы выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эта модусы подчиняются правилу:

• утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания.

Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу:

• отрицание основания не ведет с необходи­мостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

 Если с логической точки зрения в структуре импликации (а → в) суждение «а» является основанием, а суждение «в» – следствием, то в жизни, как уже отмечалось, «а» – это причина, а «в» – следствие. Поэтому modus ponens и modus tollens отражают не только законы логики, но и законы природы:

• если есть причина, то следствия не быть не может, и,
• если нет следствия, следовательно, однозначно не имела места причина.

Две другие фигуры условно-категорического силлогизма не позволяют установить главную причину следствия и, следовательно, дают лишь вероятные заключения, поэтому и называются правдоподобными формами данного вида силлогизма.