Экзистенциальное заблуждение , или экзистенциальное подтверждение , является формальным заблуждением . В экзистенциальном заблуждении предполагается, что класс имеет членов, когда этого делать не следует; т. е. когда не следует предполагать экзистенциальное значение . Не путать с « Утверждением следствия », как в «Если A, то BB Следовательно A».
Одним из примеров может быть: « У каждого единорога есть рог на лбу ». Это не означает, что в мире вообще есть единороги, и, таким образом, нельзя предположить, что если бы утверждение было истинным, то где-то в мире есть единорог (с рогом на лбу). Утверждение, если его считать истинным, подразумевает только то, что если бы существовали единороги, у каждого из них определенно был бы рог на лбу.
В средневековом категорическом силлогизме совершается экзистенциальная ошибка, поскольку он содержит две универсальные посылки и частный вывод без предположения о существовании хотя бы одного члена класса, предположения, которое не устанавливается посылками.
В современной логике предположение о том, что класс имеет членов, рассматривается как неприемлемое. В 1905 году Бертран Рассел написал эссе под названием «Экзистенциальный импорт предложения», в котором он назвал этот булев подход « интерпретацией Пеано ».
Ошибка не возникает в энтимемах , где скрытые предпосылки, необходимые для того, чтобы силлогизм был действителен, предполагают существование по крайней мере одного члена класса. [ необходима ссылка ]
Это заблуждение, потому что первое утверждение не требует существования каких-либо фактических нарушителей (утверждая только то, что произойдет, если некоторые из них действительно существуют), и, следовательно, не доказывает существование таковых. Обратите внимание, что это заблуждение независимо от того, нарушил ли кто-либо границу или нет.