{"agent_id":"kripke","agent_name":"Saul Kripke","slug":"necessity-vs-apriority","label":"Necessity vs apriority: are necessary truths always knowable a priori, or do they come apart?","topic":"Necessity vs apriority","question":"Are necessary truths always knowable a priori, or do they come apart?","position":"Necessity and apriority are different notions, with different subject matter, and they need not coincide. *Necessity* is a metaphysical notion — a proposition is necessary if it could not have been otherwise, if it is true in every possible world. *Apriority* is an epistemic notion — a proposition is a priori if it can be known without appeal to experience. There are *necessary a posteriori* truths: \"Hesperus is Phosphorus\" is necessary (the two names rigidly designate the same heavenly body, Venus, and an identity between rigid designators is necessary if true) but the truth was discovered empirically by astronomers. \"Water is H2O,\" \"gold is the element with atomic number 79,\" \"heat is molecular motion\" — all necessary a posteriori. There are also *contingent a priori* truths: if I stipulate that the length of a particular rod in Paris shall fix the reference of \"one meter,\" then \"the standard rod is one meter long\" is something I know a priori in virtue of having made the stipulation, but it is contingent because the rod might have had a different length.","paragraphs":[[{"t":"Necessity and apriority are different notions, with different subject matter, and they need not coincide. *Necessity* is a metaphysical notion — a proposition is necessary if it could not have been otherwise, if it is true in every possible world. *Apriority* is an epistemic notion — a proposition is a priori if it can be known without appeal to experience.","n":[]}],[{"t":"There are *necessary a posteriori* truths: \"Hesperus is Phosphorus\" is necessary (the two names rigidly designate the same heavenly body, Venus, and an identity between rigid designators is necessary if true) but the truth was discovered empirically by astronomers.","n":[1]},{"t":"\"Water is H2O,\" \"gold is the element with atomic number 79,\" \"heat is molecular motion\" — all necessary a posteriori.","n":[]}],[{"t":"There are also *contingent a priori* truths: if I stipulate that the length of a particular rod in Paris shall fix the reference of \"one meter,\" then \"the standard rod is one meter long\" is something I know a priori in virtue of having made the stipulation, but it is contingent because the rod might have had a different length.","n":[2,3,4]}]],"texts":"*Naming and Necessity* (1980), Lecture III; \"Identity and Necessity\" (1971, *Philosophical Troubles* Ch 1). Reception: W. V. O. Quine as the historical opponent (the assimilation of necessity to analyticity); David Kaplan on the contingent a priori (the standard meter case); Soames Ch 2 of *Beyond Rigidity* on the precise characterization of the a posteriori status of \"Hesperus is Phosphorus\"; Stephen Yablo and others on the contingent a priori; Frank Jackson and David Chalmers on two-dimensional semantic resources for handling the apparent break.","works":["*Naming and Necessity* (1980), Lecture III","\"Identity and Necessity\" (1971, *Philosophical Troubles* Ch 1)"],"reception":"W. V. O. Quine as the historical opponent (the assimilation of necessity to analyticity); David Kaplan on the contingent a priori (the standard meter case); Soames Ch 2 of *Beyond Rigidity* on the precise characterization of the a posteriori status of \"Hesperus is Phosphorus\"; Stephen Yablo and others on the contingent a priori; Frank Jackson and David Chalmers on two-dimensional semantic resources for handling the apparent break.","status":"Defended in N&N Lecture III as a central thesis of the project. The break dissolves a longstanding conflation in analytic philosophy (originating in the empiricist tradition and explicit in Quine's \"Two Dogmas\") between necessity, analyticity, and apriority. The standard examples — Hesperus identity, theoretical identities in chemistry and physics — are widely accepted in the post-Kripke literature, with ongoing debate about precise characterization. Soames argues in *Beyond Rigidity* Ch 2 that what is properly knowable only a posteriori in the Hesperus case is the metalinguistic claim \"the names 'Hesperus' and 'Phosphorus' are coreferential\" rather than the object-level proposition Hesperus = Phosphorus. I take Soames's worry seriously without abandoning the underlying distinction.","era":"1940-2022","discipline":"Philosophy","refs":[{"n":1,"work":"Naming and Necessity","page":"pp. 110–111","canonical":"","quote":"So it seems that we do not necessarily know priori that an identity statement between names is true. It doesn't follow from this that the statement so expressed is a contingent one if true. This is what I've emphasized in my first lecture.","label":"Naming and Necessity, pp. 110–111"},{"n":2,"work":"Naming and Necessity","page":"pp. 46–47","canonical":"","quote":"There may be a philosophical argument connecting them, perhaps even identifying them; but an argument is required, not simply the observation that the two terms are clearly interchangeable.","label":"Naming and Necessity, pp. 46–47"},{"n":3,"work":"1. Identity and Necessity","page":"p. 18","canonical":"","quote":"Let us think what would be such a circumstance, using these terms here as *names* of a planet. For example, it could have been the case that Venus did indeed rise in the morning in exactly the position in which we saw it, but that on the other hand, in the position which is in fact occupied by Venus in the evening, Venus was not there, and Mars took its place.","label":"1. Identity and Necessity, p. 18"},{"n":4,"work":"Naming and Necessity","page":"p. 65","canonical":"","quote":"More important for present purposes, though, than accepting this example as an instance of the contingent a priori, is its illustra~ tion of the distinction between 'definitions' which fix a reference and those which give a synonym. In the case of names one might make this distinction too. Suppose the reference of a name is given by a description or a cluster of descriptions.","label":"Naming and Necessity, p. 65"}],"answer":null,"siblings":[{"slug":"rigid-designation","label":"Rigid designation: are proper names synonymous with descriptions, or do they designate the same individual across all possible worlds?"},{"slug":"natural-kind-terms","label":"Natural kind terms: are they rigid designators in the same sense as proper names, and do theoretical identifications come out necessary?"},{"slug":"the-wittgenstein-rule-following-paradox","label":"The Wittgenstein rule-following paradox: is there a fact about what I mean by a word that fixes how I should apply it to new cases?"},{"slug":"vacuous-names-and-fictional-entities","label":"Vacuous names and fictional entities: do names like 'Sherlock Holmes' or 'Vulcan' refer to anything, and if so, to what?"},{"slug":"a-puzzle-about-belief","label":"A Puzzle about Belief: does Pierre believe that London is pretty? What does the case show about reference and belief?"}]}