確定記述を使った主語述語構文 "The F is G." を標準的な述語論理の言語に翻訳すると ∃x(Fx & ∀y(Fy → x=y) & Gx) となる(ラッセルの記述理論)。ただし、述語論理の言語にイオタ演算子ιを付け加えて*1、"the F"を個体を指示するタームのように扱う方法も…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。