I argue that conventionalists should construe a posteriori necessity as restricted necessity. I take Sidelle’s defence of the conventionalist explanation of a posteriori necessity against the contingency problem as the starting point. Sidelle construes a posteriori necessity as unrestricted necessity and then argues that a posteriori necessity is to be considered under a fixed convention and is thus irrelevant to the contingent nature of our linguistic conventions. I offer a different (...) solution to the contingency problem. I argue that conventionalists should construe a posteriori necessity as restricted necessity based upon a use-based meta-semantic picture. Restricted necessity is contingent in a broader sense and does not conflict with the contingency of conventions. My solution allows conventionalists to explain a posteriori necessity as restricted necessity. I show that the realist’s arguments for a posteriori necessity are unconvincing in regard to real modal features and a posteriori necessity as unrestricted necessity. We thus have good reason to continue to accept a posteriori necessity as restricted necessity under the conventionalist explanation. (shrink)

Arguably, the proposition that Mark Twain is Samuel Clemens and the proposition that water is H2O are both a posteriori. Nevertheless, they both seem to be necessary. Ever since Davies and Humberstone :1–31, 1980), it has been known that two-dimensional semantics can account for this fact. But two-dimensionalism isn’t the only theory on the market that purports to do so. In this paper, I will look at two alternatives, one by Scott Soames and one by Kathrin Glüer-Pagin and Peter (...) Pagin, and argue that both of them fail. Regarding the former, I argue that the conceptually possible but metaphysically impossible worlds one is required to postulate are hard to conceive of on closer inspection. As for the latter, the proposal doesn’t work for certain modal sentences, and I show that it cannot be easily amended. (shrink)

The absence of a necessary connection in singular causation is a key step in the Humean argument against any form of necessity in causation. I argue that Hume's defence of this step is unsuccessful, and that the step could be skipped, accepting the possibility of necessary a posteriori truths. Still this does not suffice to guarantee a necessary connection in singular causation. Necessary a posteriori truths should be backed by necessary a priori truths. Thus, a main object (...) of this paper is to argue that an a priori philosophical concept of causality involves a necessary connection between its terms. (shrink)

In the mid twentieth century, logical positivists and many other philosophers endorsed a simple equation: something was necessary just in case it was analytic just in case it was a priori. Kripke’s examples of a posteriori necessary truths showed that the simple equation is false. But while positivist-style inferentialist approaches to logic and mathematics remain popular, there is no inferentialist account of necessity a posteriori. I give such an account. This sounds like an anti-Kripkean project, but it (...) is not. Some of Kripke’s remarks even suggest this kind of approach. This inferentialist approach reinstates neither the simple equation nor pure conventionalism about necessity a posteriori. But it does lead to something near enough, a type of impure conventionalism. In recent years, metaphysically heavyweight approaches to modality have been popular, while other approaches have lagged behind. The inferentialist, impure conventionalist theory of necessity I describe aims to provide a metaphysically lightweight option in modal metaphysics. (shrink)

The essence of the associated-proposition strategy is to distinguish the necessary proposition _expressed by_ a sentence.

This paper will look at three closely interrelated questions about necessary a posteriori identities, in particular concerning natural kinds. First-ly, what is the semantic phenomenon responsible for a posteriori necessities in general, and theoretical identity statements concerning natural kinds in particular? I will argue that rigidity, as it is usually defined, cannot do the job for theoretical identity statements. Rather, a posteriori necessities are grounded in a semantic phenomenon that I have in earlier work called actuality-dependence. Secondly, (...) what is the basis for this semantic phenomenon? In other words, what makes a given expression actuality-dependent, and thereby fit for appearing in a posteriori necessities? I will argue that actuality-dependence is grounded in our linguistic patterns and dispositions of application and interpretation. Thirdly and finally, what does this tell us about what essences are, and how we possess knowledge of them? I will claim that the view I am proposing gives direct support to a conferralist view of essences, at least when it comes to natural kinds. Moreover, the explanation of a posteriori necessities does not rely on independent essentialist premises; however, it does rely on essentialist beliefs or expectations on the part of ordinary speakers. (shrink)

Chalmers argues that zombies are possible and that therefore consciousness does not supervene on physical facts, which shows the falsity of materialism. The crucial step in this argument – that zombies are possible – follows from their conceivability and hence depends on assuming that conceivability implies possibility. But while Chalmers’s defense of this assumption – call it the conceivability principle – is the key part of his argument, it has not been well understood. As I see it, Chalmers’s defense of (...) the conceivability principle comes in his response to the so-called objection from a posteriori necessity. The defense aims at showing that there is no gap between conceivability and possibility since no such gap can be generated by necessary a posteriori truths. I will argue that while Chalmers is right to the extent that there is no gap between conceivability and possibility within the standard Kripkean model of a posteriori necessity, his general conclusion is not justified. This is because the conceivability principle might be inconsistent with a posteriori necessity understood in some non-Kripkean way and Chalmers has not shown that no such alternative understanding of a posteriori necessity is available. (shrink)

In Tichy's influential attack, a number of egregious errors are attributed to Kripke's seminal distinction of epistemic and metaphysical dimensions in meaning. I argue that Tichy's work is based on important misunderstandings. In particular Tichy attributes to Kripke the mistaken view that it is propositions, that is sets of worlds, which are the proper object of the appellation "a priori" and "a posteriori". I show that this is a mistaken attribution. Further, I argue that propositions cannot be uniquely associated (...) with these appellations. Thus, the position Tichy mistakenly attributes to Kripke, a position which Tichy actually endorses, is unsustainable. (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 article discusses Saul Kripke’s influential theories of a posteriori necessary truths and natural kinds. With respect to the statements of identity involving proper names, it is argued that although their truth is a posteriori and necessary in the specific sense of counterfactual invariance, this is of no significance for substantial philosophical issues beyond the philosophy of language, because this counterfactual invariance is a trivial consequence of the use of proper names as rigid designators. The case is made (...) that the expansion of the realm of necessary a posteriori truths to the statements of theoretical identity that involve “natural kind terms”, as well as the Kripkean essentialist theory of natural kinds, have no weighty argumentative support and fit badly both with science and language practice. This sets the stage for the development of an appropriately sophisticated “descriptivist” account of meaning and reference that would be better suited for a widened range of Kripke-Putnam style thought experiments. The general outlines of such a descriptivist account are provided. (shrink)

According to Donald Davidson, linguistic meaning is determined by the principle of charity. Because of Davidson's semantic behaviourism, charity's significance is both epistemic and metaphysical: charity not only provides the radical interpreter with a method for constructing a semantic theory on the basis of his data, but it does so because it is the principle metaphysically determining meaning. In this paper, I assume that charity does determine meaning. On this assumption, I investigate both its epistemic and metaphysical status: is charity (...) a priori or a posteriori? And what kind of necessity does it have? According to Davidson himself, charity is an a priori truth and its necessity is conceptual: it is essential to, or constitutive of, our common concepts of meaning and belief. Not only does this generate tension within Davidson's own, Quine-inspired epistemology, but there is independent reason to think of charity as an empirical truth. Even so, charity might be essential to belief and meaning in the sense of being an a posteriori necessity. I conclude that our ordinary modal intuitions might well support charity's psychological-nomological necessity, but that they do not reach all the way to metaphysical necessity. (shrink)

Most contemporary analytic philosophers of language and mind accept the view that there is a wide class of terms, “natural kind terms”, which includes names of substances (the most common example is “water”), of species of animals, and of many other kinds of things in nature, whose meaning and reference is determined in the way explained by the theory developed in the 1970s by Saul Kripke and Hilary Putnam. The theory is often referred to as “the Kripke-Putnam theory” and is (...) supposed to have such achievements as the overthrow of the earlier dominant Fregean theory of word-meanings (dubbed “descriptivism” by Kripke) as determined by the concepts in our minds, providing support for the “externalist” approach to linguistic meanings (in line with Putnam’s claim that “"Meanings" just ain’t in the head”), and the discovery that there is a wide class of truths (such as that water is H20) that are both a posteriori and necessary. Although the priority in the development of this theory belongs to Kripke, it could hardly gain such a wide acceptance without contributions by Putnam, which turned out to be very influential. However, the habitual idea of “the Kripke-Putnam theory”, as one theory, tends to play down the differences between Putnam’s and Kripke’s approaches and to hush up the fact that in his late works, of 1983 and 1990, Putnam revised and abandoned pretty much of his “Kripkean” views of 1970-ies; in particular, repudiated the pride of Kripke’s theory, the idea of necessary a posteriori truths. This article makes critical analysis and evaluation of Putnam’s ideas and arguments usually credited as important contributions to “the Kripke-Putnam theory”, and highlights the main points of the revision in late Putnam’s works. The case is made that Putnam's famous argument for externalism about meanings, the Twin-Earth thought experiment, is question-begging, fails to do justice to likely changes in the meanings of words with the development of knowledge, and conflicts with the linguistic practice in the relevantly similar case of “jade”. Putnam's argument for externalism from the division of linguistic labour is not cogent too, because “semantic deference” is itself a matter of what is there in “heads” - of some (non-expert) heads deferring to other (recognised as expert) heads. Eventually, on close inspection and in the light of Putnam's later reexplanation and revision, his account of meaning and reference turns out to be a sophisticated variety of conceptualism/internalism. (shrink)

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)

This paper challenges the Kripkean interpretation of a posteriori necessities. It will be demonstrated, by an analysis of classic examples, that the modal content of supposed a posteriori necessities is more complicated than the Kripkean line suggests. We will see that further research is needed concerning the a priori principles underlying all a posteriori necessities. In the course of this analysis it will emerge that the modal content of a posteriori necessities can be best described in (...) terms of a Finean conception of modality – by giving essences priority over modality. The upshot of this is that we might be able to establish the necessity of certain supposed a posteriori necessities by a priori means. (shrink)

This article argues for two related theses. First, it defends a general thesis: any kind of necessity, including metaphysical necessity, can only be known a priori. Second, however, it also argues that the sort of a priori involved in modal metaphysical knowledge is not related to imagination or any sort of so-called epistemic possibility. Imagination is neither a proof of possibility nor a limit to necessity. Rather, modal metaphysical knowledge is built on intuition of philosophical categories and (...) the structures they form. (shrink)

I critically assess Stephen Yablo’s claim that cassinis are ovals is an a posteriori conceptual necessity. One does not know it simply by mastering the relevant concepts but by substantial empirical scrutiny. Yablo represents narrow content by would have turned out -conditionals. An epistemic reading of such conditionals does not bear Yablo’s claim. Two metaphysically laden readings are considered. In one reading, Yablo’s conditionals test under what circumstances concepts remain the same while their extensions diverge. As an alternative, (...) I develop a more literal metaphysical interpretation: Yablo’s conditionals draw on scenarios which are qualitatively identical to some original situation. None of these interpretations sustains Yablo’s core thesis. (shrink)

This article aims to provide an a posteriori argument from love for the Trinity. A reformulation of the argument from love is made by proposing a novel version of the argument that is situated within an objective, empirical, natural theological framework. Reformulating the argument in this specific manner will enable it to ward of an important objection that is often raised against it, and ultimately render this argument of great use in establishing the necessity of the Trinity.

At the time that Quine wrote "Two Dogmas" an attack on analyticity was considered a simultaneous attack on the very idea of necessary truth. This all changed with Kripke's revival of a non-epistemic, non-linguistic notion of necessity. My paper discusses the question whether we can take Kripke one step further and free analyticity from its epistemic ties, thereby reinstating a notion of analyticity that is immune to Quine's attack, and compatible with his epistemic holism. I discuss this question by (...) examining Tyler Burge's claim that truths of meaning depend on features of the external environment and are a posteriori. I argue that although Burge's construal of analyticity circumvents Quine's objections, it is not well-motivated philosophically and has problematic implications. Kripke's strategy with respect to necessity, I conclude, is not easily transferable to analyticity. (shrink)

After a brief review of the notions of necessity and a priority, this paper scrutinizes Kripke's arguments for supposedly contingent a priori propositions and necessary a posteriori propositions involving proper names, and reaches a negative conclusion, i.e. there are no such propositions, or at least the propositions Kripke gives as examples are not such propositions. All of us, including Kripke himself, still have to face the old question raised by Hume, i.e. how can we justify the necessity (...) and universality of general statements on the basis of sensory or empirical evidence? (shrink)

This is the second in a two part series of articles that attempt to clarify the nature and enduring relevance of Kant's concept of a priori knowledge. (For Part I, see below.) In this article I focus mainly on Saul Kripke's critique of Kant, in Naming and Necessity. I argue that Kripke draws attention to a genuine defect in Kant's epistemological framework, but that he used definitions of certain key terms that were quite different from Kant's definitions. When Kripke's (...) definitions are replaced by Kant's definitions, Kripke's account of the status of naming turns out to be a defense of analytic aposteriority as a significant classification of knowledge that Kant neglected. I also introduce here a new way of understanding such epistemological labels, as defining the perspective adopted by the knowing subject in a given situation, rather than an objective characteristic of certain propositions as such. (shrink)

Many have argued that there is something that is a priori about all necessary truths, including a posteriori necessities. According to a particularly popular claim of this kind, one can know a priori whether a sentence is G-necessary, i.e. whether it is either necessarily true or necessarily false. In this paper, I identify the most plausible version of this claim and I argue that it fails. My discussion also reveals, and depends upon, an important feature of putative natural kind (...) terms that has been widely overlooked. I conclude by outlining a proposal of what is really a priori about necessities. (shrink)

We provide an account of necessary a posteriori identity statements that relies upon Perry’s multipropositionalism. On our account an utterance of, e.g., ‘Hesperus is Phosphorus’, semantically makes available several propositions, one of which is necessary (and a priori) and another of which is a posteriori (and contingent). Since our view resembles two-dimensionalism, one might assume that it is undermined by the sorts of nesting arguments that Soames and others have raised against two-dimensionalism. We demonstrate, however, that our account (...) is immune to such nesting arguments. (shrink)

The once deeply held conviction that all necessary truths are known a priori is now widely, although by no means universally agreed to have been subjected to penetrating, if not devastating criticism. Scott Soames, for example, on behalf of Saul Kripke, and indirectly of Hilary Putnam, argues that in respect of natural kinds, the introduction of basic essentialist assumptions grounded in our pre-theoretical habits of thinking and speaking – for example, that atomic or molecular structure provides the underlying essence of (...) a substance – allows a sentence like "water = H 2 0," in which the identity sign is flanked by rigid designators to express a metaphysically necessary truth. Yet doubts and puzzlement remain over the status of a posteriori necessities, including those relating to an individual's origin. This paper considers some prominent criticisms that have been made of the Kripke–Putnam approach by A. J. Ayer and Frank Ebersole among others and reveals in what respects they are valid, where they are misplaced, and, perhaps more importantly, why the most valuable aspect of this approach can be seen to reflect aspects of our scientific procedures that do indeed point towards an application for a distinction that roughly mirrors that between epistemic and metaphysical possibility, yet one that is grounded instead in the nature of our actual practices. (shrink)

According to Naming and Necessity, proper names usually work referentially as rigid designators. In this paper, I argue that proper names have also attributive uses that systematically emerge in particular contexts. Attributive uses are then exploited to show that simple identity claims (such as “Hesperus is Phosphorus”) are open to a double interpretation. The main aim of the paper is arguing that the impression that certain true identities are a posteriori is mostly due to one of the two (...) readings, a reading according to which, however, the expressed truth is only contingently true. (shrink)

In ‘Kripke on epistemic and metaphysical possibility: two routes to the necessary a posteriori’, Scott Soames identifies two arguments for the existence of necessary a posteriori truths in Naming and Necessity . He argues that Kripke's second argument relies on either of two principles, each of which leads to contradiction. He also claims that it has led to ‘two-dimensionalist’ approaches to the necessary a posteriori which are fundamentally at odds with the insights about meaning and modality (...) expressed in NN. I argue that the alleged second argument is not in NN. I identify the mistakes that lead to Soames' misinterpretation. (shrink)

Modal rationalism is the claim that for all p, if it is ideally conceivable that p, then there is a metaphysically possible world, W, in which p is true. This will be true just if there are no strong a posteriori necessities, where a strong necessity (for short) is a proposition that is conceivably false, but which is true in all metaphysically possible worlds. But are there any strong necessities? Various alleged examples have been proposed and argued over (...) in the literature, but there is no consensus on whether any is genuine. In this paper, I aim to move the debate forwards by proving that there are in fact no strong necessities. I argue that there are no strong necessities because they are impossible; they are impossible because the very notion of a strong necessity is – despite prima facie appearances – ultimately incoherent. Thus, I argue, it is an a priori truth that there are no strong necessities, and that modal rationalism itself is true. (shrink)

Alan Sidelle's Necessity, Essence, and Individuation is a sustained defense of empiricism—or, more generally, conventionalism—against recent attacks by realists. Sidelle focuses his attention on necessity a posteriori, a kind of necessity which contemporary realists have taken to support realism over empiricism. Turning the tables against the realists, Sidelle argues that if there are in fact truths necessary a posteriori, it is not realism, but rather empiricism which provides the best explanation for them.

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and (...) forces one to reject many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

Is experiential evidence irrelevant to acceptance or rejection of belief in the existence of a Divine Being? Charles Hartshorne answers that it is indeed irrelevant, and this answer has an initial and, for me, continuing surprising ring to it. Specifically, Hartshorne makes two distinguishable claims: the traditional allegedly a posteriori arguments, the teleological and cosmological, are in fact incompatible with empiricist methodology and are disguised ontological arguments; the conception of God as necessary being demands that belief in such a (...) being's existence or non-existence in no way depend upon empirical evidence. On the contrary, I shall argue, first, that empirical evidence for God is truly empirical and second, that there is no incompatibility between empirical evidence and necessary existence. My argument will involve an attempt to understand and clarify somewhat the very difficult concepts of ‘experience’ and ‘necessity’ as they arise in the context of religious epistemology. I wish to make clear at the outset that my aim is not to eliminate ontological arguments for God in favour of empirical arguments, for I believe that Hartshorne's work on the modal ontological argument contributes substantially to providing grounds for reasonable belief in theism. Rather, my purpose is to show that ontological and empirical patterns of theistic argumentation are neither incompatible with each other nor reducible to each other. (shrink)

In her 1938 paper ‘Logical and Metaphysical Necessity’, Martha Kneale introduces the necessarya posteriori. I present a critical summary of Kneale's argument that so-called ‘metaphysical propositions’ are necessary but nota priori. I argue that Kneale is well placed to offer a template for reconciling conceivability approaches to modal epistemology with the post-Kripkean trend for taking metaphysical necessities to have their source in mind-independent reality.

Plausible recent arguments for the existence of necessary truths a posteriori have led many philosophers to believe, at least implicitly, that conventionalism about necessity is false, and that necessity is in fact a real-world quantity. Necessary truths, on this view, are no more independent upon our linguistic conventions than any other truths; assertions of necessity and essential predications are, like any other claims, true or false as they correspond or not to a wholly independent reality. I (...) believe that this view is not supported by the finding of necessary truths a posteriori, and further, that we have excellent reason to reject this realism about necessity, and to accept instead a conventionalist account. My dissertation attempts to argue for this view, and to present and defend such a conventionalist account. ;In Chapter One, I present a conventionalist explanation of necessary truths a posteriori, and thus argue that the existence of such truths does not establish realism about necessity. My account makes use of general conventions which I call 'general principles of individuation.' If these principles are products of our conventions, then we can both allow for and explain how there can be such 'empirical' necessary truths within a conventionalist framework. ;Chapter Two argues that conventionalism about necessity and essences has traditionally been grounded in metaphysical worries about necessity, not upon now outdated epistemological and semantic views, as is often claimed by the opponents of conventionalism. ;In Chapter Three, I present my central arguments for conventionalism and against realism about necessity. I argue that only conventionalism can explain how we have the knowledge that we do of what is necessary, and further, that it is not even clear that we can make sense of necessity as an independent feature of the world. Chapter Four responds to worries stemming from the fact that my account requires that there be systematically important analytic truths. ;Finally, in Chapter Five, I attempt to apply my findings to the theory of reference. I argue that if conventionalism about necessity and essences is true, then empiricist semantics must be basically correct, and that causal theories of reference must thus be either compatible with empiricist semantics, or false. (shrink)

The aim of this paper is to discuss Kripkc?s reasons for declaring the existence of both necessary a posteriori as well as contingent a priori statements, thus breaking the traditional extensional coincidence of the two pairs of concepts:necessary?contingent and a priori?a posteriori. As I shall argue, there is no reason, from Kripke?s work at least, to reject the usual picture of the topic The appeal ot his arguments rests on the ambiguity with which his expressions are used and (...) on the introduction o\ new senses for old notions. This does not mean, however, that all Knpke?s and Putnam?s intuitions on singular terms and natural kind nouns are wrong. Once Kripke?s ideas are properly uudeistood, they are much moreharmless then they are presented to be and they do not pose a threat to traditional relations relations between modal and epistemological categories. (shrink)

Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity. He clears up some common misunderstandings of Kripke's views on rigid designation, causality and reference, and the necessary a posteriori and contingent a priori. Through his engagement with Kripke's ideas Hughes makes a significant contribution to ongoing debates on, (...) inter alia, the semantics of natural kind terms, the nature of natural kinds, the essentiality of origin and constitution, the relative merits of 'identitarian' and counterpart-theoretic accounts of modality, and the identity or otherwise of mental types and tokens with physical types and tokens. No specialist knowledge in either the philosophy of language or metaphysics is presupposed; Hughes's book will be valuable for anyone working on the ideas which Kripke made famous in the philosophy world. (shrink)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

This dissertation assesses the value of Cartesian conceivability arguments, with particular attention given to three contemporary debates surrounding the mind-body problem. Saul Kripke's separability argument utilized new developments surrounding the nature of necessity and the reference of proper names. For all its merit, the Kripkean separability argument is open to serious criticisms. I examine several standard objections to Kripke's arguments and maintain that none are successful. I also maintain, however, that it is possible to show, contrary to what Kripke (...) presupposes, that conceivability is not a reliable guide to possibility. I develop a new form of one of the standard objections, specifically, the objection that Kripke is mistaken in presupposing that conceivability is a reliable guide to possibility. I maintain that this objection is ultimately defensible. Next I examine the Cartesian arguments developed by David Chalmers in his The Conscious Mind. Chalmers relies heavily on conceivability arguments and has made the notion of a "philosophical zombie" something of a commonplace in attacks on physicalism. It is Chalmers's view that physicalism requires a strong supervenience thesis to the effect that all facts are dependent on or determined by physical facts. But according to Chalmers, this thesis is false because zombies are conceivable. It will be shown that Chalmers's arguments are vulnerable to the same types of criticisms that befall Kripke. Finally, I will examine a cluster of arguments conveniently called "Mode of Presentation" arguments. Advocates of this type of argument attempt to exploit the fact that if physicalism is true, we still cannot see a priori that phenomenal concepts and physical concepts refer to the same object or state of affairs. They then draw the conclusion that there must be special nonphysical properties associated with our phenomenal concepts which are responsible for the a posteriori nature of the mind-body relation. I will give two arguments showing where the MOP argument goes wrong. (shrink)

This essay reassesses the relation between Kant and Kripke on the relation between necessity and the a priori. Kripke famously argues against what he takes to be the traditional view that a statement is necessary only if it is a priori, where, very roughly, what it means for a statement to be necessary is that it is true and could not have been false and what it means for a statement to be a priori is that it is knowable (...) independently of experience. Call such a view the Entailment Thesis. Along with many Kant scholars, Kripke thinks that Kant endorses the Entailment Thesis. Thus Kripke and many others take his arguments against the Entailment Thesis to tell against Kant and to mark an important point of disagreement with him. I will argue that this is a mistake. Kant does not endorse the Entailment Thesis that Kripke and many others attribute to him. He does endorse two quite different theses concerning the relation between necessity and the a priori, as he conceives them. One is a matter of definition and the other is a very substantial philosophical thesis indeed—to establish it is the aim of the entire Critique of Pure Reason. But Kripke’s arguments against the Entailment Thesis tell against neither of Kant’s theses, as they involve crucially different conceptions of necessity and the a priori. This superficial lack of disagreement masks deep disagreements, but these result from divergent views regarding matters such as realism, modal epistemology, and philosophical methodology; views which Kant does a lot, and Kripke very little, to argue for. (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)

In this article, I present a novel account of a priori warrant, which I then use to examine the relationship between a priori and a posteriori warrant in mathematics. According to this account of a priori warrant, the reason that a posteriori warrant is subordinate to a priori warrant in mathematics is because processes that produce a priori warrant are reliable independent of the contexts in which they are used, whereas this is not true for processes that produce (...) a posteriori warrant. Following this, I show how this difference explains why a priori warranting processes, such as proof (and mathematical intuition) can, and a posteriori warranting processes cannot, definitively establish mathematical results. I then show why, in the event of a conflict between a priori and a posteriori warranting processes, the former undermine, and cannot be undermined by, the latter. Finally, I explain the connection between apriority and mathematical necessity, but do so in a way that allows for the existence of contingent a priori knowledge. (shrink)

Empiricist theories of knowledge are attractive for they offer the prospect of a unitary theory of knowledge based on relatively well understood physiological and cognitive processes. Mathematical knowledge, however, has been a traditional stumbling block for such theories. There are three primary features of mathematical knowledge which have led epistemologists to the conclusion that it cannot be accommodated within an empiricist framework: 1) mathematical propositions appear to be immune from empirical disconfirmation; 2) mathematical propositions appear to be known with certainty; (...) and 3) mathematical propositions are necessary. Epistemologists who believe that some nonmathematical propositions, such as logical or ethical propositions, cannot be known a posteriori also typically appeal to the three factors cited above in defending their position. The primary purpose of this paper is to examine whether any of these alleged features of mathematical propositions establishes that knowledge of such propositions cannot be a posteriori. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. (...) But, we moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

This paper advances a version of physicalism which reconciles the “a priori entailment thesis” (APET) with the analytic independence of our phenomenal and physical vocabularies. The APET is the claim that, if physicalism is true, the complete truths of physics imply every other truth a priori. If so, “cosmic hermeneutics” is possible: a demon having only complete knowledge of physics could deduce every truth about the world. Analytic independence is a popular physicalist explanation for the apparent “epistemic gaps” between phenomenal (...) and physical truths. The two are generally seen as incompatible, since the demon’s deductions seem to presuppose analytic connections between physical and phenomenal terms. I begin by arguing, in support of the APET, that implications from the complete truths of physics to phenomenal truths cannot be a posteriori. Such implications are (according to the physicalist) necessarily true. But they cannot be Kripke-style a posteriori necessities, since (according to the physicalist) the complete truths of physics fix any relevant a posteriori facts about the reference of terms. I then show how the physicalist can turn the tables: the demon can exploit the physical fixing of reference to bridge the gap between the vocabularies, by deducing when phenomenal and physical terms co-refer. This opens the way for a “type-C” physicalism, which accepts in-principle deducibility while still appealing to analytic independence to explain why we (who are not demons) find it impossible to see phenomenal-physical connections a priori. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways (...) in which these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

Modal rationalism is the claim that for any proposition p, if it is ideally conceivable that p, then there is a metaphysically possible world, W, in which p is true. If true, modal rationalism must itself be an a priori truth. Moreover, modal rationalism is true just if there are no strong a posteriori necessities. But are there any strong necessities? In this paper, I set out a transcendental argument to show that there cannot be any, because they are (...) not genuinely conceivable. I argue that if it were ideally conceivable that there are strong necessities, then it would be impossible for us to have any modal knowledge of the world. Given that we do have some modal knowledge of the world, it follows that strong necessities are not ideally conceivable and therefore that modal rationalism itself is an a priori truth. (shrink)

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of (...) these debates rest on how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

It is a contested question in contemporary theories of religion whether the concept of religion can be defined in a sound way or not. Many theorists maintain that a universal but delimiting definition is impossible. In this study, by contrast, it is argued that a conceptual analysis of religion that holds universally is perfectly possible because the following thesis can be seen as a necessary and sufficient conceptual condition of what religion is: X is a religion if and only if (...) X is a collection of artifacts which has the proper function of representing a supraphysical world. On this thesis, it is argued that artifacts such as pictorial and verbal representations, rituals, symbols, and various tools constitute religion as a cultural object, which, as a collection of artifacts, has the proper function of representing a conceived world that is not entirely physical, and which, allegedly, is a prerequisite for existential welfare in relation to observance. It is here important to understand what is constitutive for these kinds of conceived worlds. Supraphysical world is defined as follows. Given that the actual world is a physical world, a conception S is a construction of a supraphysical world if and only if both of the following conditions apply to S: Metaphysical component: S is a duplicate of the actual world with the addition of an anti-physical substance. Existential-normative component: S is an alleged prerequisite for existential welfare in relation to observance. The core argument of the study is that holds a priori for the concept of religion and as an a posteriori necessity for every instance of a religion. Apart from discussing the methodological problems of defining religion, the study introduces a new theory of religion in terms of. It addresses issues in the theory of artifacts; in the theory of representations; and in the theory of conceptual analysis. (shrink)

The main chapters of this thesis develop and defend a version of two-dimensional semantics that provides an account of Kripkean a posteriori necessity.