存在するものと存在の性質

このトピックでは、存在とは何か、そして何が存在するかをどのように決定するかを問いかけます。それは、「存在する」が個体の特性を指すのか、論理的量化子によって捉えられるのか、あるいはいくつかの意味に分かれるのかを扱います。

Definition

存在の研究は、何かが存在することの意味、そしてある理論や世界観がどのような実体を認めるかを決定するための基準に関心を持ちます。

Scope

存在述語の分析、フレーゲ＝ラッセルの量化論、クワインの存在論的コミットメントの基準、存在の意味の一義性対複数性、および真の否定的存在文のパズルを扱います。

Core questions

• 存在は対象が持つ特性なのか、それとも量化子が表現するものなのか？
• 「存在する」という言葉には単一の一義的な意味があるのか？
• 「Xは存在しない」という文は、Xが指示対象を持つことを必要とするように思われるのに、どうして真でありうるのか？
• ある理論が何にコミットしているかを決定する基準は何なのか？

Key concepts

• 存在述語
• 存在量化子
• 存在論的コミットメント
• 否定的存在文
• 存在の一義性

Key theories

フレーゲ＝ラッセルの量化論的見解

存在は個体の一次述語ではなく、存在量化子によって表現される二次特性である。トラが存在すると言うことは、トラという概念が具体化されていると言うことである。

クワインのコミットメント基準

我々は、最良の理論が量化する実体に存在論的にコミットしている。「存在すること」とは、「束縛変数の値であること」である。

History

カントは、存在論的証明に対する批判において、存在が実在的な述語であることを否定しました。フレーゲとラッセルは、新しい論理学において存在を量化子として形式化しました。クワインは存在論的コミットメントを厳密な理論の問題とし、現代のメタ存在論では存在が「薄い（thin）」か「厚い（thick）」かが議論されています。

Debates

存在は一義的か？

クワイン主義者は、量化子によって捉えられる存在の意味は一つであると主張するが、多元論者や新マイノング主義者は、異なる種類のものが異なる方法で存在すると主張する。

Key figures

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

Seminal works

• quine1948
• frege1884

Frequently asked questions

「存在する」は「赤い」のような述語ですか？

支配的なフレーゲ＝ラッセルの見解では、そうではありません。存在は、色が個体に帰属されるのとは異なり、量化子によって表現されます。一部の哲学者はこれに異議を唱え、存在を真の特性として扱っています。