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

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

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

Комментарии запрещены.