Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Saul Kripke — Carmelics
    Thinkers/Saul Kripke
    Saul Kripke

    Saul Kripke

    contemporaryAnalytic Philosophy

    1940 – 2022

    Saul Kripke was an American philosopher and logician, widely regarded as one of the most important philosophers of the twentieth century. His work on modal logic, the semantics of proper names, and the necessary a posteriori fundamentally reshaped analytic philosophy, particularly philosophy of language and metaphysics.

    WWikipediaSEPStanford EncyclopediaIEPInternet Encyclopedia

    Notable Achievements

    1

    Developed the causal-historical theory of reference for proper names, challenging Fregean descriptivism

    2

    Proved the completeness of modal logic at age 17 and developed Kripke semantics for modal and intuitionistic logics

    3

    Argued for the existence of necessary a posteriori truths and contingent a priori truths in Naming and Necessity

    4

    Formulated Kripke's Wittgenstein paradox concerning rule-following in Wittgenstein on Rules and Private Language

    5

    Contributed to the theory of truth and the resolution of the liar paradox via his fixed-point construction

    Positions & Arguments(6)

    Modality & Possibility

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    claim

    Time travel is implausible and unlikely to exist in our world.

    claim

    Two-dimensional semantics can handle situations where necessity and analyticity come apart

    Free Will & Foreknowledge

    claim

    The second 'broad assumption' (¬p ∧ ¬Fp) → P¬Fp is not true when p refers to a future contingency

    Skepticism

    claim

    Turing's thesis is not susceptible to mathematical proof

    Truth & Knowledge

    claim

    Turing's thesis is not susceptible to mathematical proof

    claim

    If deflationism is true, then the explanation expressed in (6) goes missing.

    Causation

    claim

    Time travel is implausible and unlikely to exist in our world.

    Philosophy of Language

    claim

    The shared denotation of sentences (1) and (5) cannot be the propositions expressed by each sentence

    At a Glance

    Ideas

    6

    Topics

    6

    Era

    contemporary

    Tradition

    Analytic Philosophy

    Topic Influence

    Modality & Possibility3
    Truth & Knowledge2
    Causation1
    Free Will & Foreknowledge1
    Philosophy of Language1
    Skepticism1

    Related Thinkers

    David Lewis6 sharedImmanuel Kant6 sharedAristotle6 sharedPlato6 sharedIsaac Newton6 sharedThomas Aquinas6 sharedHans Reichenbach6 shared

    Dive Deeper

    Explore Modality & Possibility→See Truth & Knowledge→
    David Hume5 shared