ソール・クリプキ

ソール・アーロン・クリプキ (Saul Aaron Kripke、1940年12月13日 - )は、アメリカ哲学者論理学者ニューヨーク市立大学大学院センター教授、プリンストン大学名誉教授ネブラスカ州オマハ生まれ。ユダヤ人

ソール・クリプキ
Saul Kripke
2005年のクリプキ
生誕 (1940-12-13) 1940年12月13日(81歳)
アメリカ合衆国の旗 アメリカ合衆国ニューヨーク州サフォーク郡ベイショア
時代 現代哲学
地域 西洋哲学
出身校 ハーバード大学
学派 分析哲学
研究機関 プリンストン大学
ニューヨーク市立大学大学院センター
研究分野 論理学(特に様相論理
言語哲学
形而上学
集合論
認識論
心の哲学
分析哲学史
主な概念 クリプキ・プラテック集合論
指示の因果説
クリプケンシュタイン
許容順序数
クリプキ構造
固定指示子
A posteriori necessity
クリプキ意味論
クリプキ・モデル
テンプレートを表示

来歴・人物編集

父親は、ネブラスカ州オマハにある唯一の保守派会衆であるベス・エル・シナゴーグの指導者。母親はユダヤ教の児童教育書の作家。マデリンとネッタという2人の姉妹とともに、ダンディー小学校とオマハ・セントラル高校に通った。6歳までに古代ヘブライ語を独学し、9歳までにシェイクスピアの全集を読み、小学校卒業前にデカルトの著作や複雑な数学の問題をマスターするなど、神童と呼ばれていた。高校在学中の17歳の時に自分が発見した様相論理完全性定理についての論文を書き、翌年に出版した。1958年、高校を卒業し、ハーバード大学に入学。1962年、数学のB.A.を取得し、ハーバード大学を首席で卒業した。大学卒業後、フルブライト・フェローシップを得て、1963年にはソサエティ・オブ・フェローズに任命された。後にクリプキは、「大学をスキップしたかった。面白い人たちと知り合えたけど、何かを学んだとは言えない。どうせ独りで読んでいるうちに全部覚えてしまったのだろう(I wish I could have skipped college. I got to know some interesting people but I can't say I learned anything. I probably would have learned it all anyway just reading on my own.)」と語っている。

ハーバード大学で少し教えた後、1968年にニューヨークのロックフェラー大学に移り、1976年まで教壇に立った。1978年にはプリンストン大学の主任教授に就任し、1988年には同大学から人文科学分野での功績を称えるハワード・ベールマン賞を受賞。2002年からはニューヨーク市立大学大学院センターで教鞭をとり、2003年には同校の哲学の卓越教授に任命された。

また、ネブラスカ大学オマハ校(1977年)、ジョンズ・ホプキンス大学(1997年)、ハイファ大学(1998年)、ペンシルバニア大学(2005年)から名誉学位を授与されている。アメリカ哲学協会会員、アメリカ芸術科学アカデミーフェロー、1985年イギリス学士院コレスポンディング・フェロー。 2001年、ショック賞論理学・哲学部門受賞。

妻は哲学者のマーガレット・ギルバート。また、テレビプロデューサーのエリック・クリプキは又従兄弟である。

業績編集

 
線形時相論理のクリプキ・モデルの例

クリプキの学術的業績は以下のように大別できる。

  1. 様相論理関係論理の為のクリプキ意味論
  2. 1970年にプリンストン大学で行われた講義「名指しと必然性」は、以後の言語哲学を大きく変えた。
  3. ウィトゲンシュタイン研究、テクスト解釈。
  4. 真理の理論。

また、再帰理論にも貢献している(admissible ordinal、クリプキ-プラテック集合論を参照)。

ソール・クリプキ・センター編集

ニューヨーク市立大学大学院センターのソール・クリプキ・センターは、クリプキの作品の保存やその普及を目的とする施設である。センター長はRomina Padro。クリプキ・センターは、クリプキ関連のイベントの開催や、1950年代にさかのぼったクリプキの講義の未公開録音、講義ノート、書簡などのデジタル・アーカイブの作成などを行っている。[1]

名誉・栄典編集

著作編集

  • Wittgenstein on Rules and Private Language, 1982.
    • 『ウィトゲンシュタインのパラドックス──規則・私的言語・他人の心』(黒崎宏訳、産業図書、1983年/ちくま学芸文庫、2022年)
  • Is There a Problem about Substitutional Quantification?", 1976.(Truth and Meaning pp.325-419/edi. EVANS and McDOWELL/Oxford)
  • Marian Boykan Pour-El and Saul Kripke, Deduction-preserving "recursive isomorphisms" between theories, Fundamenta Mathematicae. 61 (1967) pp.141-163

脚注編集

  1. ^ Saul Kripke Center website: Most of these recordings and lecture notes were created by Nathan Salmon while he was a student and, later, a colleague of Kripke's.

外部リンク編集