Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Тип формальной ошибки
Type of formal fallacy
Экзистенциальная ошибка, или экзистенциальная инстанциация, — это формальная ошибка. В экзистенциальной ошибке делается предположение о наличии членов у класса, когда это не должно делаться; то есть, когда не следует исходить из экзистенциальной импликации. Не следует путать с ошибкой "утверждение следствия", которая выглядит так: "Если А, то Б. Б. Следовательно, А". Например: "У каждого единорога на лбу есть рог". Это не подразумевает, что единороги вообще существуют в мире, и, следовательно, нельзя предполагать, что если это утверждение истинно, то где-то в мире существует единорог (с рогом на лбу). Если принять это утверждение за истинное, то оно лишь означает, что если бы единороги существовали, то у каждого из них обязательно был бы рог на лбу.
The existential fallacy, or existential instantiation, is a formal fallacy. In the existential fallacy, one presupposes that a class has members when one is not supposed to do so; i. e., when one should not assume existential import. Not to be confused with the 'Affirming the consequent', as in "If A, then B. B. Therefore A". One example would be: "Every unicorn has a horn on its forehead". It does not imply that there are any unicorns at all in the world, and thus it cannot be assumed that, if the statement were true, somewhere there is a unicorn in the world (with a horn on its forehead). The statement, if assumed true, implies only that if there were any unicorns, each would definitely have a horn on its forehead.
Обзор
Экзистенциальная ошибка совершается в средневековом категорическом силлогизме, поскольку он содержит две общие посылки и частный вывод, при этом не делается предположения о существовании хотя бы одного элемента в классе – предположения, которое не вытекает из посылок. В современной логике предположение о том, что класс имеет элементы, считается недопустимым. В 1905 году Бертран Рассел написал эссе под названием «Экзистенциальный импорт высказывания», в котором он назвал этот булевский подход «интерпретацией Пеано». Эта ошибка не возникает в энтимемах, где скрытые посылки, необходимые для обоснованности силлогизма, подразумевают существование хотя бы одного элемента в классе.
An existential fallacy is committed in a medieval categorical syllogism because it has two universal premises and a particular conclusion with no assumption that at least one member of the class exists, an assumption which is not established by the premises. In modern logic, the presupposition that a class has members is seen as unacceptable. In 1905, Bertrand Russell wrote an essay entitled "The Existential Import of Proposition", in which he called this Boolean approach "Peano's interpretation". The fallacy does not occur in enthymemes, where hidden premises required to make the syllogism valid assume the existence of at least one member of the class.
Примеры
Все нарушители будут преследоваться по закону. Следовательно, некоторые из преследуемых по закону действительно нарушили правила. Это логическая ошибка, поскольку первое утверждение не подразумевает наличия каких-либо фактических нарушителей (оно лишь указывает на последствия, если таковые имеются), и, следовательно, не доказывает их существование. Важно отметить, что эта ошибка остается ошибкой, независимо от того, были ли совершены какие-либо нарушения.
All trespassers will be prosecuted. Therefore, some of those prosecuted will have trespassed. This is a fallacy because the first statement does not require the existence of any actual trespassers (stating only what would happen if some do exist), and therefore does not prove the existence of any. Note that this is a fallacy whether or not anyone has trespassed.