ウィリアム・クレイグ（論理学者・科学哲学者）とクレイグ補間定理

生涯と学問形成

クレイグは1951年にハーバード大学で博士号を取得し、その後バークレーの教員に加わった。長い研究生活のなかで学生を指導し、論理学と科学哲学の授業を担当し、その業績は論理学者、哲学者、コンピュータ科学者によって研究された。2016年にカリフォルニア州バークレーで、97歳で死去した。

主な貢献

クレイグで最も広く知られているのは、形式論理学の基本的な成果であるクレイグ補間定理である。簡単に言えば、式Aが式Bを含意するとき、AとBに共通する非論理語彙だけを用いて書かれた中間式C（補間子）が存在し、AはCを含意し、CはBを含意する、という定理である。この考え方は、証明論、モデル理論、さらに自動推論やプログラム検証のような応用で標準的な道具となっている。

その他の業績と影響

補間以外にも、クレイグの研究は再帰理論および公理理論における技術的手法に及んだ。この系統の研究から生まれた手続きのいくつかは、文献では彼の名で呼ばれることがある。彼の貢献は、抽象的な論理学の成果と科学哲学の問題との結び付きを強め、たとえば言語と推論が説明や理論比較にどう関わるかを明らかにするのに役立った。

主なテーマと遺産

• 形式論理学と科学理論に関する哲学的問題を橋渡しした。
• 補間のように、論理学、計算機科学、検証で広く使われる道具を提供した。
• 大きな哲学科のなかで、何世代もの学生を育てた。

クレイグの定理とその応用についてさらに読むには、数理論理学や自動推論に関する一般的な入門書が参考になる。大学や学科のアーカイブ、部局ページには彼の教育と業績の記録が残されており、出生地情報やバークレーの機関記録も手がかりになる。補間や関連技法に関する追加の文献は、論理学と科学哲学の概説でも見つかる（数理論理学、科学哲学）。