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.

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.

Instability occurs when the very fact of choosing one particular possible option rather than another affects the expected values of those possible options. In decision theory: An act is stable iff given that it is actually performed, its expected utility is maximal. When there is no stable choice available, the resulting instability can seem to pose a dilemma of practical rationality. A structurally very similar kind of instability, which occurs in cases of anti-expertise, can likewise seem to create dilemmas of (...) epistemic rationality. One possible line of response to such cases of instability, suggested by both Jeffrey (1983) and Sorensen (1987), is to insist that a rational agent can simply refuse to accept that such instability applies to herself in the first place. According to this line of thought it can be rational for a subject to discount even very strong empirical evidence that the anti-expertise condition obtains. I present a new variety of anti-expertise condition where no particular empirical stage-setting is required, since the subject can deduce a priori that an anti-expertise condition obtains. This kind of anti-expertise case is therefore not amenable to the line of response that Jeffrey and Sorensen recommend. (shrink)

The thesis that the necessary and the a priori are extensionally equivalent consists of two independent claims: 1) All a priori truths are necessary and 2) all necessary truths are a priori. In Naming and Necessity1 Saul A. Kripke gives examples of necessary but a posteriori truths, so he disagrees with the second leg of the thesis.2 His examples are of two types; on the one hand statements involving essential properties and on the other hand true identity statements. My concern (...) will be with examples of the second type and whether they refute (2). (2), however, is ambiguous and can mean one of three things. (shrink)

The combination of quantifiers with a semantics for epistemic operators in a modal framework is one of the major contributions of Hintikka in intensional logic. Hintikka’s starting point is his diagnosis of the failure of existential generalization and the substitution of identicals in terms of referential multiplicity. In this paper, I introduce Hintikka as a free logician. Indeed, Hintikka’s first-order epistemic logic is grounded on a logic free of ontological presuppositions with respect to singular terms. It is also a logic (...) free of presuppositions of uniqueness of reference. After having focused on the use of quantifiers and singular terms in Hintikka’s epistemic logic, I discuss some consequences from a semantico-logical perspective, but also from a philosophical one. By arguing against the so-called contingent a priori truths defended by Kripke, I conclude with a proposal in favour of Hintikka’s non-rigid interpretation of proper names. (shrink)

Some philosophers, like Kripke, Williamson, Hawthorne, and Turri, have offered examples of claims that are allegedly contingent and a priori justifiable. If any of these examples is genuine, this would upend the traditional epistemological classification on which (a) all and only a priori justifiable claims are necessary and (b) all and only a posteriori ones are contingent. I argue here that these examples are not genuine. This conclusion is not new, but the strategy pursued here is to formalize these muchdiscussed (...) examples in symbolic logics. Once formalized, a perspicuous representation of their logical form will bring into sharp relief that these examples are not both contingent and a priori. Two takeaways are (1) that the traditional epistemological classification remains plausible and (2) that one’s proposed examples of contingent a priori claims should be supported by a formalization in one’s preferred background symbolic logic. (shrink)

Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths. Kripke’s claims continue to be resisted, which indicates that the Kantian view remains attractive. My goal is to identify the most plausible principles linking the epistemic and the modal. My strategy for identifying the principles is to investigate two related questions. (...) Are there compelling general supporting arguments for (K)? Are there decisive counterexamples to (K)? My investigation uncovers two intuitively plausible principles that are not open to decisive counterexamples but which enjoy no compelling independent support. (shrink)

The analytic/synthetic distinction has played a central role in discussions of a priori knowledge throughout the twentieth century. One of the primary reasons for the prominence of this distinction is the widespread influence of the tradition of logical empiricism which endorsed the following principles: All analytic propositions are knowable a prioriand All propositions knowable a priori are analytic.Hence, proponents of the a priori often argue in support of the contention that the propositions of a particular discipline, say mathematics or logic, (...) are knowable a priori by arguing that it consists solely of analytic propositions. On the other hand, detractors of the a priori often reject such knowledge on the grounds that the analytic/synthetic distinction is not cogent. My primary goal in this paper is to challenge the prevalent acceptance of. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)