2. Разделительно-категорические выводы и их модусы

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

Правило удаления дизъюнкции (УД):

С помощью правила УД устанавливается, что из дизъюнктивного высказывания со структурой АВ и отрицания одного из его членов можно выводить второй его член.

Пример вывода по правилу УД:

Действие произошло утром или днем, или вечером.

Это было не утром, ни днем.

_________________

Действие было вечером.

Это вид силлогизма имеет два модуса:

1. S есть А, или В, или С;

S не есть ни А, ни В .

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

В этом модусе разделительного силлогизма во второй посылке отрицается все, кроме одной, альтернативы; поэтому в выводе утверждается эта оставшаяся альтернатива. Так как в выводе мы приходим к утверждению, то модус называется утверждающим, и так как к этому утверждению мы пришли посредством отрицания альтернатив, кроме одной, то модус получает название модуса, утверждающего посредством отрицания или отрицающе–утверждающий (tollendo ponens).

Например:

Компьютер мог сломаться в результате непрофессионального использования, наличия вирусов, несвоевременного ремонта.

Компьютер испорчен ни в результате непрофессионального использования, ни в результате наличия вирусов.

Следовательно, компьютер сломался в результате несвоевременного ремонта.

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

2. S есть или А, или В, или С;

S есть А.

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

В этом модусе во второй посылке утверждается одна альтернатива; поэтому в выводе все оставшиеся альтернативы отрицаются. Этот модус по своему итогу оказывается отрицающим, а способ получения этого отрицания у него – утверждение. Вследствие этого полное наименование этого модуса такое: модус, отрицающий посредством утверждения или утверждающе - отрицающий (ponendo tollens).

Например:

Сегодня зимний день месяца декабря или января, или февраля.

Сегодня 23 января.

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

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

1. в разделительном суждении должны быть приведены все возможные альтернативы. Другими словами, деление субъекта суждения должно быть полным, исчерпывающим;

2. необходимо учитывать точное значение союза «или», которое может быть и чисто-разделительным и соединительно-разделительным, так как при чисто-разделительном значении союза «или» все альтернативы исключают одна другую, а при соединительно-разделительном значении союза «или» альтернативы не исключают одна другую.

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

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