Условные и разделительные силлогизмы

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

Различают 2 вида условных силлогизма:

1. Условно-категорический;

2. Чисто условный.

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

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

Логическим основанием выводов условно-категорического силлогизма является следующая аксиома: утверждение основания необходимо ведет к утверждению следствия, а отрицание следствия к отрицания основания.

В зависимости от того, каков ход движения мысли от утверждения основания к утверждению следствия, или отрицания следствия к отрицанию основания различают 2 модуса. Условно-категорический силлогизм: утверждающий и отрицающий.

В утверждающем модусе в меньшей посылке утверждается основание, а в заключении – следствие большей посылки.

1. А → В, А

В

Если идет дождь, то на улице сыро

Идет дождь

Н а улице сыро

Вывод будет суждением – достоверным.

Но в утверждающем модусе возможно идти и другим путем.

2. От утверждения следствий к утверждению основания (вывод проблематичен)

А → В, В

А(?)

Если идет дождь, на улице сыро.

На улице сыро.

?

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

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

3. От отрицания следствия к отрицанию основания

А → В, не В

не А

Если идет дождь, то на улице сыро.

На улице не сыро.

Дождь не идет.

4. От отрицания основания к отрицанию следствия (вывод проблематичен)

А → В, не А

В (?)

Если дождь, то на улице сыро.

Дождь не идет.

?

Условный силлогизм

Здесь обе посылки суждения условные.

Если А, то В

Если В, то С

Следствие если А, то С

Разделительный категорический силлогизм

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

Существуют 2 модуса разделительно-категоричесий силлогизм: утверждающе-отрицающий, отрицающе-утверждающий.

1. Модус утверждающе-отрицающий – это такая разновидность разделительно-категорического силлогизма, в которой в меньшей посылке утверждается принадлежность субъекту одного предиката из перечисленных в большей посылке, а в заключении отрицается принадлежность S всех остальных Р.

Формула этого модуса:

S есть либо Р1, либо Р2, либо Р3

S есть Р1

С ледовательно S не есть ни Р2, ни Р3

Эта книга либо Петрова, либо Иванова, либо Сидорова

Книга – Петрова

С ледовательно, книга не является ни Иванова, ни Сидорова

Значит, если мысли находятся в разделительном отношении, то утверждая одна мысль, мы отрицаем другую.

2. Модус отрицающе-утверждающий: здесь,отрицая одну мысль, мы утверждаем другую, т.е. в меньшей посылке отрицается принадлежность S перечисленных в большей посылки – P кроме одного, а в заключении утверждается принадлежность S этого Р.

Формула:

S есть либо Р1, либо Р2, либо Р3

S не есть ни Р2, ни Р3

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

Эта книга либо Петрова, либо Иванова, либо Сидорова

Книга не принадлежит ни Иванову, ни Сидорову

С ледовательно, эта книга Петрова

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

1. В большей посылке должны быть перечислены все возможные Р, все случаи, все факты.

2. Члены деления (предикаты) должны исключать друг друга, т.е. большая посылка должна быть суждением строго разделительным.