Что существует и природа существования

Эта тема исследует, что такое существование и как определить, что существует. Она рассматривает, является ли «существует» свойством индивидов, выражается ли оно логическим квантором или распадается на несколько значений.

Definition

Изучение существования касается того, что значит для чего-либо быть, и стандартов, по которым мы определяем, какие сущности принимает та или иная теория или мировоззрение.

Scope

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

Core questions

• Является ли существование свойством объектов или чем-то, что выражает квантор?
• Существует ли единый однозначный смысл слова «существует»?
• Как утверждение «X не существует» может быть истинным, если оно, кажется, требует, чтобы X ссылался на что-то?
• По какому критерию мы решаем, чему привержена теория?

Key concepts

• Предикат существования
• Квантор существования
• Онтологическая приверженность
• Отрицательные экзистенциальные утверждения
• Однозначность бытия

Key theories

Кванторная концепция Фреге-Рассела

Существование не является предикатом первого порядка для индивидов, а является свойством второго порядка, выражаемым квантором существования; сказать, что тигры существуют, значит сказать, что понятие тигра инстанцируется.

Критерий приверженности Куайна

Мы онтологически привержены тем сущностям, по которым наши лучшие теории осуществляют квантификацию: быть — значит быть значением связанной переменной.

History

Кант отрицал, что существование является реальным предикатом в своей критике онтологического аргумента. Фреге и Рассел формализовали существование как квантор в новой логике. Куайн сделал онтологическую приверженность вопросом упорядоченной теории, а современная метаонтология обсуждает, является ли существование «тонким» или «толстым».

Debates

Является ли существование однозначным?

Куайнианцы считают, что существует один смысл бытия, выражаемый квантором; плюралисты и нео-Мейнонгианцы утверждают, что разные виды вещей существуют по-разному.

Key figures

• Gottlob Frege
• Bertrand Russell
• W. V. O. Quine
• Immanuel Kant
• Peter van Inwagen

Seminal works

• quine1948
• frege1884

Frequently asked questions

Является ли «существует» предикатом, как «красный»?

Согласно доминирующей точке зрения Фреге-Рассела, нет: существование выражается квантором, а не приписывается индивиду так, как цвет. Некоторые философы не согласны и рассматривают существование как подлинное свойство.