Экзистенциальная ошибка

редактировать

экзистенциальная ошибка или экзистенциальная реализация - это формальная ошибка. В экзистенциальном заблуждении предполагается, что у класса есть члены, хотя никто не должен этого делать; т.е. когда не следует предполагать экзистенциальный импорт. Не путать с «Подтверждением последующего », в котором говорится: «А вызывает В; В, следовательно, А».

Один пример: «У каждого единорога определенно есть рог на лбу». Это не означает, что в мире вообще есть единороги, и поэтому нельзя предположить, что, если бы утверждение было верным, где-то в мире есть единорог (с рогом на лбу). Утверждение, если принять его истинным, означает только то, что если бы были единороги, у каждого на лбу обязательно был бы рог.

Содержание

  • 1 Обзор
  • 2 Примеры
  • 3 См. Также
  • 4 Ссылки
  • 5 Внешние ссылки

Обзор

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

В современной логике допущение о том, что у класса есть члены, рассматривается как неприемлемое. В 1905 г. Бертран Рассел написал эссе, озаглавленное «Экзистенциальное значение предложения», в котором назвал этот булев подход «интерпретацией Пеано ».

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

Примеры

  • Все нарушители будут привлечены к ответственности.
  • Следовательно, некоторые из преследуемых будут нарушать границы.

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

См. Также

Ссылки

Внешние ссылки

Это Статья основана на материалах, взятых из Free On-line Dictionary of Computing до 1 ноября 2008 г. и включенных в соответствии с условиями «перелицензирования» GFDL версии 1.3 или новее.

.

Последняя правка сделана 2021-05-19 09:44:23
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте