飯田隆『言語哲学大全3』を読み返してて思ったこと。量化様相論理を解説している節で、最初に真理値ギャップを認める意味論が紹介されている。この意味論で、特に、必然性演算子の真理条件を □φがwで真 iff wRvとなるすべてのvで、もしφがvで真理値をもつな…