>>562
「モデル毎に（真偽が）異なる命題なんて議論上に全く登らない」のは、一階述語論理の完全性定理から言えることなんだけどな
意味論は、推論の健全性と完全性を議論するために考えるのであって、意味論だけで命題の真偽が決められるなんてことはない

そして、IUTの「誤り」（があるとすれば）はそこじゃないだろうな　もっと根本的なところかと