論理式を「実在するもの」と考えるのなら、構文論的に考察することにならない？
述語論理の「意味」なんて考え出したら超越的議論が必要になるのは、感覚的に自然