（1） 実体主義

　　（2） 関係主義

　科学的な認識が実体概念からはじまって関係概念のほうに移ってきたことは、第 5章 （「関係」 文法） の 「さらなる学習のために」 (本書 5.11） のなかで述べています。本書は、数学基礎論の基本技術を使って モデル 作成技術を論じているので、当然ながら関係主義を前提にしているのですが、世間では──モデル 作成技術を論じている書物のほとんどが──如何せん実体主義ぽい前提に立っているので （具体的には、Entity-Relationship 法が その典型です）、先ず 関係主義の考えかたを 「構文論と意味論」 への導線として本節で述べた次第です。

　関係主義とは、「関係が一次的で、モノ は その変数にすぎない」 （関数の変数のなかに値が充足されたら、モノ が存在する） という考えかたなので 「関数」 の技術を使い、「関数」 を使うからには、「構文論と意味論」 （すなわち、モデル 論） が重視されます。そして、「構文論と意味論」 を前提にして、「論理」 の正しさ （導出的な真と事実的な真） が帰結するのです。