ブール充足可能性問題のためのデイビス・パトナム・アルゴリズムの開発は、論理学と計算機科学の橋渡しをする、コンピュータサイエンスへの極めて重要な貢献となった。このアメリカの学者は、キャリアを通じて自身の知的進化を精査し、厳密な分析によってそれまでの形而上学的あるいは認識論的な立場に構造的な欠陥があることが明らかになった場合には、確立された理論であっても常に放棄してきた。
学問的背景と初期の研究
1926年にシカゴで生まれたパトナムは、教育を受ける過程でいくつかの機関を渡り歩いた。セントラル高校を経て、ペンシルベニア大学、ハーバード大学、カリフォルニア大学ロサンゼルス校（UCLA）で学び、1951年に博士号を取得した。キャリアの初期には数学への重要な貢献があり、特にヒルベルトの第10問題の非決定性の証明において支援を行った。
心の哲学と言語哲学への貢献
心身問題の領域において、パトナムは多重実現可能性という概念を提唱し、タイプ同一説に異議を唱えた。彼は心の計算理論の創始者の一人であり、機能主義を発展させた人物として評価されている。言語哲学における彼の業績は、意味論的外在論の定式化につながり、参照の因果理論を探求した「双子地球」の思考実験によって有名である。
形而上学的実在論の変遷
パトナムはキャリアの初期には形而上学的実在論の擁護者であったが、後にその立場を広く批判した。一時的に内部実在論として知られる立場を採用したが、その後距離を置いている。こうした変遷にもかかわらず、彼は生涯を通じて科学的実在論へのコミットメントを維持し、成熟した科学理論は客観的世界のほぼ正確な記述を提供するものであると主張した。
政治的関与と後年の関心
1960年代後半から1970年代前半にかけて、パトナムは政治活動に従事し、特に進歩労働党 (Progressive Labor Party) の一員として知られた。後に彼はこの所属を過ちであったと述べている。晩年はアメリカのプラグマティズム、倫理学、ユダヤ哲学に焦点を当てた。ノースウェスタン大学、プリンストン大学、マサチューセッツ工科大学 (MIT)、ハーバード大学で教鞭をとり、最終的にはこの分野で高く評価される人物として引退した。
略歴
- 生年: 1926年、シカゴ - 没年: 2016年、アーリントン - 代表的な著作: 『理性・真理・歴史』(Reason, Truth and History) - 教育: ハーバード大学、ペンシルベニア大学 - 受賞: ロルフ・ショック賞 論理学・哲学部門 (2011年) - 受賞: ラウエナー賞 (2012年) - 宗教: ユダヤ教 - 専門分野: 心の哲学、言語哲学、数学の哲学
読者からの質問
### なぜヒラリー・パトナムは複数の哲学的な立場と関連付けられるのですか？
彼は頻繁に自身の理論を厳密な分析にさらし、欠陥を見つけた場合にはそれを放棄していたため、事実上、自身が自身の最大の哲学的な敵対者として振る舞っていたからである。
### デイビス・パトナム・アルゴリズムとは何ですか？
これはブール充足可能性問題を解くために開発された数学的手法であり、彼のコンピュータサイエンスへの貢献を表すものである。
