数学の哲学
同様の事柄のうち、実際には既存の学派に直接反対しているわけではないが、既存学派が焦点にしている考え方に疑義を唱えているのが、数学における準経験論の観念である。この観念は、数学の基礎付けが存在するという証明は決してできないであろうという20世紀後半に次第に一般的になっていた確信から生まれた。これは数学におけるポストモダニズムと呼ばれることもあるが、この用語は論者によって濫用されていたり中傷の的になっていることは否めない。準経験論によれば、数学者は研究を行う際に、定理の証明だけではなく仮説の検証も行っている。数学的論証は、前提から結論に至る真理を伝えることもできるし、結論から前提に至る虚偽を伝えることもある。イムレ・ラカトシュはカール・ポパーの科学哲学に示唆を受けて、準経験論を発展させた。
イムレ・ラカトシュの数学の哲学は、一種の社会構築主義と見られることもあるが、本人はそれを意図していたわけではなかった。
こうした方法はつねにフォーク数学の一部であった。
ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーら他の形式主義者たちは、数学とは形式公理系の研究のことであると考えた。数理論理学者は形式体系を研究しているが、形式主義の立場に立つ研究者も実在論の立場に立つ研究者も同程度にいる。
形式主義の信奉者は、論理学や非標準的数系、新しい集合論などといった新たなアプローチに対して比較的寛容であり、これらのアプローチを推進している。われわれが研究するゲームが多ければ多くほどよい。もっとも、例に挙げたこの3つのアプローチの動機づけになっているのは、すべて現在の数学的ないし哲学的関心である。「ゲーム」は通常恣意的なものではないのである。
形式主義に対する主要な批判は、数学者たちの念頭にある現在の数学的概念は、前述した記号列操作ゲームとは縁もゆかりもないということである。例えば形式主義はどんな公理系を研究すべきかという問いに対しては沈黙する。形式主義的観点からはどの公理系も同等に有意味だからである。
近年では、形式主義の立場に立つ数学者たちの中には、われわれの「形式的」な数学知識のすべてをコンピュータ読み取り可能な形態で体系的にコード化することを提案した者たちもいる。これによって数学的証明の自動検証が容易に行えるようになり、数学理論とコンピュータ・ソフトウェアの発展のために双方向定理証明を用いることができるようになるというのである。 この考え方はコンピュータサイエンスと密接に結びついているので、「計算可能性」研究の流れのもとで数学的直観主義と数学的構築主義を擁護することにもなった(後述)。概略はQEDプロジェクトを参照。
数学の哲学のかわらない課題の一つは、論理学と数学の双方の基礎につながる、相互の関係に関わっている。20世紀の哲学者が本記事の冒頭に掲げたような様々な問いを立てていく中で、20世紀の数学の哲学は形式論理学、集合論、基礎付けの問題への目立った関心によって特徴付けられる。
一方で数学的真理が避けがたく必然的であるように思えるのに、他方でその「真理性」の源泉がとらえどころがないままなのは、なかなか理解しがたい謎と言える。この問題の研究は、数学の基礎付けのプログラムとして知られる。
20世紀の初め、数学の哲学者たちはすでに、これら全ての問題に関して、数学の認識論と存在論をどのように思い描くかをめぐって、多様な学派に分かれていた。3つの学派すなわち形式主義、直観主義、論理主義がこのとき現れたのは、部分的には、それまで当然のことと考えられていた確実性と厳密性の基準を当時の数学、とくに解析学が満たしていないのではないかという当時広がりつつあった懸念への応答であった。当時この問題は焦眉の課題であり、問題の解決を試みるのであれ、数学には我々の最も信頼できる知識という地位を授かる資格がないと主張するのであれ、どの学派もこの問題に取り組んだ。
20世紀の初めに形式論理学と集合論が驚くべき、そして反直感的な発展を遂げた結果、「数学の基礎」と伝統的に呼ばれてきたものに関係する新たな疑問が生じた。紀元前300年前後のユークリッドの時代以来、公理に基づく手法は、数学の自然な基点だと受け止められていたが、20世紀が進むにつれ、当初の関心の焦点が拡張され、数学の基礎的な公理に対する制限のない探求へと至るようになった。