23/12/15 14:38:33.38 NkEr3tnM.net
つづき
形式主義と直観主義の間で、最終的には学界政治闘争で決着がつけられる激烈な論争があった一方で、論理主義に分類される人たちと、他の二つの主義に分類される人たちとの間には、論争らしい論争がみられなかったからである。
論理主義は、むしろ、形式主義と呼ばれるもののお膳立てをしたものと考えた方が良い。
実は論理主義とは、すでに説明しているデーデキントやラッセルによる「集合を材料として数学の再構築を目指す方向性」のことなのである。そして、この方向性の可能性は、実質的にはラッセルのパラドックスの発見により潰えたのである。
論理主義
デーデキントは、1888年の著書の前書きで、「自然数を還元する先は、もう論理 Logik しかない」という意味のことを書いている。それを、実行したのが1888年のデーデキントの自然数論なのである。
伝統的論理学入門
現代の日本の大学で、伝統的論理学を教えている所は非常に少ない。しかし、アメリカなどの大学では、今も伝統的論理学と記号論理学と合わせて教えられているケースが多い。
この伝統的論理学と、その西洋文明における位置づけの理解がないと、なぜ、デーデキントやラッセルが、数学より論理学の方が確実だと思った理由がわからなくなる。
集合論化したラッセルの「論理学」
数学を純粋論理に還元するはずだった「論理主義」のプロジェクトは、実質失敗に終わることとなった。Principia Mathematica は論理学と言いながら、その実は「変装した集合論」だったのである。つまり、数学が、その数学の新興分野である集合論に還元できただけだった。
つづく