Тема 4. 3. Силлогизмы со сложными суждениями Чисто-условный силлогизм

Чисто-условный или гипотетический силлогизм – это дедуктивное умозаключение, посылки и заключение которого являются условными (импликативными) суждениями.

Схема чисто-условного силлогизма:

а → в   

в → с 

а → с

Правило чисто-условного силлогизма:

Следствие первой посылки должно быть основанием второй (следствие следствия есть следствие основания).

Условно-категорический силлогизм

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

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

Первые две фигуры:

1)	а → в		2)	а → в
	а			в
	в			а ?

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

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

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

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

3)	а → в		4)	а → в
	не-а			не-в
	не-в ?			не-а

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

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

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

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