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

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

Он имеет два модуса – утверждающе-отрицающий и отрицающе-утверждающий.

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

Например:

Простые высказывания могут быть или утвердительными (р), или отрицательными (q).

Высказывание «г. Минск столица Беларуси» утверди тельное (Р).

Это высказывание не является отрицательным. (-q).

Рассмотрим еще один пример:

Повышение производительности труда достигается или путем его ин­тенсификации (р), или путей укоренения новых технологии (q).

Предприятие достигло повышения производительности труда за счет его интенсификации (р).

Предприятие не укореняло новых технологии. (-q).

Исключает ли интенсификация труда укоренение новых технологий? Очевидно, нет. Наличие одного вовсе не свидетельствует об отсутствии другого. Значит, союз «или» в разделительной посылке употреблен в со­единительно-разделительном смысле, поэтому она представляет собой слабую дизъюнкцию. Наш вывод не следует из посылок с необходимостью. В то время как в первом примере необходимая связь между посылками и заключением присутствует.

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

Наши примеры можно записать в виде следующих формул:

((p v q) ^ p) → q [9]; ((p v q) → p) – -q [10].

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

Например:

Простые высказывания могут быть или утвердительными» или отрицательными.

Высказывание «Лунa не является планетой» не является утвердитель­ным.

_____________________________________________________________

Это высказывание отрицательное.

Формула этого рассуждения ((р v q) ^ -p) → q. [11].

Посмотрим, изменится ли характер вывода от замены строгой дизъ­юнкции на слабую:

Ассистенты университета имеют или научную степень (р), или диплом о высшее образовании (q).

Ассистент Ковалев не имеет ученой степени (-р).

Ассистент Ковалев имеет диплом о высшем образовании (q).

В символической записи пример выражается формулой

((p v q) ^ -p) → q. [12].

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

Рассмотрим пример:

Углы бывают или острые, или тупые.

Этот угол не является острым.

Этот угол является тупым.

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

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

Не нашли, что искали? Воспользуйтесь поиском: