对逻辑形式的研究不仅关乎语言,也关乎世界。