さて、TM （Ｔ字形 ER手法） は、前回述べたように、セマシオロジー 的な接近法に立って、論理的意味論の モデル として整えられました。したがって、生成規則と指示規則を示す モデル として整えてあります。TM を論理的意味論として整える際、私は、カルナップ 氏の説を参考にしました。そのために、TM の前提要件として、「理論編-2」 で、カルナップ 氏の説を まとめました。 □

　数学的 モデル 論では、「構文論が先で、意味論は後」 です──すなわち、無矛盾な形式を （「論理」 に準じて） 構成して、その構造の中の変数に値を充足した時に 「真・偽」 を問うという手続きです。数学的意味論は、値の充足性 （真理条件） の験証を云います。そして、カルナップ 氏流に云えば、構文論上の無矛盾性が L-真、意味論上の真が F-真です。モデル のこういう手続きは、言い替えれば、「（論理的） 形式」 というものを （事態の） 「構成条件」 を明らかにする事であると考えています。そして、勿論、TM は、モデル である限りにおいて、この手続きを順守しています。