Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls theoretical identities: a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are necessary.

(1a) If Prince Albert Victor killed those people, he is Jack the Ripper (and Jack the Ripper killed those people). (1b) If Prince Albert Victor had killed those people, Jack the Ripper wouldn't have (and Prince Albert wouldn't have been Jack the Ripper).

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)

The problem of nonreflectors perceived as colored is the central problem for Byrne & Hilbert's (B&H's) physicalism. Vision scientists and other interested parties need to consider the motivation for their account of “productance physicalism.” Is B&H's theory motivated by scientific concerns or by philosophical interests intended to preserve a physicalist account of color as a posteriori necessary?

The New Semantics (NS) introduced by Kripke and Putnam is often thought to block antiphysicalist arguments that involve an inference from an explanatory gap to a failure of supervenience. But this “NS Rebuttal” depends upon two assumptions that are shown to be dubious. First, it assumes that mental-kind terms are among the kinds of terms to which NS analysis is properly applied. However, there are important differences in this regard between the behavior of notions like ‘pain’ and notions like ‘water’, (...) as Kripke himself has argued. Second, even on the assumption that NS analysis is appropriate to mental-kind terms, it is further assumed that this would block the anti-physicalist premise that an abiding and principled explanatory gap would entail a failure of metaphysical supervenience. But the paradigm examples of NS analysis show nothing of the sort. What they show is that there are a posteriori necessities (e.g., “water contains hydrogen”) that cannot be inferred from the sense of natural kind terms. But they do not show that such necessities cannot be derived from an adequate scientific understanding of the phenomena in question. Indeed, such derivations are often available with kinds like water, but seem unavailable with mental kinds like ‘pain’ and ‘belief’. (shrink)

Kant famously argued that, from experience, we can only learn how something actually is, but not that it must be so. In this paper, I defend an improved version of Kant's argument for the existence of a priori knowledge, the Modal Argument , against recent objections by Casullo and Kitcher. For the sake of the argument, I concede Casullo's claim that we may know certain counterfactuals in an empirical way and thereby gain epistemic access to some nearby, nomologically possible worlds. (...) But I maintain that our beliefs about metaphysical necessities still cannot be justified empirically. Furthermore, I reject Casullo's deflationary thesis about the significance of such justification. Kitcher's most troublesome objection is that we can gain any modal justification whatsoever through testimony , i.e. in an experiential way. This can be countered by distinguishing between productive sources of justification, like perception, and merely reproductive sources, like testimony. Thus, some productive a priori source will always be needed somewhere. 1. (shrink)

Saul Kripke famously argued that some truths are both contingent and knowable a priori. For instance, one who stipulatively introduces the term ‘one meter’ as a rigid designator for the length of a certain stick s at time t is said to be in a position to know a priori that if s exists at t then the length of s at t is one meter.1 Call this the meter proposition. Many are unmoved by this or by Kripke’s other examples. (...) There are two main sources of dissent. The first has to do with the stipulator’s lack of acquaintance with the length in question which, in one way or another, is meant to prevent the stipulator from knowing the meter proposition at all (let alone a priori).2 The second has to do with the epistemic status of associated semantic knowledge. The stipulator’s knowledge of the meter proposition would arguably have to be based on her knowledge that the term ‘one meter’ refers in her language to the length of an object iff the length of that object is one meter. Call this further proposition the ‘meter’ proposition. The question of whether the meter proposition is known a priori therefore turns on the question of whether the ‘meter’ proposition is known a priori—but the latter, according to many, is substantive semantic information which can be known only a posteriori. (shrink)

This article critically examines Saul Kripke's (1972) argument for the separability of necessary truths from truths known a priori, focusing on his criticism of the standard meter case presented by Wittgenstein (1968). It attempts to show that Kripke's argument is unworkable on any of several readings. Wittgenstein's own broadly conventionalist account of necessary truth is then considered in the light of the standard meter example.

Particularism renders the options for a sound moral epistemology few and the prospects dim. One leading approach treats basic knowledge of particular cases as derivable from an a priori moral principle and a posteriori knowledge of the contingent non-moral facts to which the principle applies. Particularists must forgo this approach because it requires principles. Yet a purely a posteriori moral epistemology is also implausible, especially when combined with particularism. Particularists such as Jonathan Dancy are thus led to the view that (...) our basic moral knowledge is a priori knowledge of contingent moral facts. We argue that this epistemology is unsound. While some cases of a priori knowledge of (even deeply) contingent facts may be defensible, they are not sufficient for particularist purposes. Moreover, neither Dancy’s appeal to the distinction between positive and negative dependence nor his discussion of intuitive examples provides sufficient support for this epistemology. (shrink)

Inspired by two-dimensional modal logic, some have sought to provide analyses of the notion of the contingent a priori which identify the a priori with truths which have a necessary diagonal. I argue that these analyses fail insofar as they miss the crucial epistemic aspect of the a priori. Augmenting these analyses with specifically epistemic accounts might be possible, but the interest would then reside in these epistemic accounts of the a priori and not in the formal models.

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain a posteriori propositions expressed by sentences involving names as a priori. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensionalism attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a close (...) relative of that argument. (shrink)

In this paper I will offer a novel understanding of a priori knowledge. My claim is that the sharp distinction that is usually made between a priori and a posteriori knowledge is groundless. It will be argued that a plausible understanding of a priori and a posteriori knowledge has to acknowledge that they are in a constant bootstrapping relationship. It is also crucial that we distinguish between a priori propositions that hold in the actual world and merely possible, non-actual a (...) priori propositions, as we will see when considering cases like Euclidean geometry. Furthermore, contrary to what Kripke seems to suggest, a priori knowledge is intimately connected with metaphysical modality, indeed, grounded in it. The task of a priori reasoning, according to this account, is to delimit the space of metaphysically possible worlds in order for us to be able to determine what is actual. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary. The discussion proceeds as follows. Section 1 motivates the investigation. Section 2 recounts and criticizes a famous argument of (...) Saul Kripke’s for the possibility of contingent a priori knowledge. Section 3 presents the standard view, focusing on Laurence BonJour’s influential version of it. Section 4 presents my argument for the possibility of contingent a priori knowledge. Section 5 responds to objections. (shrink)