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

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

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

Разделительным называется дедуктивное умозаключение, в котором одна или несколько посылок - разделительные (дизъ­юнктивные) суждения. Существуют чисто разделительные и разделительно-категорические умозаключения.

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

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

А есть или 1А,или А2..

S eсть или А1, или А2, илиB, или С.

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

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

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

Разделительная посылка в утверждающе-отрицающем модусе должна представлять собой строгую дизъюнкцию.

Характер дизъюнкции на необходимость выводов по отрицающе-утверждающему модусу не влияет, т.е. разделительная посылка может представлять собой как строгую, так и нестрогую дизъюнкцию.

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

. Возникающая при нарушении этого правила ошибка называется ’’неполный перечень альтернатив’’.

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

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

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

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

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

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

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

Если а, то b.

а.

b.

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

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

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

Он утонет.

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

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

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

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

Если а, то b.

b.

Вероятно, а.

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

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

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

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

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

Дата добавления: 2015-05-08