Условные и разделительные умозаключения

Говоря о дедуктивных умозаключениях, нельзя не обратить внимания на условные и разделительные умозаключения.

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

Если а, то b. Если b, то с. Если а, то с.

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

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

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

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

Если а, то b.

а.

b.

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

Если топор упадет в воду, он утонет.

Топор упал в воду.

Он утонет.

Два истинных суждения, которые являются посылками этого суждения, преобразуются в процессе вывода в истинное суждение. Отрицающий модус выражается по следующей схеме. Если а, то b. Не-b. Не-а.

Это суждение строится на основе отрицания следствия и отрицания основания.

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

В связи с этим следует сказать о вероятностных модусах.

Первый вероятностный модус на схеме отображается следующим образом.

Если а, то b.

b.

Вероятно, а.

Как ясно из названия, следствие, выводимое из посылок при помощи этого модуса, является вероятным.

Если дует сильный ветер, то яхту кренит набок.

Яхту кренит набок.

Вероятно, дует сильный ветер.

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