Kripke maintains that one who stipulatively introduces the term ' one meter' as a rigid designator for the length of a certain stick s at time t is in a position to know a priori that if s exists at t then the length of s at t is one meter. Some (e.g., Soames 2003) have objected to this alleged instance of the contingent a priori on the grounds that the stipulator's knowledge would have to be based (...) in part on substantive metalinguistic knowledge. I examine Soames's argument for the a posteriority of the relevant metalinguistic knowledge, and I argue that its main premise is false. (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.

One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can (...) be generalized so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. Discussing the matter in connection with the status (...) of the Kripkean category of the contingent a priori, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. This paper appeals to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and argues that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

This paper is an examination of the contingent a priori and the necessary a posteriori. In particular, it considers -- and assesses -- the criticisms that Nathan Salmon makes of the views of Saul Kripke.

The conclusion of the McKinsey paradox is that certain contingent claims about the external world are knowable a priori. Almost all of the literature on the paradox assumes that this conclusion is unacceptable, and focuses on finding a way of avoiding it. However, there is no consensus that any of these responses work. In this paper I take a different approach, arguing that the conclusion is acceptable. First, I develop our understanding of what Evans calls merely superficially (...) class='Hi'>contingent a priori knowledge, and explain why there is no reason to deny that merely superficially contingent a priori knowledge of the external world is possible. I then argue that, properly understood, the conclusion of the McKinsey paradox is that merely superficially contingent knowledge of certain claims about the external world is possible, and so the conclusion is acceptable. Finally, I respond to the two main arguments that the conclusion of the paradox is unacceptable. (shrink)

This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic truth (...) turn out to carry semantic presuppositions that make them ineligible as items of a priori knowledge. -/- On a happier note, I argue that (AK) offers an appealing, theory-neutral explanation of the a posteriori character of certain necessary identities, as well as an interesting rationalization for a commonplace linguistic maneuver in philosophical work on the a priori. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The (...) idea is that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

This paper has two parts. In the first I give a brief historical account of the a priori and point out the central and problematic role of 'Erfahrung überhaupt' in Kant’s transcendental philosophy. In the second and main part I offer a criticism of Kripke’s arguments for the contingent a priori and I thereby question his radical separation of metaphysics and epistemology.

In this article I would like to discuss the concept of a priori mainly focusing on Kant’s Copernican revolution. How is metaphysics at all possible and how a priority takes place in Kantian metaphysics are the questions that I have addressed in the first part of my article. In this context, I have explained analytic, synthetic distinction from epistemological, metaphysical and semantical perspectives and I want to show how the concept of a priori and other associated notions are (...) derived from this different perspective. I end my discussion with an account of some fundamental objections raised by Quine and Kripke against Kantian analysis. Quine mainly wants to deny the traditional analytic and synthetic distinction. Besides, Kripke is trying to show that it is not true that the traditional account of the intimate relation between a priori and necessary proposition must be true, i.e., it is mistaken that a priori proposition must be necessary, it may be contingent. I would like to analyse and explain a few obstacles of Quine and Kripke following Putnam’s (externalist approach) and Quassim Cassam’s (non-empirical approach on a priority) line of different arguments. (shrink)

We propose an account of the subject’s cognition that allows for a full articulation of the phenomenon of ideology. We argue that ideology operates at the level of the a priori: it transcendentally conditions the intelligibility of thought and practice. But we draw from strands of post-Kantian philosophy of science and social philosophy in repudiating Kant’s view that the a priori is necessary and fixed. Instead, we argue, it is contingent, and therefore revisable. More precisely, it is (...) conditioned materially: it must be understood as an activity, continuous with and shaped by material social practice. We conclude with some remarks about the possibility of agency over one’s relativized, materially conditioned a priori; that is, over the possibility of critique. (shrink)

When Gilles Deleuze, in his book on Michel Foucault, asks, ‘who would think of looking for life among the archives?’, he uncovers something particular to Foucault's philosophy, but also to his own: a commitment to the question of what it means to think, and think politically. Although Foucault and Deleuze, who first met in 1952, immediately felt fondness for each other, a growing animosity had settled into the friendship by the end of the 1970s – a rift deepened by theoretical (...) differences. Notwithstanding these difficulties, Foucault and Deleuze shared a love for Nietzsche, as well as a curious fascination with Kant. Kant's influence, which was met with more opposition, is precisely the tension I tease out in this article, showing how Foucault critiques Kant's a priori through his own concept of the historical a priori, along with regularity and resistance, while Deleuze and Guattari, if more obliquely, critique Kant's a priori by further developing Foucault's notion of the historical a priori through their own method of pragmatics, particularly in three chapters of A Thousand Plateaus, namely ‘The Geology of Morals’, ‘Postulates of Linguistics’ and ‘On Several Regimes of Signs’. What I am interested in, then, is Deleuze and Guattari's treatment of redundancy, a concept mentioned seventy times in A Thousand Plateaus. Although not one of their main or most developed concepts, redundancy is a thread that can be traced back to Deleuze's first book, Empiricism and Subjectivity. Moreover, their more developed concepts, for example the diagram, the abstract machine, becoming, micro-politics and the ritornello, as well as their political philosophy, are grounded in their understanding of redundancy, which moves their philosophy beyond mapping out the conditions of possibility and demonstrating that the historical a priori emerges as a contingent function of its own expression to the genesis of thought. (shrink)

This article focuses on the distinction between analytic truths and synthetic truths, and between a priori truths and a posteriori truths in philosophy, beginning with a brief historical survey of work on the two distinctions, their relationship to each other, and to the necessary/contingent distinction. Four important stops in the history are considered: two involving Kant and W. V. O. Quine, and two relating to logical positivism and semantic externalism. The article then examines questions that have been raised (...) about the analytic–synthetic and a priori–a posteriori distinctions, such as whether all distinctively philosophical truths fall on one side of the line and whether the distinction is relevant to philosophy. It also discusses the argument that there is a lot more a priori knowledge than we ever thought, and concludes by describing epistemological accounts of analyticity. (shrink)

Laurence BonJour divides approaches to a priori justification into three kinds. Quine’s radical empiricism denies the existence of any special category of a priori justification; moderate empiricism attempts to explain a priori justification in terms of something like knowledge of meaning or grasp of concepts; and rationalism postulates an irreducible ‘rational insight’ into the nature of reality. The positions therefore form a familiar trio of eliminativism, reductionism and anti-reductionism concerning a priori justification. BonJour’s interesting and (in (...) the present philosophical climate) unusual project is to defend rationalism, the anti-reductionist position. Rationalism says that we have an ability to ‘directly or intuitively see or grasp or apprehend … a necessary fact about the nature or structure of reality’ (pp. 15-16). ‘An apparent rational insight,’ he says, ‘purports to be nothing less than a direct insight into the necessary character of reality’ (p. 107). Two clarifications will help to mark out the distinctive character of this view: first, that rational insight is fallible; and second, that although BonJour carefully distinguishes the concepts of necessity and apriority, he none the less claims that rational insight yields a priori knowledge of necessary truths only. On his view, the contingent a priori does not exist, although empirical necessities do... (shrink)

The aim of this paper is make a contribution to the ongoing search for an adequate concept of the a priori element in scientific knowledge. The point of departure is C.I. Lewis’s account of a pragmatic a priori put forward in his "Mind and the World Order" (1929). Recently, Hasok Chang in "Contingent Transcendental Arguments for Metaphysical Principles" (2008) reconsidered Lewis’s pragmatic a priori and proposed to conceive it as the basic ingredient of the dynamics of (...) an embodied scientific reason. The present paper intends to further elaborate Chang’s account by relating it with some conceptual tools from cognitive semantics and certain ideas that first emerged in the context of the category-theoretical foundations of mathematics. (shrink)

De Mul’s central thesis is that Dilthey’s Critique of Historical Reason can be understood as a radicalization of Kant’s recognition of the contingency and finitude of human reason.

This paper attempts to show that Scott Soames has not given us an example of a contingent a priori truth. (What it probably shows is how confused I am on this topic.).

An agent’s knowledge of her own intentional actions (agential knowledge) is non-observational. Yet, intentional actions typically consist of happenings external to the agents. A theory is needed to explain how agents are warranted to form such beliefs independent of observation. This paper first argues for three desirable features of an ideal theory about agential knowledge. After showing that no existing theories possess all three, a novel theory that does is presented. According to this theory, agential knowledge is the same kind (...) of knowledge as the Kripkean contingent a priori: they are knowledge justified a priori by stipulation. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections (...) between Kripke's work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

Three classic distinctions specify that truths can be necessary versus contingent,analytic versus synthetic, and a priori versus a posteriori. The philosopher reading this article knows very well both how useful and ordinary such distinctions are in our conceptual work and that they have been subject to many and detailed debates, especially the last two. In the following pages, I do not wish to discuss how far they may be tenable. I shall assume that, if they are reasonable and (...) non problematic in some ordinary cases, then they can be used in order to understand what kind of knowledge the maker’s knowledge is. By this I mean the sort of knowledge that Alice enjoys when she holds the information that Bob’s coffee is sweetened because she just put two spoons of sugar in it herself. The maker’s knowledge tradition is quite important but it is not mainstream in modern and analytic epistemology and lacks grounding in terms of exactly what sort of knowledge one is talking about. My suggestion is that this grounding can be provided by a minimalist approach, based on an information-theoretical analysis. In the article, I argue that we need to decouple a fourth distinction, namely informative versus uninformative, from the previous three and, in particular, from its implicit association with analytic versus synthetic and a priori versus a posteriori; such a decoupling facilitates, and is facilitated by, moving from a monoagent to a multiagent approach: the distinctions qualify a proposition, a message, or some information not just in themselves but relationally, with respect to an informational agent; the decoupling and the multiagent approach enable a re-mapping of currently available positions in epistemology on these four dichotomies; within such a re-mapping, two positions, capturing the nature of a witness’ knowledge and of a maker’s knowledge, can best be described as contingent, synthetic, a posteriori, and uninformative and as contingent, synthetic, weakly a priori, and uninformative respectively. In the conclusion, I indicate why the analysis of the maker’s knowledge has important consequences in all those cases in which the poietic intervention on a system determines the truth of the model of that system. (shrink)

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views about (...) knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, we must consider (...) the two different propositions (1) and (2) separately. Doing so reveals that a given proposition is either necessary and a priori or contingent and a posteriori. It cannot be both. (shrink)

It is common to think that state enforcement is a restriction on freedom that is morally permitted or justified because of the unfortunate circumstances in which we find ourselves. Human frailty and material scarcity combine to make the compromise of freedom involved in exclusive state enforcement power necessary for other freedoms or other goods. In the words of James Madison, ‘if men were angels, no government would be necessary’ (1990: 267). But there is an opposing tradition, according to which the (...) very idea of freedom in society entails the necessity of state enforcement. However morally good human beings are, or whatever material conditions they find themselves in, on this view, the ideal of freedom we ought to be concerned to realise is such that it cannot be attained without state enforcement. It follows a priori from an important ideal of freedom that a state with exclusive enforcement power is necessary for individual liberty in society. In this paper, I argue against what I take to be the strongest argument of the a priori kind, which begins from the neo-republican ideal of freedom as non-domination, and thereby in (partial) defence of the alternative, Madisonian, view. Insofar as it is true that some sort of problematic domination will inevitably be present in a stateless society, I argue, the introduction of a state can do nothing to eliminate it. For the state to improve on even an ideal stateless society, it would need to give individuals control over the interference of potential dominators of a sort that could not be achieved in the ideal stateless society. -/- . (shrink)

By the lights of a central logical positivist thesis in modal epistemology, for every necessary truth that we know, we know it a priori and for every contingent truth that we know, we know it a posteriori. Kripke attacks on both flanks, arguing that we know necessary a posteriori truths and that we probably know contingent a priori truths. In a reflection of Kripke's confidence in his own arguments, the first of these Kripkean claims is far (...) more widely accepted than the second. Contrary to received opinion, the paper argues, the considerations Kripke adduces concerning truths purported to be necessary a posteriori do not disprove the logical positivist thesis that necessary truth and a priori truth are co-extensive. (shrink)

David Chalmers argued against the claim that for all p, or even for all entertainable p, it is knowable a priori that p iff actually p. Instead of criticizing Chalmers’s argument, I suggest that it can be generalized, in a sense, and in interesting ways, concerning other principles about contingent a priori truths. In particular, I will argue that the puzzle presented by Chalmers runs parallel to others that do not turn on ‘actually’. Furthermore, stronger arguments can (...) be presented that do not turn on apriority either, though they do entail the conclusion of Chalmers’s argument. All such puzzles involve interactions between rigidifying sentence-forming devices with factive operators. (shrink)

In a series of papers, Robin Jeshion has forcefully criticized both Donnellan's and Evans’ claims on the contingent a priori, and she has developed an “acquaintanceless” account of singular thoughts as an alternative view. Jeshion claims that one can fully grasp a singular thought expressed by a sentence including a proper name, even if its reference has been descriptively fixed and one’s access to the referent is “mediated” by that description. But she still wants to reject “semantic instrumentalism”, (...) the view that “there are no substantive conditions of any sort on having singular thought. We can freely generate singular thoughts at will by manipulating the apparatus of direct reference.” Her account of singular thoughts is a psychological one, rejecting any epistemic requirement. Having singular thoughts is for her a matter of deploying “mental files” or “dossiers” that play a significant role in the cognitive life of the individual. This paper elaborates on an alternative descriptivist-friendly view, which has important points of contact with Jeshion’s. It differs, particularly in that it is an epistemic view; it is only a broadly understood acquaintance view, as it will transpire, but this does not make it a mere terminological variation on Jeshion’s acquaintanceless one. To argue for it, the paper discusses some relevant aspects of the semantics of fictional discourse. (shrink)

Kripke’s examples of allegedly contingent a priori sentences include ‘Stick S is exactly one meter long’, where the reference of ‘meter’ is fixed by the description ‘the length of stick S’. In response to skepticism concerning apriority Kripke replaced the meter sentence with a more sophisticated variant, arguing that the modified example is more immune to such skepticism. The case for apriority is examined. A distinction is drawn between apriority and a broader notion, “qua-priority,” of a truth whose (...) epistemic justification is dependent on no experience other than that required to justify belief of the deliverances of pure semantics. It is argued that Kripke’s examples are neither a priori nor qua-priori. (shrink)

Saul Kripke (1972) argued for the existence of a priori propositions that are contingently true. Kripke uses the example of a case presented by Wittgenstein (1953) about the Standard Meter of Paris. The Standard Meter is an object to determine the standard lenght, in the measure system, of a one meter unit. Wittgenstein argued that we can’t affirm that the Standard Meter has one meter, since it is the standard for measure and works as a rule in the language. (...) Therefore, the phrase “the standard meter has one meter” doesn’t have a truth-value. On the other hand, Kripke argued that that phrase expresses a true proposition and can be known a priori by whom stipulated that this object will be the standard for measure. I will argue in favor a kripkean position, analyzing the dispute and thereafter answering possible objections from proponents of the wittgensteinian position. (shrink)

The philosophical interest of mystery is that something may well fall under a distinctive ontological concept of mystery. Such a thing would be explicable with reference to intention, but not uniquely determined by its explicans. This is the "properly mysterious," which is essentially mysterious in virtue of what it is, not just of our epistemic limitations. The richer uses of 'mystery', and defects in recent literature, suggest this line of inquiry. ;Part I rebuts the main arguments against the possibility that (...) something is properly mysterious. First, if something's existence is completely explicable it need not thus be exhaustively explicable . Second, event-determinism is not establishable empirically and nothing establishes general determinism a priori . So there is no reason to think every existent is uniquely determined to exist. But there is good reason to think everything is completely explicable in principle. ;Part II shows there is better reason to think the world's existence properly mysterious than not. The world asked about in the question "Why does the world exist?" should be defined as the totality comprising all that really changes and what is ontologically parasitic thereon . The World's existence is both logically contingent and contingent in one or the other of two de re senses , and thus is either inexplicable for any knower or explicable as intentionally produced. The producer would be extramundane, de re necessary, and could not uniquely determine the existence of The World. Defending classical theism against charges of conceptual incoherence, I conclude that the existence of The World is best thought completely explicable as intentionally created, though not exhaustively explicable by the existence of its creator. ;In conclusion, I expound and adopt Aquinas' account of creation, on which God creates for a reason and freely. Thus there is good reason for the world's existence, but no reason why this world exists rather than some other. (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some (...) categories are void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

I argue that we have to accept one of the three isms in the title. Either inductive scepticism is true, or we have substantial contingent a priori knowledge, or a strongly externalist theory of knowledge is correct.

Contingentism, generally contrasted with law necessitarianism, is the view that the laws of nature are contingent. It is often coupled with the claim that their contingency is knowable a priori. This paper considers Bird's (2001, 2002, 2005, 2007) arguments for the thesis that, necessarily, salt dissolves in water; and it defends his view against Beebee's (2001) and Psillos's (2002) contingentist objections. A new contingentist objection is offered and several reasons for scepticism about its success are raised. It is (...) concluded that certain higher-level laws describing the behaviours of molecular compounds may be necessary due to their dependence on underlying physical laws, and that the modal status of laws of nature cannot be determined a priori, as the structural features of the substances and properties they govern must first be investigated. (shrink)

There are two sorts of singular terms for which we have difficulty applying Donnellan’s referential/attributive distinction: complex definite descriptions, and proper names. With respect to the uses of such terms in certain contexts we seem to have conflicting intuitions as to whether they should be classified as referential or attributive. The problem concerning how to apply Donnellan’s distinction to the uses of certain complex definite descriptions has never been debated in the literature. On the other hand there have been attempts (...) to extend Donnellan’s distinction to the uses of proper names, the most popular one being due to Kripke. However the argument Kripke gives to this end in his ‘Speaker’s Reference and Semantic Reference’ seems to be inconsistent with the position he takes in Naming and Necessity. I suggest that the reason we seem to have conflicting intuitions with respect to the uses of such terms, is because there is not one but two separate distinctions inherent in Donnellan’s examples; a pragmatic distinction based on the speaker’s intentions in using a term , and an epistemic one based on the notion of having an object in mind. In the light of this, I argue that the issue of whether there are attributive uses of proper names, in the latter sense, relates to the epistemic problem of whether a speaker can have de re attitudes toward an object that he does not have in mind. On this epistemic issue Kripke and Donnellan are on opposite sides as revealed by their debate over the issue of whether there are contingent a priori propositions. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

Many philosophers have found in Hume’s skeptical doubts concerning the operations of the understanding the materials for an argument that generalizes from induction to other domains, like our beliefs in the external world, other minds, and the past. This chapter offers a novel reconstruction of that argument and identifies the principles that are responsible for its capacity to generalize beyond induction. Next, it presents a classical reading of Hume’s skeptical solution and shows that Crispin Wright’s entitlement theory is close in (...) spirit to it. After that, it develops two objections to entitlement theory: it relies on the truth of deeply contingent propositions that are not a priori rational, and it does not manage to redefine the concept of epistemic rationality while offering an effective anti-skeptical response. The chapter concludes with a constructive suggestion: some passages that support a non-classical reading of Hume’s positive views on induction offer the materials to reject the steps of the skeptical argument that cause trouble for entitlement theory. (shrink)

Argues against several influential a priori arguments for individualism in the philosophy of mind that were influential in the 1980s.

This is a reply to Luke Roelof's comments (2017) on my paper "A Dilemma for Russellian Monists about Consciousness" (2015). On both Russellian monism and dualism, experiences are distinct from neural-functional states and they are correlated with some neural-functional states and not others. The only difference between them concerns the status of the extra-logical principles linking experiences with their neural-functional correlates (e. g. increasing S1 firing rates results in increasing pain): Russellian monists hold that they are a priori and (...) necessary, while dualists say that they are a posteriori and contingent. How are we to decide between them? Roelofs suggests that Russellian monism is simpler than dualism. I argue against this. Both face the "T-shirt problem": both require a swarm of extra-logical principles linking brain states with experiences. The Russellian monist might engage in some unbridled speculation: they are somehow derivable from small set of more basic extra-logical principles ("principles of combination"), even if we cannot supply the details. But the dualist can do the same. The only difference is that the dualist will speculate that those more basic principles are contingent rather than necessary a priori. Given our limited evidence, there is no reason (and in particular no simplicity-based reason) to prefer the Russellian monist's speculations to the dualist's parallel speculations. (shrink)

When is a testimony-based belief justified? According to so-called "Anti-Reductionism," the principle that a hearer is prima facie justified to take what another tells them at face value is true. I call this position "Liberal Foundationalism." I call it "liberal" for it is more liberal than "Moderate Foundationalism" that holds that perception-based beliefs are prima facie justified but testimony-based beliefs are not. Liberal Foundationalism has two interpretations: the principle is a contingent empirical truth, or an a priori necessary (...) truth. I call the view that the principle is a priori necessary "Liberal Fundamentalism." This chapter defends Liberal Fundamentalism against objections in the first half, and then in the second half it introduces "Weak Liberal Fundamentalism," the view that it is a priori necessary that testimony provides some epistemic support, but perhaps not enough, absent defeat, for knowledge. In later work I abandon the view that the principle is a priori necessary, but I still maintain the distinction between Strong and Weak variants of the principle, and the replies to many of the objections to the principle. (shrink)

In this paper I argue for a priori conjectural scientific knowledge about the world. Physics persistently only accepts unified theories, even though endlessly many empirically more successful disunified rivals are always available. This persistent preference for unified theories, against empirical considerations, means that physics makes a substantial, persistent metaphysical assumption, to the effect that the universe has a (more or less) unified dynamic structure. In order to clarify what this assumption amounts to, I solve the problem of what it (...) means to say of a theory that it is unified. There are, I argue, eight different kinds of unity important in theoretical physics, all varieties of one basic idea. This provides us with a precise way of partially ordering physical theories with respect to their degree of unity. It also leads to a hierarchical view of physics, according to which physics makes a number of increasingly insubstantial metaphysical assumptions concerning the comprehensibility and knowability of the universe. Two of these are identified as constituting a priori conjectures. I conclude by arguing that the view developed in the paper resolves the traditional clash between empiricism and rationalism in the philosophy of science, and has important implications for science, and for academic inquiry more generally. (shrink)

Principles of chance deference face two kinds of problems. In the first place, they face difficulties with a priori knowable contingencies. In the second place, they face difficulties in cases where you've lost track of the time. I provide a principle of chance deference which handles these problem cases. This principle has a surprising consequence for Adam Elga's Sleeping Beauty Puzzle.

Could animals behave morally if they can’t mindread? Does morality require mindreading capacities? Moral psychologists believe mindreading is contingently involved in moral judgements. Moral philosophers argue that moral behaviour necessarily requires the possession of mindreading capacities. In this paper, I argue that, while the former may be right, the latter are mistaken. Using the example of empathy, I show that animals with no mindreading capacities could behave on the basis of emotions that possess an identifiable moral content. Therefore, at least (...) one type of moral motivation does not require mindreading. This means that, a priori, non-mindreading animals can be moral. (shrink)

This paper attempts to shed light on three sets of issues that bear directly on our understanding of Locke and Kant. The first is whether Kant believes Locke merely anticipates his distinction between analytic and synthetic judgments or also believes Locke anticipates his notion of synthetic a priori cognition. The second is what should we as readers of Kant and Locke should think about Kant’s view whatever it turns out to be, and the third is the nature of Kant’s (...) justification for the comparison he draws between his philosophy and Locke’s. I argue (1) that Kant believes Locke anticipates both the analytic-synthetic distinction and Kant’s notion of synthetic a priori cognition, (2) that the best justification for Kant’s claim draws on Locke’s distinction between trifling and instructive knowledge, (3) that the arguments against this claim developed by Carson, Allison, and Newman fail to undermine it, and (4) that Kant’s own justification for his claim is quite different from what many commentators have thought it was (or should have been). (shrink)

I am going to argue that it is a cost of libertarianism that it holds our status as agents hostage to theoretical physics, but that claim has met with disagreement. Some libertarians regard it as the cost of doing business, not a philosophical liability. By contrast, Peter van Inwagen has addressed the worry head on. He says that if he were to become convinced that causal determinism were true, he would not change his view that humans are free and morally (...) responsible. Rather, he would give up at least one of the formerly-thought-to-be a priori truths that are elements in his argument for the incompatibility of causal determinism and the relevant sort of freedom. Thus, according to van Inwagen, our status as free and morally responsible agents would not be held hostage to the physicists or hang on a thread I think that van Inwagen’s strategy for securing our freedom and responsibility is unattractive. Somewhat tendentiously, I have called the rejection of an a priori ingredient in the incompatibilist’s argument, contingent upon learning that causal determinism is true, ‘metaphysical fip-flopping.’ -/- And it does seem that van Inwagen’s approach is implausible insofar as he is open to such metaphysical fip-fopping. That he is open to it—that he would fip-fop if he became convinced of the truth of causal determinism—is a problem for his actual philosophical position. Or so I will argue. (shrink)

At the heart of the Stoic theory of modality is a strict commitment to bivalence, even for future contingents. A commitment to both future truth and contingency has often been thought paradoxical. This paper argues that the Stoic retreat from necessity is successful. it maintains that the Stoics recognized three distinct senses of necessity and possibility: logical, metaphysical and providential. Logical necessity consists of truths that are knowable a priori. Metaphysical necessity consists of truths that are knowable a posteriori, (...) a world order according to certain metaphysical principles and natures that god crafts within the constraints of matter. Finally, what is providentially necessary is what occurs according to the chain of fate, but only once it is in process or past. -/- The method of the paper is a close reading of Diogenes Laertius 7.75, adducing broad textual evidence along the way, to show that the Stoic theory of modality embraces Philonian possibility, both that which is capable of being true as a matter of logical consistency, and that which is possible according to the bare fitness of the entity. What differentiates the Stoics from Philo is their additional commitment to possibility as opportunity, resisting the collapse of determinism into necessity. (shrink)

In this contribution we explore revisionists and anti-revisionists conceptions of the historical imagination. The focus will be on how these conceptions of the historical imagination determine how one ought to answer the question of whether or not it is in principle possible to know the past in its own terms rather than from the perspective of the present. The contrast that we are seeking to draw is that between a conception of the historical imagination which is revisionist in the sense (...) that it is committed to the claim that knowledge of the past is in principle impossible, and one which is anti-revisionist in the sense that it regards knowledge of the past in its own terms to be in principle possible. Revisionism, as we understand it here, is not the contingent claim that in some cases (where, for example, new evidence which was previously unavailable comes to light) the historical understanding of the past may be revised; rather, it represents an a priori claim about the impossibility of knowing the past in its own terms in all cases, and not just in some. Likewise, anti-revisionism, as we understand it here, is the view that historical knowledge is in principle possible; it is not the claim that it is always achieved as a matter of fact. The debate between revisionist and anti-revisionist conceptions of the historical imagination is therefore a second-order debate about the nature of historical knowing, about whether it is possible, and if so, about what its conditions of possibility are. It is not a first order debate about whether or not such knowledge has been achieved in any given case. (shrink)

This paper argues there are crucial points in Nietzsche’s texts where he offers a priori epistemic justification for views he believes are correct. My reading contrasts with the dominant view that Nietzsche’s philosophical naturalism is incompatible with a priori justification. My aim is to develop Nietzsche’s brand of a priori justification, show that he employs this account of justification in the texts, and suggest how it might be compatible with naturalism.

Davidson’s epistemology, like Kant’s, features a transcendental argument as its centerpiece. Both philosophers reject any priority, whether epistemological or conceptual, of the subjective over the objective, attempting thus to solve the problem of the external world. For Davidson, three varieties of knowledge are coordinate—knowledge of the self, of other minds, and of the external world. None has priority. Despite the epistemologically coordinate status of the mind and the world, however, the content of the mind can be shown to entail how (...) it is out in the world. More exactly, Davidson argues, we could not possibly have the beliefs we have, with their contents, unless the world around us was pretty much the way we take it to be, at least in its general outline. We are thus offered a way to argue, to all appearances a priori, from how it is in our minds to how it is in the world. The argument is a priori at least in being free of premises or assumptions about contingent particularities concerning the world around us or our relation to it. From premises about the contents of our propositional attitudes, the argument wends its way to a conclusion about the general lines of how the world around us is structured and populated. Before presenting his own account, Davidson rejects received views of meaning and knowledge. What follows will combine themes from his critique of alternatives with his more positive account and how it deals with the skeptic. (shrink)

This article discusses the role of a priori and a posteriori knowledge and methods in metaphysics and metametaphysics. Issues discussed include the viability of the distinction, the continuity of a priori and a posteriori methods, connections to modal epistemology, and the role of the distinction for science and naturalistic metaphysics.