ヒラリー・パトナム
こうした機能主義理論の最初の定式化はパトナム自身によって行われた。この理論は現在では「機械状態機能主義」(英: machine-state functionalism)と呼ばれているが、パトナムなどによって注目された、心とはどんなアルゴリズムでも計算することのできる理想的チューリングマシンのようなものだ、と考える類推的思考を発想の源にしている。
大ざっぱに言えば、チューリングマシンとはたくさんの区画(記憶装置)に分かれた無限に長いテープのようなものである。そしてこのテープの横には箱型の読み取り装置が備えられており、この読み取り装置によって記憶装置のそれぞれの区画が順番に読み取られる。各区画は空白(B)であるか1と書き込まれている。これらが機械に入力されるとき、以下の五種類の出力がありうる。
休止 - 何もしない。
R - 区画一つ分、右に動く。
L - 区画一つ分、左に動く。
B - 区画上の書かれているものをすべて消去する。
1 - 区画上に書かれているものをすべて消去し、1を書き込む。
チューリングマシンの簡単な例として、3つの空白の区画を読み取った後に'111'という列を書き出し、停止するという例を考えてみよう。この例は以下の状態遷移表によって表される。
この表は次のことを述べている。
もし、機械が状態1であって、かつ空白(B)の区画を読み取ったならば、機械は1を記入し、かつ状態1を維持する。もし、機械が状態1にあって、かつ1を読み取ったならば、機械は区画一つ分右に移動し、かつまた状態2に移行する。
コンピュータの場合、一方の機械における状態間のシーケンスのつながりが他方の機械における状態間のシーケンスのつながりを正確に反映しているとき、またそのときのみ、二つのマシンは機能的に同型である。それゆえに、シリコン・チップでつくられたコンピュータと歯車でつくられたコンピュータは、機能的に同型でありうるが、構成上は異なる。機能的同型性は、多重実現可能性を含意している。この議論は、時々「アプリオリ論法」(英: a priori argument)として参照される。
ジェリー・フォーダー、パトナム及び他の人々の指摘によれば、多重実現可能性は、タイプ同一説への強力な反論であるばかりか、心的現象のような高次の現象についてどのような低次の説明(たとえばニューロンやシナプスの活動というミクロ・レベルの説明など)を行っても、抽象性や一般性の点で満足のいく説明にならないことを示している。機能主義は、心的性質を、原因—結果の用語でのみ特徴付けられる機能的性質とみなすものであり、ミクロ物理現象のレベルから〔心的性質を高次のレベルに〕抽象化したものであり、それゆえに心と身体の間の関係についての説明として、より優れたものであるように思われる。事実、ネズミ捕り器、ソフトウェア及び本棚のような多くの機能的性質は、物理レベルにおいては多重に実現されている。
1980年代末パトナムは、彼の言う現代分析哲学を特徴づける「科学主義」と反歴史性にしだいに幻滅を感じるようになった。彼は内在的実在論を捨てた。これは内在的実在論が心と世界のあいだの関係について「認知的インターフェース」モデルを想定していたからである。これ以降、ジェームズやプラグマティストからの影響が強くなり、心と世界の関係については「直接的実在論」を採用するようになった。パトナムはウィトゲンシュタインからの影響のもとに哲学そのものについても多元主義的見解を取るようになり、多くの哲学的問題は、哲学者が日常言語を元来のコンテクストから切り離して用いたために作りだされた概念的ないし言語的な混乱にすぎないとみなすようになった。
パトナムの最近著では、哲学がみずからに課した殻を打ち破り、普通の人々の世界や日常的な社会問題に立ち返るということに焦点が当てられた。例えば彼は民主主義、社会正義、宗教といったものが一体何を意味するのかについて書いている。パトナムはハーバーマスのようなヨーロッパの大陸哲学についても検討しており、「大陸的」思想から影響をうけた論文をいくつも書いている。
パトナムは自身の哲学的仕事とは直接には関係ない科学分野にも貢献を果たしている。数学者としてパトナムはヒルベルトのいわゆる第10問題の解決に一役買った。ユーリ・マチャセビッチは1970年に、ディオファントス方程式の任意の系(整数を係数とする多項式)が整数において解をもつかを決定する一般的なアルゴリズムがあるのかどうかという問題に答えるため、フィボナッチ数を用いた定理を案出した。ところでパトナムとマーティン・ディヴィス、また彼らとは別にジュリア・ロビンソンは、マチャセビッチの定理がこのような一般アルゴリズムが存在し得ないことを証明するに十分であることをすでに証明していた。こうして第10問題には解法がないことが証明された。
パトナムはコンピュータ・サイエンスの分野ではマーティン・ディヴィスと共に充足可能性問題(SAT)の解法を与えるデービス・パトナムのアルゴリズムを開発したことで知られる。このアルゴリズムは、任意のブール論理式の各変数について、式全体の値が真になるような真ないし偽の値の組み合わせが存在するかどうかを発見するものである。1962年にディヴィスとパトナムはジョージ・ロッジマンとドナルド・W・ラヴランドの協力を得てこのアルゴリズムをさらに精密にし、現在DPLLアルゴリズムの名前で知られるものが完成した。このアルゴリズムは効率的で、今日もなお最も完全なSATソルバー(充足可能性問題の解法)の基礎となっている。
ed., 1985 paperback: ISBN 0-521-29550-5
Mind, Language and Reality. Philosophical Papers, vol. 2. Cambridge: Cambridge University Press, 1975. 2003 paperback: ISBN 0-521-29551-3
藤川吉美編訳『精神と世界に関する方法――パットナム哲学論集』紀伊国屋書店、1975年
Meaning and the Moral Sciences. London: Routledge and Kegan Paul, 1978. 藤川吉美訳『科学的認識の構造――意味と精神科学』晃洋書房、1984年
Reason, Truth, and History. Cambridge: Cambridge University Press, 1981. 2004 paperback: ISBN 0-521-29776-1 野本和幸、中川大、三上勝生、金子洋之訳『理性・真理・歴史――内在的実在論の展開』法政大学出版局、2012年
Realism and Reason. Philosophical Papers, vol. 3. Cambridge: Cambridge University Press, 1983. 2002 paperback: ISBN 0-521-31394-5 飯田隆、金田千秋、佐藤労、関口浩喜、山下弘一郎訳『実在論と理性』勁草書房、1992年
Methodology, Epistemology, and Philosophy of Science: Essays in Honour of Wolfgang Stegmüller.