論理主義 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』

これはこのページの過去の版です。Textural (会話 | 投稿記録) による 2020年12月8日 (火) 12:39個人設定で未設定ならUTC)時点の版であり、現在の版とは大きく異なる場合があります。

ナビゲーションに移動 検索に移動

数学についての論理主義(ろんりしゅぎ、: Logicism: Logicism: Logizismus)は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学への還元することができるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。

なお、哲学では、強力な還元主義が主要な立場になることは稀である。

概要

ゴットロープ・フレーゲの先駆的な論理主義の仕事を受けて、特にバートランド・ラッセルアルフレッド・ノース・ホワイトヘッドによって唱えられた。彼らはその主張を3巻に及ぶ大部の書物『プリンキピア・マテマティカ』(Principia Mathematica, 1910年 - 1913年)のうちである程度実現してみせた。

フレーゲの『算術の基本法則』第2巻が刊行直前に控えていた1903年に、ラッセルから後にラッセルのパラドックスと呼ばれるパラドックスの指摘が来たため、フレーゲはパラドックス解消を目指すが、最終的には数学的な方法の徹底を放棄した。ラッセルはフレーゲとは独立に、型の理論(タイプ理論)と呼ばれる方法で、彼自身が発見したパラドックスを避けることに成功したが、その無矛盾性および完全性が証明されていなかった。

彼らの仕事を受けてヒルベルト形式主義ブラウワー直観主義でパラドックス解消と数学の基礎付けを目指すが、1931年ゲーデルによる不完全性定理の証明によりその不可能性が指摘された。

関連項目