>>572
エスパーすると「モデルによって決まる」ってことかい？

>>563
>意味論は、推論の健全性と完全性を議論するために考えるのであって、意味論だけで命題の真偽が決められるなんてことはない
これは上記の「モデルによって決まる」と矛盾してるように見えるんだが、矛盾でないならなぜ矛盾でないかを説明してもらえる？