[カテゴリー：問答推論主義へ向けて]
私は、疑問表現を取得したあとも、私たちは暗黙的問答を行っていると考えているのですが、これを検討する前に、問答推論ではなく通常の推論についての「暗黙的推論」と「実質的推論」の関係について考えておきたい思います。
R・ブランダムは、「推論の正しさが、その前提と結論の概念内容を決定するような種類の推論」（ブランダム『推論主義序説』斎藤浩文訳、春秋社、p. 71）を「実質（的）推論」と呼ぶ。通常の推論つまり「形式的推論」では、推論の正しさは、それに含まれる論理的語彙の意味に基づいて説明されるます。しかし、実質的推論では、逆に、推論が正しいということから、論理的語彙の意味を決定します。また論理的語彙の意味だけでなく、その他の語彙の意味も決定することになります。
では、この実質的推論は、前に見た暗黙的推論とどう関係するのでしょうか。暗黙的推論とは、例えば、「雨が降っている」から「道路が濡れる」を結論する推論です。この推論を論理的語彙を用いて明示化すると、「雨が降っているので、道路が濡れる」などの文になるでしょう。これは、原因と結果の関係（前提と帰結の関係の一種）を明示的に表現しています。「ので」は、原因と結果の関係、ないし前提と帰結の関係を明示化する語彙です。
ここで、「雨が降っている」「道路が濡れる」の意味からこの暗黙的推論やこの明示的推論が正しいことがわかるのだとすれば、それは「形式的推論」です。逆に、この暗黙的推論やこの明示的推論が正しいことから、「雨が降っている」「道路が濡れる」の意味が規定されると考えるとき、この暗黙的推論やこの明示的推論は、「実質的推論」です。つまり、暗黙的推論と明示的推論の区別と、形式的推論と実質的推論の区別は、独立しています。
ところで推論は原初的には暗黙的推論であり、それが明示化されるのだと考えられます。さらに、語や文の意味は、原初的にはその使用法であるとすると、暗黙的推論は、原初的には実質的暗黙的推論です。では、実質的暗黙的推論は、次に実質的明示的推論になるのでしょうか。それとも形式的暗黙的推論になるのでしょうか。形式的暗黙的推論は、それぞれの文の意味に基づいて正しいとされる推論でした。そのためには、それぞれの文の意味が前もって確定していなければなりません。文の意味の確定、つまり明示化は、それの使用法、それを用いた推論の明示化かによって可能になります。したがって、実質的暗黙的推論は、まず実質的明示的推論になり、その後で、形式的暗黙的推論になり、最後に形式的明示的推論になるのだと思われます。
これを準備作業として、次に、問答についての、暗黙的／明示的、実質的／形式的、の区別について考えたいとおもいます。
