『算術の基礎』(ドイツ語: Die Grundlagen der Arithmetik )は、ゴットロープ・フレーゲが1884年に出版した著書で、算術の哲学的基礎を探求したものである。フレーゲは、他の観念論的および唯物論的な数の理論を反駁し、独自のプラトン主義的な数の理論を展開した。 『算術の基礎』は、フレーゲの後の論理主義に関する著作の動機付けにもなった。
この本は言語哲学においても重要な位置を占めた。マイケル・ダメットは、言語論的転回をフレーゲの『基礎論』と彼の文脈原理にまで遡って考察している。
この本は出版当時、あまり好評を得られず、広く読まれることもなかった。しかし、バートランド・ラッセルとルートヴィヒ・ヴィトゲンシュタインの注目を集め、彼らは共にフレーゲの哲学に大きな影響を受けていた。英語訳はJLオースティンによって出版され(オックスフォード、1950年) 、1960年に第2版が出版された。 [ 1 ]
カントの数に関する問い、「数の概念や直観を持たない私たちに、数はどのように与えられるのか?」に答えるために、フレーゲは本書の冒頭で述べた「文脈原理」、すなわち命題の文脈においてのみ言葉は意味を持つという原理を援用し、その解決策を「数詞が現れる命題の意味」を定義することにあると見出す。こうして、従来観念論的な観点から解決されてきた存在論的・認識論的な問題が、言語学的な観点から解決されることになる。
フレーゲは、数学や数がそれを考える人々の主観的な思考に相対的であるという心理主義に基づく数学の説明に反対する。フレーゲによれば、心理学的説明は主観的なものに訴えるが、数学は純粋に客観的である。つまり、数学は人間の思考から完全に独立している。フレーゲによれば、数学的実体は、人間がそれを考えるかどうかに関わらず客観的な性質を持つ。数学的命題を、人類の歴史と進化を通じて自然に進化してきたものと考えることは不可能である。彼は、論理(そしてフレーゲによればその拡張である数学)と心理学の間に根本的な違いを見出している。論理は必然的事実を説明するのに対し、心理学は個々の心の中にある特定の思考過程を研究する。[ 2 ]考えは私的なものなので、数学に関する観念論は、単に数字の2ではなく、「私の2」と「あなたの2」が存在することを意味する。
フレーゲはイマヌエル・カントの業績を高く評価している。しかし、彼は主に、数値命題は総合的アプリオリではなく、分析的アプリオリであるという理由でカントを批判している。[ 3 ] カントは、7+5=12 は証明不可能な総合命題であると主張する。[ 4 ] 7+5 の観念をどれだけ分析しても、12 の観念はそこには見つからない。12 の観念は、直観の対象に適用することによって到達しなければならない。カントは、このことはより大きな数ほど明らかになると指摘している。フレーゲは、まさにこの点で、反対の方向へと議論を進めている。カントは、「大きな」数を含む命題では、その真偽値を主張するために点などを数えなければならないと誤って想定している。フレーゲは、次の等式 654,768+436,382=1,091,150 のどの数に対しても直観を持たなくても、それが真であると主張できると主張する。これは、そのような命題が解析的であることの証拠として提示されている。フレーゲは幾何学が確かに総合的アプリオリであることには同意しているが、算術は解析的でなければならない。[ 5 ]
フレーゲはジョン・スチュアート・ミルの経験主義を厳しく批判している。[ 6 ] [ 7 ]彼は、ミルが数とは様々な物の集合を部分集合に分割する方法に対応すると考えていることは、大きな数を含む計算に対する信頼と矛盾すると主張している。[ 8 ] [ 9 ]さらに彼は、「ありがたいことに、すべてが固定されているわけではない!」と皮肉を言っている。フレーゲはまた、ミルの哲学がゼロの概念を適切に扱っていないことも否定している。[ 10 ]
彼はさらに、加算という演算は物理量を指すものとして理解することはできないと主張し、この点におけるミルの混乱は、算術の応用と算術そのものを混同するという、より大きな問題の兆候であると述べている。
フレーゲはトランプの例を用いて、数が物体に内在するものではないことを示した。「いくつあるか」と問うことは、カードの種類やスートなどを明確にしなければ意味をなさない。これは、数が物体ではなく概念に属することを示している。
この本には、フレーゲの有名な反構造主義的なユリウス・カエサル問題が含まれている。フレーゲは、適切な数学理論があれば、ユリウス・カエサルが数ではない理由が説明できると主張している。[ 11 ] [ 12 ]
フレーゲは、1+1=2 のような特定の数値命題と、a+b=b+a のような一般的な命題を区別している。後者は前者と同様に数について真である命題である。したがって、数の概念そのものの定義を問う必要がある。フレーゲは、数が外部の事物によって決定される可能性を調査する。彼は、自然言語において数が形容詞のように機能することを示している。「この机には引き出しが 5 つある」は、「この机には緑色の引き出しがある」と形式が似ている。引き出しが緑色であることは、外部世界に基づいた客観的事実である。しかし、5 の場合はそうではない。フレーゲは、各引き出しはそれぞれ緑色であるが、すべての引き出しが 5 つであるわけではないと主張する。[ 13 ] フレーゲは、このことから数が主観的である可能性があるとは結論付けられないことを覚えておくよう促している。実際、少なくとも両方とも完全に客観的であるという点で、数は色に似ている。フレーゲは、数詞が形容詞的に現れる数詞文(例:「馬が4頭いる」)を、数詞が単数形で現れる数詞文(「馬の数は4頭である」)に変換できると述べている。[ 14 ] フレーゲは、数を対象物とみなすため、このような翻訳を推奨している。4 未満の対象物があるかどうかを問うことは意味がない。フレーゲは、数が対象物であると考える理由をいくつか述べた後、数の文は概念についての主張であると結論付けている。
フレーゲはこの観察を『基礎論』の根本的な考え方と捉えている。例えば、「納屋にいる馬の数は4頭である」という文は、4つの対象が「納屋にいる馬」という概念に含まれることを意味する。フレーゲは、基数演算(「~の数」、または「~の数」)の文脈的定義を通して、私たちが数を理解する仕組みを説明しようとしている。) 彼は、ヒュームの原理(F の数と G の数が等しいのは、F と G が同数、つまり一対一対応である場合に限る)に依拠して、数的同一性に関する判断の内容を構築しようと試みる。[ 15 ]彼は、この定義は「F の数」という形式ではない単数項が同一性記号の両側にある場合、同一性命題の真偽値を確定しないため、この定義を拒否する。フレーゲは概念の拡張という観点から数の明示的な定義を与えるが、いくらか躊躇している。
フレーゲは、数は対象であり、概念について何かを主張すると主張する。フレーゲは数を概念の拡張として定義する。「Fの数」は、「…はFと同数の概念である」という概念の拡張として定義される。問題の概念は、Fの数を持つすべての概念(Fを含む)の同値類につながる。フレーゲは、0を自己同一でないという概念の拡張として定義する。したがって、この概念の数は、その下に対象を持たないすべての概念という概念の拡張である。数1は、0と同一であるという概念の拡張である。[ 16 ]
本書は、数学の基礎と哲学という二つの主要な学問分野の発展において極めて重要な役割を果たした。バートランド・ラッセルは後にフレーゲの基本法則第5条に重大な欠陥を発見したが(この欠陥はラッセルのパラドックスとして知られ、公理的集合論によって解決される)、本書は『プリンキピア・マテマティカ』などのその後の発展に大きな影響を与えた。本書は、主に言語の分析を中心に展開し、数の概念を明確にすることを目的としているため、分析哲学の出発点とも言える。フレーゲの数学に関する見解は、数と数学全般の認識論に関する革新的な説明、すなわち論理主義を導入しているため、数学哲学の出発点とも言える。
{{cite book}}ISBN /日付の不一致(ヘルプ)