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

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

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

Разберем вначале первый модус, который называется утверждающим (modus ponens) и в сокращенной форме имеет следующий вид:

Если Б-Р, toS1-P1.

S есть Р.

Следовательно, S1 есть Р1

Первая посылка в данном типе силлогизма всегда представлена условным суждением типа «если…, то…». Условие, выраженное в суждении «если S – Р», называется основанием, а вторая часть первой посылки в виде суждения S, – Р| именуется следствием. Когда в меньшей посылке (доктор А. является хорошим диагностом) нечто подтверждает условие, то вывод, т.е. следствие, считается доказанным. Другими словами, в утверждающем модусе из истинности основания вытекает правильность следствия.

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

Если S – Р, то S, – Р,

Si не есть Р,

Следовательно, S не есть Р.

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

Повторяем два главных правила условно-категорических силлогизмов, соблюдение которых оформляет наше знание логически безупречным образом:

1) из истинности основания следует истинность следствия;

2) из ложности следствия вытекает ошибочность основания.

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

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

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

Если S – Р, то S1 – P1

S не есть Р.

Следовательно, S1 не есть Р1.

Это неправильный отрицающий модус, где из ложности основания не может быть выведена ложность следствия. Другими словами, если мы связываем два суждения причинной связью, но при этом отрицаем (считаем ложным) основание (S не есть Р), то следствие, или вывод, становится неопределенным..

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

Ecjih S-P, то S1-Р1.

S1 есть Р1.

Следовательно, S есть Р.

Этот модус якобы выводит истинность основания из истинности следствия. Данный вид ошибки в логике именуется «после того, значит вследствие того» (post hoc ergo propter hoc).

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