数学の哲学：性質、主要な立場と意義

主要な立場

• プラトニズム（数学的実在論）：数学は、客観的で非物理的な実体と、それらに関する事実を発見するものだとする。
• 形式主義：数学は規則に従った記号の操作であり、意味よりも形式体系を重視する。
• 直観主義／構成主義：数学的対象は精神的構成物であり、存在を認めるには具体例を構成する方法が必要であるとする。
• 論理主義：数学は論理へ還元でき、論理的概念がその基礎を与えるとする。
• 構造主義：数学は個別の対象ではなく構造と関係を研究し、対象の同一性は構造内での位置によって与えられるとする。
• 唯名論：抽象的な数学的対象への存在論的関与を否定し、数学を具体的な代理物についての言明、または統語的な装置として扱う。

歴史と展開

その源流は数と形態をめぐる古代の哲学的関心にさかのぼるが、近代的な論争は、厳密解析学、集合論、非ユークリッド幾何学の発展に伴い、19世紀後半から20世紀初頭にかけて活発化した。主要人物には、論理主義の計画を掲げたフレーゲとラッセル、形式主義と公理的方法を提唱したヒルベルト、直観主義のブラウワーがいる。さらにゲーデルの不完全性定理は、形式体系と証明可能性についての考え方を大きく変えた。

問い、用途、重要な区別

数学の哲学者は、無限集合は存在するか、非構成的な存在証明にはどのような地位があるか、なぜ数学は物理世界の記述にこれほど有効なのか、といった具体的な問いに取り組む。その答えは数学の基礎、証明の実践、理論計算機科学や数学教育などの関連分野に影響する。重要な区別として、形而上学的実在論と反実在論、構成的方法と非構成的方法がある。

学術的な論争にとどまらず、この分野は、数学者が新たな公理をどのように正当化するか、論理学者が推論をどのように形式化するか、教育者が数学的確実性をどのように示すかにも関わる。中心的な論題や議論については、この分野およびその下位分野に分類された入門的資料を参照できる。