[カテゴリー：問答の観点からの認識]
「実質推論」という語が最初につかわれたのは、おそらくセラーズの論文「推論と意味」(1953)だろうと思います。ブランダムが「実質推論」について語るとき、依拠しているのはセラーズのこの論文です。ただし、セラーズはこの論文で推論を「形式推論」と「実質推論」に区別して、二種類の推理があることを認めているのですが、ブランダムは、この二つを区別するものの、厳密にいえば「形式推論」も「実質推論」であると考えています。これがセラーズとブランダムの異なるところです。ここでは、セラーズやブランダムの議論に学びながらも、現在のところ私が、「形式推論」と「実質推論」の区別をどのように設定しようとしているのかを説明します（その結果として、語や文の意味を実質推論によって与えられるものとして考える問答推論的意味論が、真理の定義依拠説と両立することを示したいと思います。）
幾何学の定理はその公理から論理学によって導出されますが、論理学についても、論理的語彙を、無定義術語として導入し、その使用法を公理によって記述し、論理学の定理は、公理から推論規則によって導出することができます。そうすると、論理的語彙についてもその意味を、公理と推論規則によって与えることができます（ヒルベルト自身が論理学についてどう考えていたかについては、彼とアッカーマンの共著『記号論理学の基礎』を確認する必要がありますが、今手もとにないので後日）。
＃原子論的意味論での「形式的推論」と非原子論的意味論での「実質的推論」
まず、＜語は文の中で使用され、文の意味（使用法）はそれを結論とする上流問答推論とそれを前提とする下流問答推論によって与えられる＞と考えます（これが推論的意味論です）。この場合、推論の理解は、語や文の理解を前提することができません。このように理解される推論を、「実質推論」と呼びます。それに対して、原子論的意味論の立場で、語の理解から文の理解が構成され、文の理解から推論の理解が構成されると考えるとき、これを「形式推論」と呼ぶことができます。
これを「形式推論」と呼ぶのは、カルナップに従ってものです。カルナップは「言語の論理的構文論」を構想しましたが、そこで彼は、「意義や意味にどんな言及もしないような言語的表現に関する考察や立言を「形式的」とよぶ」（カルナップ『論理的構文論：哲学する方法』（吉田謙二訳、晃洋書房、34））のです。
通常の論理学の教科書では、原子論的意味論の立場から、推論についての形式的に説明します。まず、命題記号や論理結合子を定義によって導入し、論理結合子の意味を真理表によって示します。次に公理を提示しますが、その公理が真であることは、論理結合子の意味にもとづくとされます。つまり、真理表を用いて公理が恒真式であることを示します。次に推論規則、分離則（MP）を導入し、MPにおいて、前提が真であれば、結論が真となることを真理表によって示します。そうすると、公理と推論規則を用いて証明されるすべての定理は、恒真式であることを証明できます。したがって、その公理体系は無矛盾です。
しかし、推論的意味論を採用すると、このような原子論的意味論を取れません。それは非原子論的（分子論的か全体論的）意味論になります。論理学の同一の推論が、原子論的に理解されたときには「形式推論」となり、非原子論的に理解されたときには「実質推論」になると考えます。私は、形式推論と実質推論の区別は、推論の解釈の仕方の違いであり、構文論的には同一の推論であると考えます。 このように論理学もまた実質推論からなると考えるとき、その公理や推論規則の設定はどのように行われ、どのように正当化されるのかを次に説明します。