Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Отрицательный вывод из утвердительных посылок - это силлогистическая ошибка, совершаемая, когда категорический силлогизм имеет отрицательный вывод, но обе посылки утвердительны. Неспособность утвердительных посылок прийти к отрицательному выводу обычно упоминается как одно из основных правил построения валидного категориального силлогизма.

Утверждения в силлогизмах можно идентифицировать как следующие формы:

  • а : все А есть Б. (утвердительно)
  • e : Нет, A - это B. (отрицательный)
  • i : Некоторые A - это B. (утвердительно)
  • o : Некоторые A не являются B. (отрицательный)

Правило гласит, что силлогизм, в котором обе посылки имеют форму a или i (утвердительный), не может прийти к выводу формы e или o (отрицательный). Ровно одна из предпосылок должна быть отрицательной, чтобы построить действительный силлогизм с отрицательным выводом. (Силлогизм с двумя отрицательными посылками совершает связанную с этим ошибку исключительных посылок .)

Пример (неверная форма aae):

Предпосылка: Все полковники - офицеры.
Предпосылка: все офицеры - солдаты.
Вывод: Следовательно, полковники не являются солдатами.

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

Недействительная форма aao-4:

Все А есть Б.
Все B - это C.
Следовательно, некоторый C не является A.

Это справедливо, только если A является правильным подмножеством B и / или B является правильным подмножеством C. Однако этот аргумент приводит к ошибочному выводу, если A, B и C эквивалентны . [1] [2] В случае, когда A = B = C, вывод следующего простого силлогизма aaa-1 будет противоречить аргументу aao-4 выше:

Все B есть A.
Все C есть B.
Следовательно, все C есть A.

См. Также [ править ]

Ссылки [ править ]

  1. ↑ Альфред Сиджвик (1901). Использование слов в рассуждениях . А. и С. Блэк. стр.  297 -300.
  2. ↑ Фред Ричман (26 июля 2003 г.). «Эквивалентность силлогизмов» (PDF) . Флоридский Атлантический университет: 16. Архивировано из оригинального (PDF) 19 июня 2010 года. Цитировать журнал требует |journal=( помощь )

Внешние ссылки [ править ]