ソール・クリプキ
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ソール・クリプキ （Saul Aaron Kripke, 1940年12月13日 - ）はアメリカのユダヤ系の哲学者・論理学者。プリンストン大学名誉教授。ネブラスカ州オマハ生まれ。
クワス算術[編集]
例えば通常の足し算は１＋１＝２となる。 そこで８０＋５０を考えると１３０になると予想できる。 しかしこれは１００であると主張した。 なぜなら提示された規則のみが足し算なのだから。
公理的集合論[編集]
クリプキ＝プラテクの集合論が有名。型付の集合論について研究もある。こちらはかなりマイナーで専門家以外には論文を探すことすら難しい。
様相論理[編集]
様相論理の多世界モデルを提唱した。 高校生の頃、新しい様相論理の体系を発見したこともあった。 じつは数理論理学の実績が多いのだがロジシャン以外にはあまり知られていない。
プールエル＝クリプキの定理[編集]
再帰理論で有名な定理である。 「集合論ＺＦＣと自然数論ＰＡが同型である」という主張である。 直感的にはＺＦＣの方がＰＡよりもはるかに巨大だが、証明の形に関しては同等でしかないという意外な結果である。
クリプケシュタイン[編集]
ウィトゲンシュタインのパラドクスに対する批判を行うが、誤った解釈による批判として考えられている。
因子説[編集]
名称が伝授されることで支持されると主張している。
真理値のギャップ[編集]
嘘つきのパラドクスをさらに強化した。
主な著書[編集]
- Naming and Necessity, 1980. （八木沢敬・野家啓一訳『名指しと必然性──様相の形而上学と心身問題』、産業図書、1985）
- Wittgenstein on Rules and Private Language, 1982. （黒崎宏訳『ウィトゲンシュタインのパラドックス──規則・私的言語・他人の心』、産業図書、1983）
- 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
