投稿者: irieyukio

問答の哲学研究、ドイツ観念論研究、を専門にしています。 2019年3月に大阪大学を定年退職し、現在は名誉教授です。 香川県丸亀市生まれ、奈良市在住。

61　実質的暗黙的問答か形式的暗黙的問答か (20230626）

[カテゴリー：問答推論主義へ向けて]

前回推論の成立順序についてつぎのように述べました。

＜実質的暗黙的推論→実質的明示的推論→形式的明示的推論→形式的暗黙的推論＞

この最後の形式的暗黙的推論とは、形式的推論であるけれども、論理的語彙をもちいて完全に推論関係を明示化できていないという推論です。例えば、次のような省略三段論法がそれになります。

　　　「雨が降るならば、道路が濡れる。」

これを省略三段論法として理解するときには、次の（）の中の前提が省略されていると考えます。

　　　「雨が降る。（雨が降れば、雨が当たるところは濡れる。道路には雨が当たる。）ゆえに

道路が濡れる」

ブランダムは、「雨が降るならば、道路が濡れる」を省略三段論法ではなく、実質的推論（私の分類では、実質的明示的推論）だと考えます。この違いについて、次のように言います。両略三段論法は、形式的明示的推論の前提のいくつかが省略されているものですが、実質的推論には、そのような省略はありません。

　では、ブランダムはなぜ実質的推論の存在を主張するのでしょうか。もし論理的語彙の意味が、その使用法であり、論理的語彙の意味から使用が決定するのではなく、論理的語彙の使用法から、その意味が決定されるのだとすると、論理的語彙の最初の使用は、論理的語彙の意味によって正当化されるのではないことになります。つまり論理的語彙の使用は、少なくとも当初は、形式的な使用ではありません。その使用は、実質的推論となります。

　同じことが、疑問表現にも言えるはずです。そこで、問答は少なくとも当初は、実質的問答であるはずです。明示的問答は少なくとも当初は、明示的実質的問答であるはずです。

第52回から論じてきたことは、＜論理や意味や発話行為が問答に基づくだろう＞また＜論理的矛盾、意味論的矛盾、語用論的矛盾を問答論的矛盾から説明できるだろう＞という予測です。

これらは、実質的問答（つまり、「問答関係の正しさが、その問と答えの概念内容を決定するような種類の問答」）のアイデアに基づいていると言えそうです。

　では、「私たちは、どうして問答関係の正しさを理解できるのでしょうか」あるいは「わたしたちは、どうして問答ができるのでしょうか」

60　問答の、暗黙的／明示的、実質的／形式的、の区別 (20230618）

[カテゴリー：問答推論主義へ向けて]

前々回(58回)に、疑問表現を使用しない問答を「暗黙的問答」、疑問表現を使用した問答を「明示的問答」と呼ぶことにしました。次に、（前回（59回）紹介した）ブランダムの「実質的推論」の定義にならって、「実質的問答」を次のように定義したいと思います。

「実質的問答」とは、「問答関係の正しさが、その問と答えの概念内容を決定するような種類の問答」です。これとの対比で、「問と答えの概念内容にもとづいて、問答関係の成立を説明できる問答」を「形式的問答」と呼びたいと思います。

さて、このように定義した「実質的問答」は存在するでしょうか。まず明示的問答の前に成立していたと考えられる「暗黙的問答」は、実質的問答でしょうか、形式的問答でしょうか。いまだ疑問表現を持たない言語、あるいはまだ疑問表現を学習していない幼児を考えると、その場合の

「これは」「リンゴ」

というような問答は、これらが問答関係になることを、それぞれの発話を構成する表現（「これは」「リンゴ」など）の意味から説明することはできません。したがって、これは「実質的暗黙的問答」です。また、形式的問答が成立するには、疑問表現が言語に導入されていること、また疑問表現を幼児が学習済みであることが必要になることがわかります。

ところで、疑問表現を使用する明示的問答が最初に登場するとき、疑問表現の意味はまだ曖昧です。その意味は、その使用において明確になり構成されるでしょう。したがって、この段階の明示的問答は、問いと答えの意味に基づいてその問答関係を説明することはできません。したがって、この問答関係の正しさから、問いを構成する疑問表現の意味が説明されるでしょう。つまり、少なくとも当初の明示的問答は、「実質的明示的問答」です。

こうして疑問表現の意味が成立し、また習得されたとすると、「形式的明示的問答」が可能になります。一旦「形式的明示的問答」が成立すると、これに含まれる疑問表現を省略したものとして、「形式的暗黙的問答」が可能になるのだと思われます。

まとめると次のような順序で成立することになります。

＜実質的暗黙的問答→実質的明示的問答→形式的明示的問答→形式的暗黙的問答＞

前回は推論についてて次の順序で成立すると述べました。

＜実質的暗黙的推論→実質的明示的推論→形式的暗黙的推論→形式的明示的推論＞

しかし、この最後の二つの順序は次のように逆にすべきでした。

＜実質的暗黙的推論→実質的明示的推論→形式的明示的推論→形式的暗黙的推論＞

論理的語彙の意味が学習されて、形式的推論が可能になり、形式的明示的推論が成立した後で、はじめて、そこから論理的語彙を省略して形式的暗黙的推論が可能になるからです。

さて、以上を踏まえて、私たちが日常的によくおこなう暗黙的問答は、「実質的暗黙的問答」なのか「形式的暗黙的問答」なのか、を考えたいと思います。

59　暗黙的推論と実質的推論 (20230611）

[カテゴリー：問答推論主義へ向けて]

私は、疑問表現を取得したあとも、私たちは暗黙的問答を行っていると考えているのですが、これを検討する前に、問答推論ではなく通常の推論についての「暗黙的推論」と「実質的推論」の関係について考えておきたい思います。　　　　　　

R・ブランダムは、「推論の正しさが、その前提と結論の概念内容を決定するような種類の推論」（ブランダム『推論主義序説』斎藤浩文訳、春秋社、p. 71）を「実質（的）推論」と呼ぶ。通常の推論つまり「形式的推論」では、推論の正しさは、それに含まれる論理的語彙の意味に基づいて説明されるます。しかし、実質的推論では、逆に、推論が正しいということから、論理的語彙の意味を決定します。また論理的語彙の意味だけでなく、その他の語彙の意味も決定することになります。

では、この実質的推論は、前に見た暗黙的推論とどう関係するのでしょうか。暗黙的推論とは、例えば、「雨が降っている」から「道路が濡れる」を結論する推論です。この推論を論理的語彙を用いて明示化すると、「雨が降っているので、道路が濡れる」などの文になるでしょう。これは、原因と結果の関係（前提と帰結の関係の一種）を明示的に表現しています。「ので」は、原因と結果の関係、ないし前提と帰結の関係を明示化する語彙です。

ここで、「雨が降っている」「道路が濡れる」の意味からこの暗黙的推論やこの明示的推論が正しいことがわかるのだとすれば、それは「形式的推論」です。逆に、この暗黙的推論やこの明示的推論が正しいことから、「雨が降っている」「道路が濡れる」の意味が規定されると考えるとき、この暗黙的推論やこの明示的推論は、「実質的推論」です。つまり、暗黙的推論と明示的推論の区別と、形式的推論と実質的推論の区別は、独立しています。

ところで推論は原初的には暗黙的推論であり、それが明示化されるのだと考えられます。さらに、語や文の意味は、原初的にはその使用法であるとすると、暗黙的推論は、原初的には実質的暗黙的推論です。では、実質的暗黙的推論は、次に実質的明示的推論になるのでしょうか。それとも形式的暗黙的推論になるのでしょうか。形式的暗黙的推論は、それぞれの文の意味に基づいて正しいとされる推論でした。そのためには、それぞれの文の意味が前もって確定していなければなりません。文の意味の確定、つまり明示化は、それの使用法、それを用いた推論の明示化かによって可能になります。したがって、実質的暗黙的推論は、まず実質的明示的推論になり、その後で、形式的暗黙的推論になり、最後に形式的明示的推論になるのだと思われます。

　これを準備作業として、次に、問答についての、暗黙的／明示的、実質的／形式的、の区別について考えたいとおもいます。

58　疑問表現を用いない暗黙的問答について　(20230604）

[カテゴリー：問答推論主義へ向けて]

前々回に、論理的語彙を使用せすに行われる推論を暗黙的推論と呼びましたが、それと同じように、疑問表現をもちいなくても問うことや問答が行われることがあり、それを「暗黙的問い」や「暗黙的問答」と呼びたいと思います。例えば、

　　「これは」「リンゴです」

なにかを指さして「これは」といえば、相手は「これは何ですか」「これはいくらですか」などの問いとして理解し、「リンゴです」とか「100円です」とか答えるでしょう。このとき、「これは」は「これは何ですか」「これはいくらですか」などの省略形である場合もあるでしょう。

しかし「なに」という語（の使用法）を知らない場合にも、「これは」で何かを求めていると理解できる必要があるのではないでしょうか。もしそれが理解できないとすると、「何」という語の使用法を学習することや教えることの説明がかなり難しいでしょう。

　言語を持つ以前の人間や他の動物は、探索行動をします。例えば、エサを探します。言語化すれば、「これは食べられるだろうか」とか「これはなにだろうか」などの問で表現できる探索行動をしていると思われます。「これ」や「リンゴ」などの語を取得すれば、それらをもちいて問うことができるでしょう。「これ」や「リンゴ」などの語を学習するためにも、探索が必要です。そこでは語の使用方法を確認しようとする問答が必要になるはずです。

　ところで、すでに疑問表現を習得している私たちも、このような暗黙的な問答を行っているのではないでしょうか。それを次に考えたいと思います。

57　保存拡大性の定義の修正　(20230528）

[カテゴリー：問答推論主義へ向けて]

　私には、tonkで明示化できるような暗黙的な推論は成立していないように思われます。しかし、それを証明することも難しように思われます。

そこで、＜暗黙的推論を認めると、「tonk」のような不適切な論理的語彙もまた保存拡大的であることになってしまう＞という懸念を回避するために、保存拡大性の定義をつぎのように修正したいとおもいます。

論理的語彙の「保存拡大性」とは、＜論理的語彙を（導入規則によって）導入して、直ちに（除去規則によって）除去するとき、論理的語彙の導入と除去の前に、正しくなかった明示的推論が正しくなることはなく、正しかった明示的推論が正しくなくなることはない、つまり、以前の明示的推論関係が保存される＞としたいと思います。

このようにすれば、tonkのような論理結合子を排除できます。

56　暗黙的推論について　(20230527）

[カテゴリー：問答推論主義へ向けて]

＃暗黙的推論（implicit inference）

論理的語彙とは、推論関係を明示化するための語彙ですが、推論は、論理的語彙がなくても可能です。例えば、「これはリンゴです」から「これは果物です」と言うことができます。このとき、私たちは暗黙的に推論を行っています。その推論を明示化すると「もしこれがリンゴであるなら、これは果物です」ということになります。ここでは論理的語彙「もし…ならば、…」を使用しています。私たちは、暗黙的に行っている推論を明示化するために、論理的語彙を使用するのです。もう一つ例を挙げましょう。「これはリンゴです」から「これはナシではない」と言えます。このときも私たちは暗黙的に推論を行っており、その推論を明示化すると、「これはリンゴであり、リンゴはナシではないので、これはナシではない」ということになります。ここでは、論理的表現「ない」「ので」を使用しています。暗黙的に行っている推論を明示化するには、このような論理的語彙が必要なのです。

＃論理的語彙の保存拡大性

論理的語彙の「保存拡大性」とは、＜論理的語彙（論理結合子と量化子。このほかに何を含めるかは論争の余地があります）を（導入規則によって）導入して、直ちに（除去規則によって）除去するとき、論理的語彙の導入と除去の前に、正しくなかった推論が正しくなることはなく、正しかった推論が正しくなくなることはない、つまり、以前の推論関係が保存される＞ということです。

N.BelnapやM.Dummettがこのような論理的語彙の保存拡大性を考えたとき、彼らは暗黙的推論を想定していなかっただろうと思います。私も、『問答の言語哲学』では、このような暗黙的推論を考えていませんでした。

＃暗黙的推論を認めるとき、論理的語彙の保存拡大性は変化するのか？

　論理的語彙によって明示化される明示的推論は、論理的語彙を用いないでも暗黙的に成立している暗黙的推論であるとすると、論理的語彙によって可能になるすべての推論は、論理的語彙を除去規則によって除去しなくても、論理的語彙を導入する前から、暗黙的推論として成立していたことになります。したがって暗黙的推論をこのようなものとして想定するとき、論理的語彙の保存拡大性は、自明なこととして成立します。

　ところでベルナップが論理結合子が「保存拡大性」を持つべきだと提案したのは、次の「tonk」のような不適切な論理結合子を排除するためでした。これは、次のような導入規則と除去規則を持つ論理結合子です。

　　ｐ┣ｐtonk ｒ　　（導入規則）

      ｐtonk ｒ┣ p　　（除去規則）

　   ｐtonk ｒ┣ ｒ　　（除去規則）

上記のような仕方で暗黙的推論を認めると、「tonk」のような不適切な論理的語彙もまた保存拡大的であることになってしまいます。

　この問題を解決するにはどうしたらよいでしょうか。

47 GPT４による規則遵守問題の解決(20230524)

[カテゴリー：日々是哲学]

1000+2が1004ではなく1002であることをどうやって正当化するかという問題（ウィトゲンシュタインの指摘した規則遵守問題）は、最終的には社会的サンクションによって解決するしかないという考え（クリプキ）があります。この社会的サンクションをより具体的に考えるときに、ロバート・ブランダムはヘーゲルの承認論を用いようとします。しかし、（GPT４のような）大規模言語モデル（LLM）のAIが社会インフラになるとき、AIによって社会的サンクションが与えられるようになるのではないでしょうか。知の規則遵守が、社会的サンクションによって成立するとすれば、それはLLMのAIによって成立します。それで？（ここから先は、これから考えます）

55　論理的語彙の保存拡大性：再考　(20230521）

[カテゴリー：問答推論主義へ向けて]

前回検討した批判を、「疑問表現の保存拡大性」に基づいて説明すると、それは次のような批判だと思われます。＜疑問表現が保存拡大的であるとしたら、その使用によって、その他の推論関係を変えないはずである。したがって、その使用後に両立不可能な関係が成立しているのだとすると、その使用前にも両立不可能な関係が成立していたはずである。したがって、同一の問いに対するある二つの答えが両立不可能であるとしたら、それの二つの主張は、同一の問いで問われる前から両立不可能であったと思われる。＞

この批判を検討するために、疑問表現と論理的語彙の「保存拡大性」について考察したいと思います（これについては、『問答の言語哲学』で論じましたが、ここではもう少し議論を深められると思います）。今回はまず論理的語彙の保存拡大性について考察します。

論理的語彙の「保存拡大性」とは、＜論理的語彙（論理結合子と量化子。このほかに何を含めるかは論争の余地があります）を（導入規則によって）導入して、直ちに（除去規則によって）除去するとき、論理的語彙の導入と除去の前に、正しくなかった推論が正しくなることはなく、正しかった推論が正しくなくなることはない、つまり、以前の推論関係が保存される＞ということです。

ゲンツェンは、論理結合子の使用法をそれの導入規則と除去規則で説明しました。しかし、どのような導入規則と除去規則を明示すれば、どのような論理結合子を設定してもよいとすることはできません。そこでBelnapは、上記の「保存拡大性」を必要条件として提案しました。

論理結合子の導入規則（I）と除去規則(E)は、次の通りです。

ところで、私たちは、論理的語彙を使用する前にも、推論を行っています。それを「暗黙的推論」と呼ぶことにします。私たちは、論理的語彙を導入することによって、暗黙的推論を明示化するのです。これによって、命題と命題の論理関係が明示化されます。

例えば、「これはリンゴです」から「これは果物です」と言うことができます。このとき私たちは論理的語彙を使用しませんが、暗黙的推論を行っています。その推論を明示化すると「もしこれがリンゴであるなら、これは果物です」ということになります。ここでは論理的語彙「もし…ならば、…」を使用しています。つまり、暗黙的に行っている推論を明示化するには、論理的語彙が必要です。もう一つ例を挙げましょう。「これはリンゴです」から「これはナシではありません」と言うことができます。このときも私たちは暗黙的に推論を行っており、その推論を明示化すると、「これはリンゴであり、リンゴはナシではないので、これはナシではない」ということになります。ここでは、論理的語彙「ない」「ので」を使用しています。私たちが暗黙的に行っている推論を明示化するには、このような論理的語彙が必要です。ブランダムは、論理的語彙のこの働きを「論理的語彙の表現的役割」（MIE110,231，AR57,68）とよびます。（これらの語彙は、歴史的に当初は論理的語彙ではなかっただろうとおもいますが、しだいに論理関係を明示化するという役割が明確になってきたのだろうと思います。）

この「論理的語彙の表現的役割」（暗黙的推論が論理的語彙によって明示的推論になること）を認めることは、「論理的語彙の保存拡大性」とどう関係するでしょうか。それを次に考えます。

54　論理的関係の明示化と明示化以前の関係　(20230516）

[カテゴリー：問答推論主義へ向けて]

前回、「両立不可能性」や「帰結」の関係は、同一の問いに対する二つの答えの関係として成立することを説明し、それに対して次のような批判が予測できることを述べました。

＜二つの命題の「両立不可能性」や「帰結」の関係が明示化されるためには、同一の問いに対する答えであることが必要であるけれども、それらが異なる問いの答えになっているときにも、「両立不可能性」や「帰結」の関係は暗黙的に成立しているのではないか。＞　

今回はこの批判に答えたいと思います。同一の問いをもつ二つの問答によって、二つの命題の両立不可能性が明示化されますが、この批判がいうように、その両立不可能性は問答の前にも暗黙的に成立しているのでしょうか。

もし＜命題の概念関係が、問答とは独立に成立しており、問答が命題の概念関係を変えない＞とすると、この批判が言うように問答の前にも両立不可能性が成立していることになるでしょう。

しかし、＜命題の意味は相関質問との関係において成立する＞とすると、命題の概念関係もまた相関質問との関係において成立し、それゆえに命題の概念関係は問答とは独立に成立していないことになります。私は、この立場を取りたいと思います。

しかし、この場合、＜上記の問答の前には両立不可能性は成立していない＞ということではありません。現実に問答が行われていないときも、もし問答③の問いが問われたならば、その答えが答えられるだろう、という反事実的条件法は成立しているだろうと考えます。この意味で、問答関係が暗黙的には成立していると考えます。このように考えるならば、両立不可能性も暗黙的に成立していることになります。だだし、それは問答とは独立に成立しているのではありません。両立不可能性を明示化する問答が暗黙的に成立しているのです。

　上記の批判は、「疑問表現の保存拡大性」とも関係していますので、次回に、疑問表現と論理的語彙の保存拡大性について考察して、その後この批判について別の角度から考察したいと思います。

53　推論法則を問答論的矛盾から証明する(20230510）

[カテゴリー：問答推論主義へ向けて]

（焦点位置を最初は、下線で表示していたのですが、それが反映されないので、［　］Fで表示しなおしました。）

(更新が遅れてすみません。拙著の執筆のために、他の論点をいろいろ考えているうちに、ここでの話になかなか戻ってくれなくなってしまいました。科研の実績報告書の締め切りとか、GPT4のことを考えたりとか、もありました。）

　前回は、４種類の矛盾を、通常は、論理的矛盾を基礎に据えて、それをもとに意味論的矛盾を説明し、さらにそれらをもとに語用論的矛盾を説明し、さらにそれらをもとに問答論的矛盾刷ることが想定されるが、逆に、問答論的矛盾を基礎にして、そこから語用論的矛盾、意味論的矛盾、論理的矛盾を説明することもできると述べました。

この後者の説明順序を採用するとき、問答論的矛盾や問答規則によって、語用論的規則や意味論的規則や論理的規則を説明することになるだろうという予測を述べました。この予測を具体的に証明することがここでの課題です。

この課題には、『問答の言語哲学』第四章ですでに少し取り組みはじめていました。基本的な論理法則である同一律や矛盾律の正しさは、その正しさを問う問いに、否定的に答えることが問答論矛盾になる、ということから背理法によって説明できます。ただしこの論法は古典論理を前提するので、限界があります。（これについて『問答の言語哲学』第四章で論じました）。

そこで少し違ったアプローチで、この課題に取り組んでみたいと思います。（ブランダムが推論関係の基礎と考えていた）「両立不可能性」と「帰結」について、問答関係の観点から、説明を試みたいと思います。

　まず両立不可能性について。コリングウッドは、二つの主張が矛盾することは、それらが同一の問いに対する答えである場合に成り立つと考えました。その根拠は、＜命題の意味は、問いに対する答として成立する＞ということと、＜同一の文でも相関質問が異なれば意味が異なる＞ということにあります。二つの主張が同一の問いに対する答である場合に、両立不可能性が成立するのです。

　これをもう少し具体的に説明します。命題は、問いに対する答えとしてのみ意味をもつ、とすると、問答のセットが意味を持つことになります。それは、焦点付き命題です。もし二つの主張が同一の問いに対する答としてのみ矛盾するとすれば、次の二つの答えは矛盾しません。

①「［どれ］Fがリンゴですか？」「［これ］Fがリンゴである。」

②「これは［何］Fですか？」「これは［リンゴでない］F」

この二つの答えが矛盾すると考えるとき、私たちは次のように考えています。

①「［どれ］Fがリンゴですか？」「［これ］Fがリンゴである。」

という問答の答えから改めて次の問いを立て、次の答えを得ます。

　　③「これは［何］Fですか？」「これは［リンゴ］Fです」

こうすると、③は、上の問答セット②の問いと同じであり、③の答えと②の答えは矛盾します。文の発話の焦点は、このように別の問いを立てその答えとして同じ文の発話をおこなうとき、焦点位置を変更できます。

　（「矛盾」と「両立不可能性」は厳密には異なります。ｐとｒが矛盾するとは、ｐとｒの真理値は常に逆になる、ということです。それに対してｐとｒが両立不可能であるとは、ｐとｒが共に真となることはあり得なませんが、ｐとｒが共に偽であることはありえます。コリングウッドは「矛盾」についてこのことを語っているのですが、「両立不可能性」についても同じことが成り立つと思います。）

次に、「帰結」について。（コリンウッドは帰結についてはこのように述べていませんが）私たちは、＜ある命題が別のある命題から帰結するということが成り立つのは、それらの命題が同一の問いに対する答である場合である＞と言えると思います。それを具体的に説明しましょう。

例えば、「これは銅である」から「これは電導体である」が帰結します。今仮にこの二つの発話を次の問答によって得たとしましょう。

　　　④「これは［何］Fですか」「これは［銅］Fである。」

⑤「［どれ］Fが電導体ですか」「［これ］Fが電導体である」

この場合には、④の答えから⑤の答えが帰結するようには見えません。そこで、⑤の問答に続いて次の問答をしするとしましょう。

　　　⑥「これは［何］Fですか」「これは［電導体］Fである」

このとき、この⑥の答えは、④の答えから帰結するといえます。上記の場合と同様に、文の発話の焦点位置については、このように別の問いを立てその答えとして同じ文の発話をおこなうことによって、焦点位置を変更できます。このようにして焦点位置を揃えるとき、二つの命題は「帰結」関係になりえます。

（ここでの「帰結」関係は、論理的帰結関係ないし意味論的帰結関係であり、因果的帰結関係ではありません。）

ここで或いは次のような批判があるかもしれません。＜二つの命題の「両立不可能性」や「帰結」の関係が明示化されるためには、同一の問いに対する答えであることが必要であるけれども、それらが異なる問いの答えになっているときにも、「両立不可能性」や「帰結」の関係は暗黙的に成立しているのではないか。＞　

この批判について、次に考えたいと思います。