カテゴリー: 問答の観点からの認識

[カテゴリー：問答の観点からの認識]

問答関数実在論を仮定するとき、認識内容のチェックは、次のように行われることになると思われます。

問いQ1の答えを得ようとして、ある事実に問い合わせて、答えA1を得たとします。

この問答の正しさをチェックするには、別の事実に問い合わせて、答を得て、その答えを先のA1と照合することができます。もし二つの答えが一致していれば、A１の正しさをとりあえず正当化できたことになります。もし二つの答えが一致しなければ、少なくともどちらか一方を変更しなければなりません。

ただし、仮に一致したとしても、この正当化は完全なものではありません。さらに別の事実に問い合わせたときに得られた答えとＡ１が一致しなければ、どちらかを変更しなければならなくなるからです。このような仕方で、問答を繰り返すことによって、認識の正当化はより安定したものになるでしょう。

問いに対する答えの正しさ、あるいは問答の正しさをチェックするときに、私たちが問い合わせるものは、客観的事実とは限りません（ここで、客観的事実に問い合わせるとはどういうことか、についてもより明確に答える必要がありますが、それは後で行います）。多くの場合、私たちは、事実そのものに問い合わせるのではなく、すでに受け入れている仮説（一般的な理論、個別的な主張、信頼している伝聞内容、など）に問い合わせて答えを得る場合があります。また知覚表象に問い合わせて、知覚判断を答えとして得ることもあります。

このような複数の「問い合わされるもの」（問答関数）による問答関係のチェックを「多重チェック問答関係」と呼びたいと思います。

理論的な問いの場合の「問い合わされるもの」＝「問答関数」には、次のようなものがあります（以下は暫定的な分類です）。

①問いの意味や論理

②他の信頼する命題に問い合わせて、その命題から問いの答えを推論しようとする

③仮説や法則に問い合わせて、答えを得ようとする。

④知覚表象に問い合わせて、答えを得ようとする。

⑤事実ないし感覚刺激に問い合わせて、答えを得ようとする。

ところで、ある問いを立て、その問いに答えるために、何かに問い合わせて、答えをえたとしても、多くのばあい私たちはその一回だけの問答で十分だとは考えません。なぜなら、私たちはその問答をチェックする必要があるからです。なぜなら、他ものに問い合わせて、どの問答をチェックしなければ、問答の正しさを正当化できないし、それに加えて、他のものに問い合わせてチェックできないとすれば、その答えを主張することができなくなるからです。それは、つぎのような理由のためです。

＃指示の三角形と認識の三角形

　語「Xさんの車」の指示対象を確定にするには、同一対象を指示する異なる意味の表現「あの赤い車」が必要です。もしある単称名辞Aがある対象を指示するとしても、その対象を指示する仕方が他になければ、単称名辞Aが何を指示しているのか、その指示が成功しているのかどうか、は確認できません。したがって、指示は成立しません。ある対象の指示のためには、単称名辞が二つ以上必要です。指示のためには、指示対象と二つの単称名辞からなる三角形が成立する必要があります。

　それと同じことが命題ｐによる事実の表示の場合にも成り立ちます。命題ｐがどのような事実を表示しているのかを確定するには、同一の事実を表示する異なる意味の命題が必要です。もし命題ｐが表示している事実を表示する他の命題が存在しないとすると、その命題がどのような事実を表示しているのか、その表示が成功しているのかどうか、を確認できません。したがって、事実の表示は成立しません。

ある事実の表示のためには、少なくとも二つの命題がそれを表示する必要があります。二つ以上必要です。つまり、一つの事実と二つの命題からなる認識の三角形が成立する必要があります。

次回は、この「認識の三角形」についてより詳しく説明したいと思います。

[カテゴリー：問答の観点からの認識]

まず、前回の宿題に手短に答えたいと思います。

＃客観的推論的関係と主観的推論関係の相互的意味依存を問答推論関係に拡張する

・前回述べた二種類の語彙の相互的意味依存は、問答推論においても成立します。

客観的な問答推論関係を語るには、真理様相語彙に疑問表現語彙（疑問詞にくわえて、疑問文形式も含まれることにします）を加える必要があります。そして、主観的な問答推論関係を語るには、義務的規範的語彙に疑問表現語彙を加える必要があります。つまり通常の推論関係を問答推論関係に拡張することは、語彙の側面がらみると、真理様相語彙と義務的規範的語彙のそれぞれに疑問表現の語彙を加えるだけです。したがって、もし真理様相語彙が規範的語彙に意味依存するならば、それらにそれぞれ疑問表現語彙を加えた語彙もまた、意味依存することになります。したがって、客観的問答推論的関係と主観的問答推論関係は、相互に意味依存することになります。

では、このように拡張した上で、ブランダム＝ヘーゲルの「概念実在論」を受け入れることができるでしょうか。気になるのは次のような存在論的な問題です。

＃「概念実在論」の存在論的問題

客観的事実(fact)ないし事態(state of affairs）が概念的に構造化（ないし分節化）されているとしましょう。事実は確かに、それと両立不可能な他の事実がなければ、一定の規定性をもちません。またある事実は、それから帰結する他の事実がなければ、一定の規定性をもちえません。「これはリンゴである」は「これはナシである」とは両立不可能です。また「これはリンゴである」からは「これは食べられる」が帰結します。このような関係は無数にあります。このような関係は、私たちが採用する言語や理論が異なれば、異なります。勿論、このような関係は私たちが言語で語らなくても成立するし、私たちが「リンゴ」「ナシ」「食べられる」「これ」などの語彙を持たなくても成立するものとして考えられています。

　「リンゴ」という語がなくても、「これはリンゴである」という事実が成立しているとは、どういうことでしょうか。それは「もし「リンゴ」という語があれば、私たちは「これはリンゴである」と語ることができる」と言うことでしょうか。

　事実は、無限に多様な仕方で語れる無限に多様な構造をもっているということでしょうか。この場合次のように考えることもできます。

　事実が、「これはリンゴである」あるは「これはリンゴであり、ナシではない」という概念構造を持つのではなく、事実は「これはリンゴですか？」と問われたら「はい、これはリンゴです」という答えを返し、「これはナシですか？」と問われたら「いいえ、これはナシではありません」という答えを返す関数である。

つまり、事実とは、ある問いの入力に対して、ある答えを出力する関数であると見なすことができます（このように問いを入力として答えを出力とする関数を「問答関数」と呼ぶことにします。このような問答関数としては、後に述べるように事実以外にも考えられます。）

　ここに3つの可能性があるでしょう。

　①事実は、このような問答関数である。

　②事実は無限に多様な仕方で概念的に構造化されている。言語化されている概念構造はその一部である。

　③事実は、問答関数であり、同時に、無限に多様な仕方で概念的に構造化されている。

　

　②や③を語ることは、事実そのもののあり方についての語ることであるので、それを正当化することは、難しそうです。①が最も正当化するときの負担が軽そうです。他方で、①は問答関係を事実によって正当化できるので、観念論や強い構成主義のような説明上の負担も免れることができます。

　①は、客観的事実が概念的に構造化されているとは考えませんので、「概念実在論」ではありません。事実の概念構造を、問答推論的関係と考えるとしても、そのような問答推論的関係が実在すると考えるのではありません。問答推論的関係は成立するのですが、それは＜人が問いを立てたとき、ある問答関数（＝事実）に基づいて、ある答えが与えられる＞という仕方で成立するのであって、事実の構造として成立するのではありません。事実について言えることは、一定の問答推論関係を成立させる問答関数であるということだけです。その問答関数がどのようなものであるかは、入力と出力を介してしか理解できません。この①のような主張を、とりあえず「問答関数実在論」と呼ぶことにします。

ところで、認識において最も重要なことは、認識内容をチェックすることです。もしある信念や予測をチェックできないとすれば、それは認識とは呼べません。チェックできるものは、真である可能性と偽である可能性を持ちます。

次回は、この「問答関数実在論」を採用した上で、どうやって認識内容をチェックするのかを説明したいと思います。

[カテゴリー：問答の観点からの認識]

ブランダムは、客観的概念構造（推論的関係）と主観的概念構造（推論的関係）が「相互的意味依存（reciprocal sense dependence)」の関係にあると言います。「意味依存」は「指示依存」と対照的に理解されており、それぞれ次のように定義されます（同様の定義は、すでにTMDの6章にあります）。

・「意味依存」の定義

「XがYに意味依存するとは、Xの概念を把握する事が、Yの概念の把握なしには、不可能である場合である」(SoT 206)

ブランダムの挙げている例では、概念sunburn は　概念sunと burnに意味依存する。また、概念「親」は、概念「子供」に意味依存する。

・「指示依存」の定義

「XがYに指示依存するのは、次の場合のみである。＜X（概念Xの指示対象）が、Y（概念Yの指示対象）が存在するまでは、存在しえない＞場合である。」(SoT 206）

オラリー夫人の牛がランタンを蹴ることによって1871年のシカゴ大火災が起こったが、1871年のシカゴ大火災は、オラリー夫人の牛がランタンを蹴ることに指示依存する。

客観的事実が概念的に構造化されているとは、客観的事態の間の「両立不可能」や「帰結」の関係があるということです。他方で、思考や判断の主観的行為の間にも「両立不可能性」や「帰結」の関係が成り立ちます。なぜなら思考も行為も概念的に分節化されているからです。この二つの側面を、客観的な概念内容と主観的概念内容と呼ぶことにします。ブランダムは、この二つが、「相互に意味依存する」というのです。

主観的な概念内容が客観的な概念内容に意味依存することは、明白であるかもしれません。判断が真であるためには、それが事実の概念構造を正しく表現している必要があるからです。判断の概念内容を理解するには、事実の概念内容を理解する必要があります。

これに対して、客観的概念内容が主観的概念内容に意味依存することは、説明が必要です。この説明がブランダムの概念実在論の独創的なところです。ブランダムは、これを二種類の語彙の間の関係として説明します。客観的概念内容は、「真理様相語彙(alethic modal vocabulary）」によって語られます。真理に関わる語彙だけでなく、様相語彙が必要なのは、自然の法則的な「必然性」や「可能性」を語る必要があるからです。また「反事実的条件法」も必要です。したがって、客観的概念内容を語るには、真理様相語彙が必要です。これに対して、主観の判断や行為を語るには、判断や行為にともなうコミットメントや資格付与の引き受けや拒否やそれらの義務について語る必要があります。したがって、「義務的規範的語彙(deontic normative vocabulary)」が必要です。

ブランダムはこの二種類の語彙の間に相互的な意味依存があるというのです。特にかれが強調するのは、＜真理様相的語彙が、義務的規範的語彙に意味依存する＞ということです。つまり、真理様相的な語彙の理解と適用を行うためには、義務的規範的語彙の理解と適用が必要であるということです。

「自然法則は、人がそれを理解しなくても、またそもそも人がいなくても、成り立ちうる」ことをブランダムは認めます。しかし、この事実は、反事実的条件法で語られており、様相語彙を使用していますが、それだけでなく、「人がそれを理解しなくても」という主観的な判断を述べた部分を理解するには、義務的規範的語彙を使用しなければなりません。それゆえに、客観的な概念内容を理解するためには、主観的な概念内容の理解が必要なのです。

「私たちは、主体がいない可能世界を理解し記述することができる。[…]しかし、そのような可能性を理解する私たちの能力は、私たちが、義務的規範的語彙の適用によって明示化される実践に関わることができるということに依存している。」(SoT 84）

しかし、客観的概念内容が真であるために、主観的概念内容が真であることが必要だということではありません。つまり、客観的概念内容は、主観的概念内容に意味依存するけれども、指示依存しません。

様相語彙は、規範的語彙に意味依存します。しかし指示依存するのではありません。言い換えると、真理様相語彙で語られていることを理解するには、義務規範的語彙を理解することが語られていることを理解する必要があります。しかし、真理様相語彙で語られていることが真であるために、義務規範的語彙で語られていることが真である必要はありません。（cf.SoT 82)

「概念実在論」としては、このような客観的事実の概念構造と主観的判断と行為の概念構造をそれぞれ主張するだけでよいのですが、この二つの概念構造の間の相互的意味依存関係を主張するとき、ブランダムはこれを「客観的観念論」と呼びます。

「概念的実在論：物がそれ自体で何であるかと、物が意識にとって何であるか、の間の内容の存在論的同質性。両者は、概念的に構造化されている、つまり両立不可能性と帰結（媒介と規定された排他的否定）によって分節化されている。（注：概念内容はこれら二つの異なる形式をとり得るので、物はこのテーゼによって、観念と同一視されることはない。）

客観的観念論：諸概念の相互的意味依存によって、私たちは、一方では両立不可能性と帰結の客観的関係を特徴づけ、他方では、両立不可能性を解決し推論を行う主観的プロセスを特徴づける。（注：意味依存は指示依存を伴わないので、客観的世界は思考のプロセスの存在に――例えば、因果的に――依存していると見なされるのではない。）

概念観念論：客観的で概念的に分節化する関係と主観的で概念的に分節化するプロセスの配置は、最初は（知覚―行為－知覚という）意図的行為のサイクルであるプロセスの想起的局面に関連して理解されるだろう。そして、派生的にのみ、そのプロセスによって誘発される関係の用語で理解されるべきだ。（注：このテーゼはまだ主観的プロセスによって分節化された内容と、客観的関係によって分節化された内容の理解に言及している。しかし、それは、（『精神現象学』の）「序文」の用語をもちいて、「実体を主体として捉えること」という用語で表現できる――しかし「主体の活動性の様相における実体－且つー主体」と語る方がよいだろう――これは生気のない物を意識のあるものとして解釈することではない。）」（418f）

ブランダムは、概念実在論と客観的観念論と概念実在論を、ヘーゲルにおける『精神現象学』の展開の三段階として理解してます。（概念実在論については、私にはまだ説明の準備ができていません。）

二つの語彙の相互的意味依存について、問答推論の観点から考察するとどうなるかを、次に考えたいと思います。

[カテゴリー：問答の観点からの認識]

＃「問答推論的概念実在論」へ

ブランダムの概念実在論は、客観的事実が概念的であること、つまり推論的関係（両立不可能性と帰結）にあることを主張するものでした。したがって、それを「推論的概念実在論」とか「推論的関係実在論」とよぶこともできるでしょう。

　ところで、推論は、現実には、問いに対する答えを求めるか過程として成立するものです。つまり問答推論の一部として成立するものです。したがって、事実が他の事実との推論的関係において成立するということも、より正確には、事実が他の事実との問答推論関係において成立するということだと言えます。

ブランダムは両立不可能性と帰結について次の例を挙げています。「これは銅である」は「これはアルミである」とは両立不可能であり、「これは銅である」から「これは電導体である」が帰結します。これらの推論は、問答推論の観点から見ると、問いに対して答える過程として成立します。「これはアルミですか？」という問いに答える時に、「これは銅である。ゆえにこれはアルミではない」という推論が使用されます。また「これは電導体ですか？」という問いに答える時に、「これは銅である。ゆえにこれは伝導体である」という推論が使用されます。

ブランダムは、このような客観事実の概念構造ないし推論的関係は、人がそれを認識しなくても、あるいは人がいなくても、成立していると（一応）考えます。私は、この推論的関係を問答推論関係として理解しますが、その場合にも、問答推論的関係は、人がそれを問い認識しなくても、また人がいなくても、成立すると（一応）考えます。それを次に説明します。

＃問答関係は、無時間的な意味論的論理的関係である。

　問答推論関係は、より一般的に述べれば次のようなものです。Q、ｒ、ｓ、┣ｐという問答推論（Ｑは疑問文、ｒ、ｓ、ｐは平叙文で、ｒ、ｓ、ｐの間には通常の推論関係r、ｓ┣ｐが成り立っており、ｐはＱの答えになっている）が成り立つとしよう。この関係は意味論的論理的関係であり、問答推論が妥当であるとは、Qが健全であり、ｒ、ｓが真であるならば、ｐが真となるという意味論的な関係が成り立つということです。「問いが健全である」とは、問いが真なる答えを持つことを意味します。（ここでの妥当性の説明は、「真」の理解を前提して、推論の妥当性を説明していますが、私は最終的にはそのようには考えません。このような語り方をするのは、とりあえずの説明のための方便と考えてください。より詳しくは、カテゴリー「『問答の言語哲学』をめぐって」の51~54回をご覧ください。）

　このように考える時、問答推論関係は、通常の論理的関係や数学的関係と同じく、経験的世界とは独立に無時間的に成立するものです。しかし、この理解は、推論の妥当性を、問いの健全性と命題の真理性に基づいて説明しています。（後で述べますが、ブランダムが、形式論理は実は実質論理であると考えているように、私も形式的問答推論は、実は実質的問答推論であり、前者は後者からの抽象によって成立すると考えています。）

　このことをここで確認するのは、つぎのような疑念に答えるためです。＜事実が概念的構造、推論的関係を持つことは、人がそれを知らなくても、あるいは人がいなくても、成立すると言える可能性がある。しかし、問答推論関係は、人がそれを問わなければ、あるいは人がいなければ、成立しないのではないか＞という疑念に対して、そうではないというためです。

さて、ブランダムは、客観的推論的関係を主観的推論的関係から独立したものとして、捉えるのですが、しかし、他方では、「主観的次元と客観的次元の相互的意味依存(reciprocal sense-depenedence)」(SoT 86)を語ります。つまり、客観的概念構造は一応は、主観から独立に成立しているのですが、意味論的にはそうではない、と言うことです。では、両者の存在論的関係はどうなるのでしょうか。

　次に、この「相互的意味依存」を説明し、二つの次元の存在論的な関係を考え、それに依拠して、「問答推論関係」についても同様のことが成り立つことを説明したいと思います。

[カテゴリー：問答の観点からの認識]

久しぶりにこのカテゴリーに戻ってきました。

2022の『問答の言語哲学』の合評会で、ハーバーマスからのブランダムの「概念実在論」に対する批判について、どう考えるのか、という質問を受けました。ハーバーマスのブランダム批判と、ブランダムからの応答については、カテゴリー「『問答の言語哲学』をめぐって」で説明しました。それを受けて、私自身が「概念実在論」についてどう考えるかを説明しなければならないのですが、この議論は、『問答の言語哲学』の主題ではなく、むしろ次著として計画している『問答の理論哲学』（仮）の主題に関わるものなので、このカテゴリーで論じたいと思います。

（その議論は、問答の観点から認識論を再考するというこのカテゴリーの趣旨にそうものです。またこのカテゴリーでの課題として残っていた問題（前回55回を参照）、「現象の領域と理論の領域の区別」をどのように行うか、という問題にもかかわってくる議論になると思います。）

＃「概念実在論」の二つの問題

ブランムが「概念実在論」について最も詳しく述べているのは『信頼の精神』（Spirit of Trust、SoT）ですので、ここでは主として、この著作での「概念実在論」を論じたいと思います。ブランダムによれば「概念的である」とは、「実質的な両立不可能性と帰結の関係にあること」(SoT 54）（「実質的な」の意味はいずれ説明します）ということです。そして、「概念実在論」（SoT 3)とは、「客観的世界をつねにすでに概念形式の中にあるものとして理解すること」(同所)です。あるいは「自然科学が物理的実在として露わにする客観的事実と性質が、それ自体、概念的形式の中にある」(同所)、あるいは「世界がそれ自体で客観的に存在する仕方は、概念的に分節化されている、という主張」(同所)です。

＜「客観的事実と性質」が概念的であること、つまり互いに非両立性や推論的帰結の関係にあること＞これについては、ほとんど異論はないでしょう。以下で考えたい問題は二つです。

一つは「この概念構造を私たちはどのようにして認識するのか」という認識論の問題です。もう一つは、「この概念的構造の存在をどのようなものと考えるのか」「この概念構造は、事実そのものの構造として私たちの理解とは独立に存在しているのか、それとも私たちの言語や理論によって構成されたもの、私たちが構成したもの、として存在するのか」という存在論の問題です。

今の私には、この二つの問題を分けて、どちらかを解決してから他方を解決するというような仕方で、取り組むことが難しいので、とりあえずは、この違いに注意しつつも、ときに二つを横断するような仕方で考えたいと思います。

（ブランダム＝ヘーゲルは、この存在論の問題について「客観的観念論」で答えます。これについてもいずれ考察します。ブランダム＝ヘーゲルは認識論の問題については「概念的観念論」で答えているのだろうと予測します。これについてもいずれ考察します。）

まずは、『問答の言語哲学』でブランダムの推論的意味論を問答推論的意味論に拡張したとの同じように、ここでもブランダムの「概念実在論」を問答推論の観点から再考したいと思います。

[カテゴリー：『問答の言語哲学』をめぐって]

『問答の言語哲学』の合評会を開いていただけることになりました。

http://www.let.osaka-u.ac.jp/philosophy/event.html　に以下の案内があります。

――――――――――――――――――――――　

2021年度　ユネスコ制定「世界哲学の日」記念イベント：入江幸男『問答の言語哲学』合評会

本研究室では、ユネスコ制定「世界哲学の日」に合わせまして、この時期に記念イベントを行うことが恒例となっております。
今年度は、哲学哲学史専門分野／哲学・思想文化学専修の教員を長く務められた入江幸男さんのご著書『問答の言語哲学』（勁草書房、2020年）を取り上げ、オンライン合評会を行いたいと思います。
どなたでもご参加になれます。参加をご希望される場合や、ご不明な点がある場合などは、下記のお問い合わせ先までご連絡ください。

入江さんはかねてより、問答という観点から独自の哲学を展開されてきました。
特に、従来の言語分析哲学に対しては「あらゆる平叙文は問いへの答えであり、文や発話の意味は、それがいかなる問いへの答えなのかという観点から考えられるべきだ」と一貫して主張されています。
昨年公刊された『問答の言語哲学』は、それをブランダムの推論主義や日常言語学派などに言及しつつ詳論したものです。

入江幸男ブログ（同書の内容が説明されています）
https://irieyukio.net/blog/2020/10/30/

本イベントでは、ブランダムにお詳しく入江ゼミ出身者でもある朱喜哲さん、また日常言語学派にお詳しく入江ゼミの最終年度にも参加されていた三木那由他さんのお二人にご登壇いただき、同書の内容を掘り下げていきたいと思います。
みなさまのご参加を、心よりお待ちしております。

以下、イベントの詳細です。

日時：11月23日（火／祝）14:00-16:00
場所：Zoom（URLはメールにてお問い合わせください）＊後日、録画を研究室のYoutubeチャンネルにアップロード予定

著者：入江幸男（大阪大学名誉教授）
質問者(1)：朱喜哲（大阪大学招へい教員）
質問者(2)：三木那由他（哲学哲学史専門分野講師）
司会：嘉目道人（哲学哲学史専門分野准教授）

*プログラム*
14:00 – 14:20（20分）著者による内容の要約と補足説明など
14:20 – 14:35（15分）質問(1)
14:35 – 14:50（15分）応答(1)
14:50 – 15:00（10分）休憩
15:00 – 15:15（15分）質問(2)
15:15 – 15:30（15分）応答(2)
15:30 – 16:00（30分）全体ディスカッション

お問い合わせ先：yoshime[at]let.osaka-u.ac.jp　＊[at]は半角アットマークに変更してください。

―――――――――――――――――――――――　

ご参加をお待ちしております。

よろしくお願いします。

[カテゴリー：問答の観点からの認識]

42回と43回に、それまでの議論の振り返りをおこない、次の3つのテーマに取り組むことを予告しました。

　「論理学と自然科学の区別」

　「現象の領域と理論の領域の区別」

　「論理的語彙による事実の明示化」

　その後、第二の区別の考察から始めました。そして、「説明とは何か」「法則による説明とは何か」「法則とは何か」などについて考えてきましたが、確たる結論には至っていません。ただその考察の過程で、第一の区別と第二の区別については、少し進展がありました。

　第一と第三の区別については、現在次のように考えています。L+M+Pとして自然科学を捉えること、未分化なL+M+Pから抽象によって、論理的語彙や数学の語彙がそれら公理が得られることがわかりました。これよって、「論理学と自然科学の区別」がどのように行われるのかを説明できます。また「論理的語彙による事実の明示化」については、発生的には、事実の記述から論理的語彙の使用の明示化が行われることがわかりました。ただしこれはアプローチの方向を示しているだけであり、L+M+PからLの抽象化が具体的にどのように行われるのかを示す必要があります。

　他方、第二の区別「現象の領域と理論の領域の区別」あるいは「観察語と理論語の区別」あるいは「経験法則と理論法則の区別」については、いまだ曖昧なままです。観察語と理論語の区別については、カルナップ自身がいうように明確に線引できないようです。経験法則と理論法則については、「単なる全称命題」と「法則」として区別しようとしましたが、科学理論の最上位の法則である公理もまた、アインシュタイが言うように、規約と帰納に依存しており、「単なる全称命題」と「法則」の区別が難しいことがわかりました（ヘンペルが提起した「法則をどう定義するか」という問題は、未だに解決できていないし、解決可能であるかどうかもわからない、ということです）。

 　じつは私は今は、「現象の領域と理論の領域の区別」について、もう少し違った区別立てが必要なのではないか、という疑念を感じています。そこで次に、これを確認するために、ローダンの『科学は合理的に進歩する』の内容紹介と検討をしたいとおもいます。（ちなみに、私は、ローダンの議論にそうしかたで、「現象の領域と理論の領域の区別」を再設定しようとしているのではありません。ローダンの議論を、新しい区別の提案の手がかりにしたいと考えているだけです。）

　（ただし他の用件との関係から、しばらくカテゴリー「『問答の言語哲学』をめぐって」に移って、発信し、その後このカテゴリーに戻ってきたいと思います。）

[カテゴリー：問答の観点からの認識]

　形式論理学だけならば、現実には無関係なので、どのような体系を選択してもよいし、複数の互いに矛盾する体系を考えても、そのこと自体に問題はないでしょう。

　論理体系の選択が必要になるのは、現実の科学理論の公理系と結合するときです。互いに矛盾する論理体系をともに科学理論と結合することはできません。そこで論理体系を選択する事が必要になります。ポアンカレが、どのような幾何学を選択しても、選択した幾何学に応じて、科学理論を変更すれば、観察データに一致させることができると考えたのとどうように、どのような論理体系を選択しても、それに応じて数学と科学理論を変更すれば、観察データと一致させることができるかもしれません。

　自然の記述は、当初は未分化なままにL+M+Pを含んでおり、それからLやMやPを分けて抽象して行くことによって、長い歴史をかけて、公理的な論理学、数学、物理学を構成してきたのだといえるでしょう。物理学だけでなく、数学も論理学も、今後も変化する可能性があります。

　では、当初の素朴な自然の記述から、どのようにしてLやMが抽象されるのでしょうか？　ここから問うべきことはたくさんあるのですが、話が錯綜してきていますので、次回は、一旦これまでの話を振り返って、整理したいと思います。

[カテゴリー：問答の観点からの認識]

＃二つの数学

前回述べたように、アインシュタインとカルナップは、公理的幾何学と実用幾何学を区別しています。カルナップは、（幾何学を除く）数学については、公理的数学しか認めていないだろうとおもいます。しかし、アインシュタインは、数学についても公理的数学と実用的数学の区別を認めています。

　この二つの数学は次のように区別可能でしょう。公理的数学は、論理学の公理の集合をLとし、数学の公理の集合をMとするとき、L＋Mの公理からなる公理体系であり、それらの語彙はヒルベルトのいう無定義術語ですが、その使用法は、その公理によって与えられています。物理学の公理の集合をＰとするとき、物理学の理論は、L+M+Pの公理をからなる公理体系であり、その中での実用的数学の語彙の使用法は、L+M+Pの公理によって与えられています。

　L+Mでの数学の語彙は、実在に関わりませんが、L+M+Pでの数学的語彙は、実在に関わっています。たしかに、L+Mでの数学の定理は、L+M+Pのなかでも変化しません。その定理は増えもしないし減りもしません。しかし、Pの中にも数学的語彙が使用されているために、数学的語彙は実在に関わっているのです。L+Mで実在と関係しない数学的概念や数式が、L+M+Pでは、実在に関わり、数式は、実在について妥当するように見えます。これはどうしてでしょうか。

　数を数えるという行為は、特定の対象、例えばリンゴを数えなくても可能です。しかし、リンゴを数えるという行為は、数を数えるという行為なしには不可能です。リンゴを数えるという行為は、数を数えるという行為をいわば「内包」しているように見えます。それは、日常のものを数える行為から、数を数える行為が抽象されたためでしょう。これは、土地を測量する行為から、幾何学が抽象されたのと同様です。つまり、私たちがL＋Mを獲得したあとに、Pを加えて、L+M+Pを獲得したのではなく、（当初は未分化の）L+M+Pから抽象によって、L+Mを獲得したのだと考えることによって、L+Mの数学概念や数式が、L+M+Pで、実在に関わり妥当するのかを説明できます。

　　発生的には Q１「リンゴ５個に７個を足せばいくつになりますか？」のような問いがまず生じ、そのような個数を問う多くの問答をかさねるなかで、Q２「５＋７はいくつですか？」というような抽象化された問いが成立したのではないでしょうか。

　これと同じことが論理学にも言えるでしょう。

＃二つの論理学

二つの幾何学や二つの数学の区別と同様の区別が、論理学についても言えるでしょう。つまり、公理や推論規則を規約して、それらの意味論的規則によって真となる命題の体系、および妥当となる推論の体系を「公理的論理学」あるいは「純粋な形式論理学」とよび、他方で、現実の世界（自然や社会）で成り立っている論理的な関係の体系を「実用論理学」あるいは「実質論理学」として区別できるように思えます。

　論理体系の公理の集合をLとし、数学の公理の集合をMとし、物理学の公理の集合をPとするとき、純粋な形式論理学の語彙の意味（使用法）は、Lによって与えられており、実質論理学の論理的語彙の意味（使用法）は、L+M+Pによって与えられています。

　形式論理が現実世界で成り立つことは、幾何学や数論の場合と同様に、次のように説明できるでしょう。まずは日常生活での推論があり、その中での論理的語彙の使用があります（これブランダムが「実質推論」と読んだものに当たります）。形式論理は、現実世界（日常生活や科学）で成立しているこのような論理的な関係から抽象して作られたものであるから、現実世界で成立するのです。

　　ところで、論理体系には様々なものがあり、互いに両立しないものもあります。しかし私達は科学理論を考えるときにL+M+Pの中のLとして、ある特定の論理体系の公理の集合を選択しています。この選択がどのように行われるのかを、次に考えたいと思います。