質問: ∃(存在)とA(実在)の違いは何ですか? 存在量の定量化は、モーダル論理と併用することができます。今、私の素朴さを許しますが、 * そうであれば、実際と現存量の違いは何ですか? 私は本当のことではない世界について話すことが理にかなっているかどうか疑問に思っています。
回答: 実際の演算子は通常、量子として解釈されません。それは、以下のものが特権語、実際の世界に属することを示します。一方、現存量量子は、可能な世界の中で物事を定量化する。例えば、☐(∃xPx)は、すべての可能な世界にプロパティPを持つオブジェクトが存在する、つまり必ず存在すると言います。いくつかの理論では、∃xはルイスのカウンターパート理論次に、∃xAxのように2つを組み合わせることができます。これは実際の世界には物があると言います。いくつかの非モーダル理論では、存在述語と存在量限定子の間に同様の区別がありますが、人々(Meinongians)が存在しないものを定量化したいが、自分自身の存在にコミットすることはない。だから∃x(¬Ex)は、∃x(¬Ax)のようにいくつかのものは存在しないと言っています。 しかし、実際の数量と量を知るでは、現実の量限定子を紹介しています: "*普通の世界限定数量詞は既存のものに及ぶと解釈され、その論理は 存在する前提/仮説を慣れ親しんだルールに変換する。実際の数量子は、実際に存在するものに及ぶ範囲として解釈されます (実際の存在)* "これは実践者を満足させるためのもので、モーダル抽象ではなく実際のオブジェクトに対する定量化。