数学の哲学
数学の哲学(すうがくのてつがく、philosophy of mathematics)は、哲学(科学哲学)の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。
数理哲学(すうりてつがく、mathematical philosophy)という用語が、しばしば「数学の哲学」と同義語として使われる。しかしながら、「数理哲学」は、別の意味を少なくとも二つ持っている。一つは、例えばスコラ学の神学者の仕事やライプニッツやスピノザの体系が目標にしていたような、美学、倫理学、論理学、形而上学、神学といった哲学的主題を、その主張するところでは、より正確かつ厳密な形へと形式化するプロジェクトを意味する。さらに、個々の数学の実践者や、考えかたの似た現場の数学者の共同体が日頃抱いているものの考え方(=哲学)を意味する。
数学の哲学で繰り返し検討されているテーマには以下のようなものがある。
数学で扱われる主題の源泉は何か。
数学的実体の存在論的地位は何か。
数学的対象を指示するとはどういうことか。
数学的命題の特徴は何か。
論理学と数学はどんな関係にあるか。
数学において解釈学はどんな役割を果たすか。
数学ではどんな研究が有用か。
数学的研究の目的は何か。
どうすれば数学は現実世界と関わるか。
数学の背後にはどんな人間的特性があるか。
数学における美とは何か。
数学的真理の源泉は何か、数学的真理とは何か。
数学という抽象的な世界は、物質世界とどんな関係をもつか。
歴史上、多くの思想家が、数学とは何かに関して彼らの考えを明らかにしてきた。今日でも数学の哲学者たちの中には、この種の問いとその成果をあるがまま説明しようとする人々もいるが、他方で、単純な解説に飽きたらず、批判的分析へと進む役割をもって任じる人々もいる。
西洋哲学と東洋哲学の両方に、数学的哲学の伝統がある。西洋の数学の哲学は、ピタゴラス教団の教祖ピタゴラスを源流として、数学的対象の存在論的地位を研究したプラトンと、論理学や無限(実無限と可能無限)に関する諸問題を研究したアリストテレスにまで遡る。数学に関するギリシア哲学は、彼らの幾何学の研究の強い影響の下にあった。かつてギリシア人は、1は数ではなく、むしろ任意の長さの単位であるという意見を持っていた。数は、多であると定義された。それゆえ、例えば、3は、単位長の多を表しており、本当の意味の数では決してなかった。また同様の理由で、2は数ではなく、1対(つい)という基本概念であるとする議論が行われた。この理解は、「直線・辺・コンパス」という、たぶんに幾何学的なギリシアの視点に由来している。その視点とは、幾何学的問題において描かれたいくつかの線が最初に描いた任意の長さの線との比で測定されるのと同様に、数からなる線上に置かれたそれぞれの数は、任意の初めの「数」つまり1との比で測定される、というものである。これらの初期のギリシアの数の概念は、後になって、2の平方根が無理数であるという発見によって、打ち倒された。ピタゴラスの門人であるヒッパソスは、単位正方形の対角線は、その辺と通約不能であることを示した。換言すると、彼は、単位正方形の対角線とその辺の比を正確にあらわす(有理)数が存在しないことを証明した。これが原因となり、ギリシアの数学の哲学は再検討されることとなった。伝承によれば、この発見によって傷つけられたピタゴラス教団の教徒達は、ヒッパソスが彼の異端な考えを広めるのを防ぐために、彼を殺害した。
ライプニッツとともに、焦点は数学と論理学の関係へと、強力に移動した。この見方はフレーゲとラッセルの時代を通して数学の哲学を支配したが、19世紀終期と20世紀初頭における発展によって疑問を付されるようになった。
数学の哲学のかわらない課題の一つは、論理学と数学の双方の基礎につながる、相互の関係に関わっている。20世紀の哲学者が本記事の冒頭に掲げたような様々な問いを立てていく中で、20世紀の数学の哲学は形式論理学、集合論、基礎付けの問題への目立った関心によって特徴付けられる。
一方で数学的真理が避けがたく必然的であるように思えるのに、他方でその「真理性」の源泉がとらえどころがないままなのは、なかなか理解しがたい謎と言える。この問題の研究は、数学の基礎付けのプログラムとして知られる。
20世紀の初め、数学の哲学者たちはすでに、これら全ての問題に関して、数学の認識論と存在論をどのように思い描くかをめぐって、多様な学派に分かれていた。3つの学派すなわち形式主義、直観主義、論理主義がこのとき現れたのは、部分的には、それまで当然のことと考えられていた確実性と厳密性の基準を当時の数学、とくに解析学が満たしていないのではないかという当時広がりつつあった懸念への応答であった。当時この問題は焦眉の課題であり、問題の解決を試みるのであれ、数学には我々の最も信頼できる知識という地位を授かる資格がないと主張するのであれ、どの学派もこの問題に取り組んだ。
20世紀の初めに形式論理学と集合論が驚くべき、そして反直感的な発展を遂げた結果、「数学の基礎」と伝統的に呼ばれてきたものに関係する新たな疑問が生じた。紀元前300年前後のユークリッドの時代以来、公理に基づく手法は、数学の自然な基点だと受け止められていたが、20世紀が進むにつれ、当初の関心の焦点が拡張され、数学の基礎的な公理に対する制限のない探求へと至るようになった。公理、命題、そして証明といった観念、そしてまた数学的対象の命題の真理についての観念が、形式化され、数学的に扱うことが許されるようになった。ツェルメロ=フレンケルの公理系は、多くの数学的議論を解釈する概念的枠組みを提供するものとして集合論を定式化した。物理学におけるのと同様に数学においても、新しい、予期しないアイデアが登場し、特筆すべき変化が訪れた。ゲーデル数によって、数学理論の無矛盾性の研究が可能となった。検討されている数学的理論が「それ自体、数学的研究の対象となる」という反省的批判を、ヒルベルトは「超数学」(メタ数学)(metamathematics)又は「証明論」(proof theory)と呼んだ。
20世紀の中ごろ、圏論として知られる新たな数学理論が、自然言語による数学的思考に対する新たな競争者として登場した(Mac Lane 1998)。しかしながら、20世紀が進むにつれ、まさに当初提起された基礎付けに関する疑問自体が如何によく基礎付けられるのか、というところへ哲学的関心は広がっていった。ヒラリー・パトナムは、20世紀後半の35年間の状況についての一つの共通見解を、次のように要約した。
哲学が科学における誤りを発見したときは、しばしば、科学は変わらざるを得ない。例えばラッセルのパラドックスがあるし、バークリーの現実的無限小への批判も思い浮かぶ。しかし、それよりも変らなければならないのは哲学であることのほうが多い。私には、哲学が今日の古典的数学に見出している困難が、真の困難とは思えない。そして、私は、我々が四方八方から提案されている数学についての数々の哲学的解釈は誤っており、「哲学的解釈」はまさに数学が必要としていないものだ、と考えている。
今日、数学の哲学は、数学の哲学研究者、論理学者、数学者によっていくつもの異なる研究の方向に進んでおり、この主題に関する多くの学派が存在する。次の節で、これらの学派を個別に取り上げ、彼らの仮説を説明する。
実在論が一般にそうであるように、数学的実在論もまた、数学的実体が人間の心とは離れたところに実在していると考えている。それゆえ、人間が数学を発明したのではなく、数学を発見したのだ、ということになる。宇宙に別に知的生命がいるとすれば、それがどんな存在であっても同じように数学を発見するであろう。この観点から言えば、発見されうる数学はたった一種類だけである。例えば、三角形は真の実体であり、人間の心が生みだしたものではない。
現場の多くの数学者は数学的実在論者であった。彼らは、彼ら自身を自然に発生する対象の発見者だとみなしている。数学的実在論者の例には、ポール・エルデシュやクルト・ゲーデルも含まれる。ゲーデルは、ある意味で感覚的知覚と同様に知覚されうる客観的な数学的実在を信じていた。彼らによれば、無媒介に真であると考えられる確実な原理(例えば、任意の二つの対象について、正確にその二つの対象によって構成される対象のコレクションが存在する)というものがいくつかある。しかし、連続体仮説のように、そのような原理だけをもとにしては決定的に証明することができない仮説もある。ゲーデルによれば、このような仮説を合理的に仮定するのに十分な証拠を提供するために、準経験的な方法論を用いることができる。
どんな存在が数学的実体であるのか、また、どうすれば我々はそれらを知るのかをめぐって、実在論の内部にいくつもの異なる立場がある。
実在論の一形態としてのプラトニズムは、数学的実体が抽象的であり、空間的時間的ないし因果的な性質をもたず、永遠不変のものであると考えている。数というものについて、多くの人々がこのような見解を抱いているとしばしば主張される。プラトニズムという用語が使われる理由は、このような観点が、不変かつ究極的な実在に対して日常的世界がその不完全な近似であるに過ぎないとする、プラトンの(「プラトンの洞窟」のたとえで表される)「イデア界」の教説とパラレルであるように見えることに由来する。「プラトンの洞窟」とか「プラトニズム」という言い方には表面的というにとどまらない深い意味がある。なぜなら、古代ギリシアではピタゴラス教団が広範な人気を誇っていたが、この学派によれば世界は文字通り数から生まれたのであり、そしてこの学派は時間的にプラトンの思想に先行しており、おそらくプラトンの考えはこれに影響を受けているからである。
数学的プラトニズムの主要な問題は、次のようなものである。数学的実体は、正確にどこに、またどのように存在するのか? また、我々はそれをどのように知りうるのか? 我々の物理的世界と完全に分離され、数学的実体によって占有された世界があるのか? どうすれば我々はその分離された世界に接近でき、数学的実体についての真理を発見できるのか? 一つの答えは数学的宇宙仮説(究極集合)の理論であろう。この理論に従えば、数学的に存在するすべての構造は、それ固有の世界において物理的にも存在するものとされる。
ゲーデルのプラトニズムは、我々を数学的対象の直接的な知覚へと導く、特別な種類の数学的直観を前提にしている。この考えかたは、フッサールが数学について語った多くのことと類似しており、数学的知識は総合的かつアプリオリであるとするカントの考えを支持している。フィリップ・J・デイヴィスとルーベン・ハーシュは共著『数学的経験』The Mathematical Experienceにおいて、多くの数学者は日頃はまるでプラトニストであるかのように振舞っているのに、慎重にその立場を表明せざるをえないときには形式主義(後述)に後退することがある、と指摘した。
数学者の中には、さらに微妙に異なるバージョンのプラトニズムに帰着する見解を抱く者もいる。こういう考え方は、ネオ・プラトニズムと呼ばれることもある。
論理主義は、数学は論理学に還元可能で、ゆえに数学は論理学の一部以外の何者でもないというテーゼである(Carnap 1931/1883, 41)。論理主義者の考えでは、数学はアプリオリに知ることができるが、我々の数学の知識は我々が論理学全般についてもっている知識の一部分にすぎない。そのためわれわれの数学知識にとって、いかなる数学的直観の特別な能力も不要で、命題の分析をすればよい。論理主義に従えば、論理学が数学の固有の基礎であり、全ての数学的言明は必然的な論理的真理である。
ルドルフ・カルナップ(1931年)は、論理主義の論点を2点提示している。
数学の概念は、論理学的概念から明示的な定義をとおして導きうる。
数学の定理は、論理学的公理から純粋に論理学的な演繹によって導きうる。
ゴットロープ・フレーゲが論理主義の創始者であった。独創的な論文『算術の基本法則』Die Grundgesetze der Arithmetik の中で、彼は内包性の一般原理を用いて、一つの論理学体系から数学を作りあげている。この内包性の一般原理を彼は「基本ルールV」と呼んでいる(概念 F と G において、全ての対象 a について Ga のときかつそのときに限り Fa であるならば、そのときに限って、F の外延と G の外延は等しい)。彼はこの原理を論理学の一部として受け入れることができると考えた。
しかし、フレーゲの構成には欠陥があった。ラッセルが「基本ルールV」に矛盾があることを発見したのである。これがラッセルのパラドックスである。この後すぐフレーゲは彼の論理主義のプログラムを捨てたが、ラッセルとホワイトヘッドが後継者となった。彼らは、このパラドックスを「悪循環」に由来するものとし、これを扱うために「分岐タイプ理論」(ramified type theory)なるものを作り上げた。この理論を用いれば最終的に近代数学の多くの部分を作り上げることができるが、しかしその数学は部分的に変更されており、また非常に複雑な形式となる(例えば、それぞれのタイプに異なる自然数があり、無限に多くのタイプが存在する)。彼らはまた、数学の大部分を構築するために、「還元公理」(axiom of reducibility)をはじめとするいくつかの妥協をしなくてはならなかった。ラッセルでさえ、この公理は実際には論理学に属するものではない、と述べたほどであった。
現代の論理主義者は(ボブ・ヘイル(Bob Hale)やクリスピン・ライト(Crispin Wright)、おそらくは他の人々も)、フレーゲのものに近いプログラムに回帰している。彼らは基本法則Vを捨ててしまって、ヒュームの原理(概念 F に帰属する対象の数は、概念 G に帰属する対象の数と、F の外延と G の外延が一対一対応させられるとき、かつそのときに限り、等しい。)のような抽象原理を支持している。フレーゲは数の明示的な定義のために基本法則Vを必要としたが、数の全ての性質はヒュームの原理から導き出せる。これはフレーゲにとって不満の残る原理であっただろう。(彼の言葉を換言すれば)実際のところ、数3がジュリアス・シーザーと同一である可能性を排除しないからである。加えて、彼らが基本法則Vを置き換えるために採用せざるをえなかった弱められた原理の多くは、もほやそれほど明白に命題分析的ではなく、したがって純粋に論理学的でもないように思える。
もし数学が論理学の一部分であるならば、数学的対象に関する疑問は、論理学的対象への疑問へと還元される。しかしそれでは、論理的概念の対象とは何なのか? この視点からは、論理主義は、完全な回答を与えることなく、数学の哲学に関する疑問を論理学に関する疑問に移動させたようにみえるかもしれない。
経験主義は実在論の一種であるが、数学がアプリオリに知られうるということを全く否定するものである。経験主義は、ちょうどすべての他の科学の事実がそうであるように、我々は経験的な探求によって数学的事実を発見する、とする。経験主義は、20世紀初頭に唱導された古典的な3つの立場とは別に、同世紀中葉に最初に成立した。ただし同様の見解は先駆的にはジョン・スチュワート・ミルが提起していた。ミルの見解は広く批判された。なぜなら、その見解に従えば、「2 + 2 = 4」のような言明でも不確実で偶然的な真理にすぎず、2個の事物が2組合わさると4つとなることを観察することによってしか学ぶことができないものとされてしまうからである。
クワインとパトナムによって定式化された現代の数学的経験主義の主な論拠は、不可欠性論法(indispensability argument)である。これは、数学は全ての経験科学にとって不可欠であり、もし我々がその科学によって記述される現象の実在性を信じたいのであれば、我々はその記述のために必要とされるそれらの事物の実在性もまた信じなくてはならない。つまり、電球があのように振舞うのは何故なのか述べるために物理学は電子に言及しなければならないのだから、電子は実在しているはずである。科学がその説明を提供するのに数について語る必要があるのだから、数は実在しているはずである。クワインとパトナムの哲学全体からは、これは自然主義的な議論である。この立場は数学的対象の存在を経験の最善の説明として論じ、そのようにして、数学からそれを他の科学から区別しているものを剥ぎ取る。
パトナムは「プラトニスト」という言葉を、いかなる本当のいみでの数学的実践にも必要とされない特定の存在論を示唆する言葉として、強く拒否した。彼は一種の「純粋な実在論」(pure realism)を擁護した。それは、真理についての神秘的な考え方を拒否し、数学における準経験主義を大いに受け入れるものであった。彼は、「純粋な実在論」という言葉を生み出すことにかかわった(後述)。
数学についての経験主義的な見解へのもっとも重要な批判は、ミルに対して提起されたものとおおよそ同じである。もし数学が他の科学と同じだけ経験的ならば、そのことは数学の結果も他の科学の結果と同じだけ誤りやすく、同じだけ偶然的であることを意味している。ミルの場合は経験的正当化は無媒介的になされたが、クワインの場合は間接的で、科学理論全体の整合性(エドワード・オズボーン・ウィルソンのいうところのコンシリエンス)を通してなされる。クワインが指摘するところでは、数学が完全に確実なようにみえるのは、数学が演じている役割が我々の信念の網の非常に中央にあるからであり、それを修正することは我々にとって不可能ではないまでもとてつもなく困難だからである。
クワインとゲーデルのアプローチの欠点をそれぞれの面から克服しようと試みる数学の哲学については、ペネロプ・マディー (Penelope Maddy) の著書『数学における実在論』Realism in Mathematicsを参照せよ。
形式主義とは、数学的言明はいくつかの記号列の操作ルールの帰結についての言明とみなしてよいと考えるものである。例えば、ユークリッド幾何学という「ゲーム」(つまり、「公理」という名のいくつかの記号列と、与えられた記号列から新しい記号列を生成する「推理規則」からなるものとみなすということ)において、ピタゴラスの定理が成立する(すなわち、ピタゴラスの定理に対応する記号列を生成できる)ということは証明可能である。形式主義によるなら、数学的真理とは、数とか集合とか三角形といったものについての真理ではない。実のところ、なにものかに「ついての」真理などでは全くない。
別の種類の形式主義はしばしば演繹主義(deductivism)という名前で知られている。演繹主義によれば、ピタゴラスの定理は絶対的な真理ではなく、相対的な真理である。「もし」ゲームの規則が真になるような仕方で文字列に意味が与えられるなら、「そのとき」定理を真と認めなくてはいけない。あるいはむしろ、それに与えられた解釈が真なる言明であるとしなければならない。他のすべての数学的言明についても同じことが真とされる。それゆえ、形式主義では、数学は意味のない記号ゲームにすぎないと考える必要はない。ゲームの規則が妥当するなんらかの解釈が存在するということが通常期待されているからである(この立場を構造主義と比較せよ)。しかし、形式主義によって現場の数学者たちは仕事を続けることができるし、いくつかの問題を哲学者や自然科学者に委ねることができる。多くの形式主義者は、どんな公理系を研究すべきかは、実際上、自然科学や他の数学領域の要求によって示唆されると言うであろう。
形式主義を唱えた初期の最も有名な人物はダフィット・ヒルベルトであった。ヒルベルトのプログラムとは、数学全体を完全かつ無矛盾な仕方で公理化しようとするものであった。ここで無矛盾とは、体系上いかなる矛盾も生じないということである。ヒルベルトは、「有限算術」(通常の算術の下位体系で、自然数について哲学的に議論しようもないよう選ばれたもの)は無矛盾であるという仮定条件のもとで、数学の体系的無矛盾性を示そうとしたのである。しかし、完全かつ無矛盾な数学体系を作りだそうというヒルベルトの目標は、ゲーデルの第2不完全性定理によって完全に潰えた。不完全性定理によれば、十分な表現力を持つ無矛盾な公理体系は自身の無矛盾性を決して証明できないからである。このような公理体系はかならず有限算術を下位体系として含むことになるから、ゲーデルの定理は、有限算術に関する体系の無矛盾性が証明不可能であることも含意している(自己の無矛盾性を証明することになるが、ゲーデルによってそれが不可能であることが証明されている)。それゆえ、無矛盾であると証明しようとしている体系よりもある意味で強力な無矛盾性を数学体系が備えているのだということをまず前提しておかなければ、数学のどんな公理体系も実際に無矛盾であることを示すことはできないことになる。
初期のヒルベルトは演繹主義者であったが、上記のように、メタ数学的方法が本質的に有意味な結果を生み出すと考え、有限算術に関して実在論の立場に立っていた。後年には、どんな解釈を取ろうとも有意味な数学は他に一切ありえないという見解をもつようになった。
ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーら他の形式主義者たちは、数学とは形式公理系の研究のことであると考えた。数理論理学者は形式体系を研究しているが、形式主義の立場に立つ研究者も実在論の立場に立つ研究者も同程度にいる。
形式主義の信奉者は、論理学や非標準的数系、新しい集合論などといった新たなアプローチに対して比較的寛容であり、これらのアプローチを推進している。われわれが研究するゲームが多ければ多くほどよい。もっとも、例に挙げたこの3つのアプローチの動機づけになっているのは、すべて現在の数学的ないし哲学的関心である。「ゲーム」は通常恣意的なものではないのである。
形式主義に対する主要な批判は、数学者たちの念頭にある現在の数学的概念は、前述した記号列操作ゲームとは縁もゆかりもないということである。例えば形式主義はどんな公理系を研究すべきかという問いに対しては沈黙する。形式主義的観点からはどの公理系も同等に有意味だからである。
近年では、形式主義の立場に立つ数学者たちの中には、われわれの「形式的」な数学知識のすべてをコンピュータ読み取り可能な形態で体系的にコード化することを提案した者たちもいる。これによって数学的証明の自動検証が容易に行えるようになり、数学理論とコンピュータ・ソフトウェアの発展のために双方向定理証明を用いることができるようになるというのである。 この考え方はコンピュータサイエンスと密接に結びついているので、「計算可能性」研究の流れのもとで数学的直観主義と数学的構築主義を擁護することにもなった(後述)。概略はQEDプロジェクトを参照。
数学における直観主義とは、「非経験的な数学的真理はありえない」(L・E・J・ブラウワー)をモットーとする方法論的改革のプログラムである。直観主義の信奉者はこのモットーを出発点に、彼らが矯正可能であると考えた数学の一部分について、存在、生成、直観、知識といったカント的概念に従って再構築しようとした。運動の創始者であるブラウワーは、数学的対象は「アプリオリ」な形式の意思作用から生じるのであり、この意思作用が経験的対象の知覚を活気づけるのだとした(CDP, 542)。
レオポルト・クロネッカーは「自然数は神に由来し、他のすべては人間の産物である」と述べている。直観主義擁護派の主要人物は、いかなる種類の形式化された論理学も数学にとって有益でないとしたブラウワーであった。彼の学生であったアレン・ハイティングは直観論理を定式化した。これは、古典的なアリストテレス論理学とは異なるものである。直観論理は排中律を含まず、従って背理法を認めない。また直観主義的集合論の多くにおいては、若干の例外を除いて選択公理も斥けられている。直観主義に基づいて後年行われた重要な研究としてはエレット・ビショップによるものがある。ビショップは実解析の主要公理を直観主義的観点から定義し直し、その証明を行おうとした。
直観主義の「明白な構成」という用語の定義は曖昧であり、批判を浴びた。この欠陥を補うため チューリングマシーンや計算可能関数といった概念を用いることが試みられ、有限なアルゴリズムのふるまいに関する問題だけが有意味であり、数学的研究の対象であるべきであるといった主張がなされた。アラン・チューリングによって提案された計算可能数の研究も行われた。従って、直観主義のアプローチがしばしばコンピュータサイエンスの理論と結びついているのも不思議なことではない。
直観主義と同様、構成主義もまた、一定の意味で明白に構成することのできる数学的なものだけが数学的言説において認められるべきであるという規制原理を主張する。この考え方によれば、数学とは人間の直観の営みであって、有意味な記号を用いたゲームなどではない。そうではなく、数学とは、われわれが心的活動を通じて直接作り出せるものに関係している。また、構成主義の支持者たちの中には、非構成的証明(背理法など)を拒否する者もいる。
数学におけるフィクショナリズム(Fictionalism)は、1980年にハートリー・フィールドが『数を用いない科学』Science Without Numbersを出版し、その中でクワインの不可欠性論法を退け、実際に覆したときに有名となった。クワインは、数学は私たちのもっとも優れた科学的な諸理論のために不可欠であり、したがって独立に存在する事物について言及する真理の主要部として受け入れなくてはならないとしたが、フィールドは不可欠ではなく、したがって実在的な何者にも言及することのない虚偽であると指摘した。彼はこれを、まったく数と関数を用いることのないニュートン力学の完全な公理系を提供することによって行った。ヒルベルトの公理系(Hilbert's axioms)の「間にある」(betweenness)という概念を使って座標を付けることなく空間を特徴づけることをはじめ、それまではベクトル場によって行われていたことをするために点の間のさらなる関係を加える。ヒルベルトの幾何学は、それが抽象的な点について述べるため、数学的である。しかし、フィールドの理論においては、これらの点は物理的空間における具体的な点であって、そのため特別な数学的対象はまったく必要ない。
どのように数学を使うことなく科学を行うかを明らかにして、彼は、数学を役に立つフィクションという地位に復権させた。彼の示したところによれば、数学的物理学は、彼の非数学的物理学の保守的な拡大(conservative extension)の一つであり(つまり、数学的物理学で証明可能なすべての物理的事実は、彼の非数学的物理学体系ですでに証明可能であり)、数学はその物理的現象への応用がすべて真であるような信頼できるプロセスではあるが、それ自体の言明は偽なのである。したがって、私たちが数学を行うとき、万が一、数が存在するならばと、私たちは自分たちがある種の物語を語っているにすぎない。フィールドにとって、ちょうど「シャーロック・ホームズはベーカー街221Bに住んでいる」という言明が偽なのと同じように、「2 + 2 = 4」といった言明は偽なのである —もっとも、これらの両方の言明とも、適切なフィクションにもとづけば真ではあるが。