アリストテレス的実在論は、数学の哲学における特有の立場で、数学が物理的世界やそれに類似した他の世界に内在する特性、すなわち
対称性、連続性、順序といった性質を研究することを主張します。この立場は、数学の対象が「抽象的な」世界に存在すると考える
プラトニズムと対極の位置にあります。
アリストテレス的実在論者は、数学を単なる名称や計算手法にとどまらず、現実世界の具体的な側面に関わるものと捉えています。
数学とその応用
アリストテレス的実在論では、
純粋数学よりも
応用数学、特に数理モデリングが重要視されます。たとえば、マーク・ランゲは、数学的事実が物理的世界の特性を説明するための鍵であると述べています。また、ポール・サガードはこの理論が、現代数学の哲学として最も適切であると評価しています。
歴史的背景
数学の哲学において
アリストテレスは詳細な著作を残していませんが、彼の言及は、数学が抽象的なものだけでなく、空間や計数に適用できるものであるという理解を示しています。これにより、18世紀までの一般的な数学観は
アリストテレス的なものでした。しかし、2
0世紀にはこのアプローチがあまり取り上げられず、ペネロピ・マディの著作『Realism in Mathematics』や、2
000年以降の著者たちによって再興されました。
数と集合の理解
アリストテレス的には、数はその集まりとそれを測る基準の関係で成り立っているとされます。例えば、4という数は、特定の集まり(オウムの集まり)と、その集まりを「オウムであること」という基準で測る関係を示しています。また、
アリストテレスの視点では、
比は数と直接結びつくものではありません。
比は高い
量同士の関係性にあたり、数だけでなく集合もまた物理的現実において捉えられる存在であると考えられています。
構造的性質の重要性
アリストテレス主義者は、
対称性や連続性、順序といった構造的な特性も数と同等に重要であると認識しています。これらの特性は、物理的現実に適用できるもので、たとえば
群論は
対称性を分類し、
微分積分学は連続的な変化を扱います。このようなテーマは物理的現実に密接に結びついており、それらについての証明可能な結果が現実世界に役立つ場合もあります。
認識論的側面
アリストテレス主義者は、数学的性質が物理的世界において実現されることで、直接的に知覚できると考えています。たとえば、人は顔の
対称性を自然に認識できます。彼らはまた、数学的思考の中での抽象化と
理想化の役割を認めており、
アリストテレスの『自然学』の記述にも通じるものがあります。理想的には、数学的命題の証明は読者がその真実性を理解できるように構築されるべきとされます。
批判と反論
アリストテレス的実在論は、その立場に批判を受けることもあります。たとえば、数学が物理的世界そのものではなく
理想化を扱っているという意見がありますが、
アリストテレス主義者は
応用数学が現実の
近似を研究するものであると反論しています。また、より高次の無限の存在に関しては、具体的な実例がないために批判されることがありますが、彼らは非実例化の普遍を扱う能力を強調します。
総括
アリストテレス的実在論は、数学が物理世界の現象をどのように捉え、理解するかに関する重要な視点を提供しています。現実世界の定義や構造に根ざしたこのアプローチは、純粋な抽象概念を超えた数学の理解を促進させます。このように、数学の哲学における
アリストテレス的実在論は、数学の本質を探る重要な枠組みを与えているのです。