Условно-категорический силлогизм – это дедуктивное умозаключение, в котором
- первая посылка – условное суждение, а
- вторая посылка и заключение – категорические суждения.
В структуре условного суждения (импликации) два простых суждения, каждое из которых можно утверждать и отрицать, поэтому будет четыре фигуры или модуса условно-категорического силлогизма.
Фигуры модуса утверждающего условно-категорического силлогизма:
| 1 фигура | 2 фигура |
| а → в | а → в |
| а | в |
| в | а ? |
Пример вывода по первой фигуре: Если перерезать провод, лампа погаснет. Провод перерезали. ___________________________ Лампа погасла. | Пример вывода по второй фигуре: Если перерезать провод, лампа погаснет. Лампа погасла. ___________________________ Провод перерезали??? |
Обе эти фигуры носят название модус утверждающий условно-категорического силлогизма, поскольку утверждающими являются вторая посылка и заключение.
Вывод из умозаключения по первой фигуре является достоверным, поскольку эта фигура является законом логики, который носит название modus ponens. Мысль движется от утверждения основания к утверждению следствия.
Вывод из умозаключения по второй фигуре не является достоверным, дает только вероятное знание. Мысль движется от утверждения следствия к утверждению основания. Это только правдоподобная форма умозаключения.
Фигуры модуса отрицающего условно-категорического силлогизма:
| 3 фигура | 4 фигура |
| а → в | а → в |
| не-а | не-в |
| не-в? | не-а |
Пример вывода по третьей фигуре: Если перерезать провод, лампа погаснет. Провод не перерезали. ___________________________ Лампа горит??? | Пример вывода по четвертой фигуре: Если перерезать провод, лампа погаснет. Лампа горит. ___________________________ Провод не перерезали. |
Обе эти фигуры носят название модус отрицающий условно-категорического силлогизма, поскольку отрицающими являются вторая посылка и заключение.
Вывод из умозаключения по третьей фигуре не является достоверным, дает только вероятное знание. Мысль движется от отрицания основания к отрицанию следствия. Это только правдоподобная форма умозаключения.
Вывод из умозаключения по четвертой фигуре является достоверным, поскольку эта фигура является законом логики, который носит название modus tollens. Мысль движется от отрицания следствия к отрицанию основания.
Таким образом, из четырех фигур условно-категорического силлогизма достоверный вывод можно получить только по двум фигурам, являющимся законами логики:
В утверждающем модусе
- посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а
- заключение утверждает истинность следствия;
- рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
Например:
Первая посылка — условное суждение, выражающее связь основания (р) и следствия (q).
Вторая посылка — категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом.
Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.
В отрицающем модусе (modus tollens)
- посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а
- заключение отрицает истинность основания;
- рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
Например:
Утверждающий (modus ponens) и отрицающий (modus tollens) модусы выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эта модусы подчиняются правилу:
- утверждение основания ведет к утверждению следствия и отрицание следствия - к отрицанию основания.
Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу:
- отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
Если с логической точки зрения в структуре импликации (а → в) суждение «а» является основанием, а суждение «в» – следствием, то в жизни, как уже отмечалось, «а» – это причина, а «в» – следствие. Поэтому modus ponens и modus tollens отражают не только законы логики, но и законы природы:
- если есть причина, то следствия не быть не может, и,
- если нет следствия, следовательно, однозначно не имела места причина.
Две другие фигуры условно-категорического силлогизма не позволяют установить главную причину следствия и, следовательно, дают лишь вероятные заключения, поэтому и называются правдоподобными формами данного вида силлогизма.