Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...) the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

This paper outlines a new method for identifying folk intuitions to complement armchair intuiting and experimental philosophy, and thereby enrich the philosopher’s toolkit. This new approach—trope analysis—depends not on what people report their intuitions to be but rather on what they have made and engaged with; I propose that tropes in fiction reveal which theories, concepts and ideas we find intuitive, repeatedly and en masse. Imagination plays a dual role in both existing methods and this new approach: it enables us (...) to create the scenarios that elicit our intuitions, and also to mentally represent them. The method I propose allows us to leverage the imagination of the many rather than the few on both counts—scenarios are both created and consumed by the folk themselves. (shrink)

The paper takes off from the problem of finding a proper content for the relation of identity as it holds or fails to hold among ordinary things or substances. The necessary conditions of identity are familiar, the sufficient conditions less so. The search is for conditions at once better usable than the Leibnizian Identity of Indiscernibles (independently suspect) and strong enough to underwrite all the formal properties of the relation.It is contended that the key to this problem rests at the (...) level of metaphysics and epistemology alike with a sortalist position. Sortalism is the position which insists that, if the question is whether a and b are the same, it has to be asked what are they? Any sufficiently specific answer to that question will bring with it a principle of activity or functioning and a mode of behaviour characteristic of some particular kind of thing by reference to which questions of persistence or non-persistence through change can be adjudicated.These contentions are illustrated by reference to familiar examples such as the human zygote, the Ship of Theseus and Shoemaker's Brown-Brownson. The first example is hostage for a mass of unproblematical cases. The problems presented by the second and third sort of examples arise chiefly (it is claimed) from an incompleteness in our conceptions of the relevant sort—the what the thing in question is. That incompleteness need not prevent us from knowing perfectly well which thing we are referring to. In the concluding section, sortalism is defended against various accusations of anthropocentrism.The paper touches on the interpretation of Heraclitus, Leibniz's theory of clear indistinct ideas, the difficulties of David Lewis's ‘perdurantist’ or stroboscopic view of persistence, four-dimensionalism, and the relation of personal identity both to experiential memory and to the particular bodily physiognomy of a subject. At some points—as in connection with the so-called Only a and b rule—the paper corrects, supplements or extends certain theses or formulations proposed in the author's Sameness and Substance Renewed (2001). (shrink)

By an incomplete sentence we shall understand a declarative sentence that can be used, without variation in its meaning, to make different statements in different contexts. Although the point deserves supporting argument, which we will not provide, sentences whose grammatical subjects are indexical expressions or demonstratives are obvious, plausible examples of incomplete sentences. Uttered in one context the sentence ‘He is ill’ may be used to make one statement, for example, that George is ill, while in another context the very (...) same sentence may be used to make a quite different statement, for example, that Paul is ill. (shrink)

Thought experiments have played a pivotal role in many debates within ethics—and in particular within applied ethics—over the past 30 years. Nonetheless, despite their having become a commonly used philosophical tool, there is something odd about the extensive reliance upon thought experiments in areas of philosophy, such as applied ethics, that are so obviously oriented towards practical life. Herein I provide a moderate defence of their use in applied philosophy against those three objections. I do not defend all possible uses (...) of thought experiments but suggest that we should distinguish between legitimate and illegitimate uses. Their legitimate uses are determined not so much by the modal content of any actual thought experiment itself, but by the extent to which the argument in which it is nested follows basic tenets of informal logic and respects the fundamental contingency of applied ethical problems. In pursuing these ideas, I do not so much provide a set of criteria for their legitimate use, but more modestly present two significant ways in which their use can go awry. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

I introduce and defend the semantic notion of counterfactual identity, distinguishing it from the metaphysical notion of transworld identity. After showing that Lewis's counterpart theory misconstrues counterfactual identity facts, I outline and motivate a ‘Leibnizian counterpart theory’ where the notion of counterfactual identity is adequately modelled. Finally, I show that counterfactual identity can be characterized without relying on some implausible features of Lewis's theory of conditionals.

There are, broadly, three sorts of account of intrinsicality: ‘self-sufficiency’, ‘essentiality’ and ‘pure qualitativeness’. I argue for the last of these, and urge that we take intrinsic properties of concrete objects to be all and only those shared by actual or possible duplicates, which only differ extrinsically. This approach gains support from Francescotti’s approach: defining ‘intrinsic’ in contradistinction to extrinsic properties which ‘consist in’ relations which rule out intrinsicality. I answer Weatherson’s criticisms of Francescotti, but, to answer criticisms of my (...) own, I amend his account, proposing that possession of an extrinsic property consists in a relation to one or more actual or possible distinct concrete objects. Finally I indicate ways to avoid some apparent objections to this account. (shrink)

Saul Kripke’s modal essentialist argument against materialism remains an obstacle to any prospective Identity Theorist. This paper is an attempt to make room for an Identity Theory without dismissing Kripke’s analytic tools or essentialist intuitions. I propose an explanatory model that can make room for the Identity Theory within the constraints of Kripke’s view; the model is based on ideas from Alan Sidelle’s, “Identity and Identity-like” . My model explains the apparent contingency of some scientific identities by appealing to our (...) epistemic access to the conditions of identity for sensations and brain processes. Pace Kripke, the Identity Theorist can thus explain away the apparent contingency of mind-brain identity claims. (shrink)

We argue against the dominant view in the literature that concepts are modulated in lexical modulation. We also argue against the alternative view that ‘grab bags’ of information that don’t determine extensions are the starting point for lexical modulation. In response to the problems with these views we outline a new model for lexical modulation that dispenses with the assumption that there is a standing meaning of a general term that is modified in the cases under consideration. In applying general (...) terms we intend to conform with our linguistic ancestors and in doing so we take facts about the referents of these terms for granted. In cases of lexical modulation we become aware of facts we took for granted and we need to change the facts we take for granted in order to see ourselves as continuing in a practice. These changes result in utterances of the general term referring to different properties. In general, concepts are neither the starting point for lexical modulation nor the standing meanings of words. (shrink)

Classifying is a fundamental operation in the acquisition of knowledge. Taxonomic theory can help students of cognition, evolutionary psychology, ethology, anatomy, and sociobiology to avoid serious mistakes, both practical and theoretical. More positively, it helps in generating hypotheses useful to a wide range of disciplines. Composite wholes, such as species and societies, are “individuals” in the logical sense, and should not be treated as if they were classes. A group of analogous features is a natural kind, but a group of (...) homologous features is not. Imposing hypotheses justified only on the basis of nominalist, realist, phenomenalist, or conceptualist metaphysics upon the neurophysiology of organisms or upon the causes of behavior exemplifies the “psychologist's fallacy” of William James. Levels should be distinguished from their members and from classes of levels, and the ontological status of entities ranked at levels should be made clear. It is important not to confuse such categories as substance and process with one another. Several genetical terms, such as “gene” and chromosome,” are even more equivocal than has been realized. Discussions about units of selection, behavior, and thinking suffer from the ambiguity of a “unit of” an entity. An important source of misunderstanding about natural selection is the habit of treating it as an “agent”: in an important sense, natural selection does not “act” at all. (shrink)

I defend the claim that bodily continuity is the primary criterion of personal identity by arguing there is an important sense in which it (unlike rival criteria) is a necessary condition of such identity. This claim is shown to be misunderstood in recent discussions because of a confusion of it with the claim that bodily continuity is a sufficient condition of personal identity. In the course of my argument, I criticize williams, Shoemaker, Puccetti, Quinton, Miri, And others.

This is the introductory essay to a collection commemorating the 100th anniversary of the publication in Mind of Bertrand Russell’s paper ‘On Denoting’.

H. D. Lewis once remarked he did not think ‘any case for immortality can get off the ground if we fail to make a case for dualism’. Lewis vigorously defended both mind body dualism, the theory that minds are nonphysical, spatially unextended things in causal interaction with physical, spatially extended things, as well as the conceivability of an after life. Lewis defended the intelligibility of supposing distinct, individual persons continue existing after bodily death, possibly even after all physical objects pass (...) out of existence. Prominent philosophers such as Plato, Augustine, Descartes, Locke, Liebniz, and Reid have subscribed to both the truth of dualism and belief in continued personal existence after bodily death. Descartes' work might even be construed as reversing the order of Lewis' dictum. For Descartes, the case for dualism ‘gets off the ground’ because of the conceivability of an afterlife. Briefly put, Descartes sought to establish that a person is distinct from physical objects on the basis of it being metaphysically possible for a person to exist without his or her body, indeed without there being any physical objects whatever. If A can exist without B, then A is not identical with B. Thus, if it is possible for God to bring it about that I exist and there be no physical objects, I am not a physical object. The purpose of this article is not to develop a case for dualism, nor to query whether the case for immortality can get off the ground assuming nondualist theories of the self. I hope instead to assess a popular objection to dualism, and consequently to a dualist conception of the afterlife, which could be termed the problem of individuation. (shrink)

What purpose can be served by empirically unsubstantiated speculation in ethics? In answering that question, we need to distinguish between the major branches of ethics. In foundational moral philosophy, the use of speculative examples is warranted to the extent that ethical principles and theories are assumed to be applicable even under the extreme circumstances referred to in these examples. Such an assumption is in need of justification, and it cannot just be taken for granted. In applied ethics, the use of (...) unrealistic scenarios is more difficult to justify. It can be positively harmful if it diverts our attention from more urgent issues. Neuroethics is one of the areas of applied ethics where speculative scenarios have taken up much of the attention that could instead have been devoted to problems that are relevant for the treatment and care of patients. Speculative ethics has often been defended with mere possibility arguments that may at first hand seem difficult to refute. It is shown with examples how such claims can be defeated with a combination of science and argumentation analysis. (shrink)

Many philosophers have claimed possible worlds semantics is incoherent because of insoluble problems involved in the notion of identifying a single individual in different worlds. One frequent approach to trans-world identification has been to assume that all the possible worlds, complete with their populations, are described by means of qualities alone prior to our considering the question of identification of the same individual in each world in which it exists. If we interpret possible worlds semantics in this way, trans-world identification (...) could only be accomplished on the basis of some properties the individual has uniquely in every world in which it exists. This becomes problematic since the individual doesn't have the same properties in every world. In ‘Naming and Necessity’ and ‘Identity and Necessity’ Saul Kripke rejects such an account of both possible worlds and trans-world identification, developing an alternative interpretation of the new semantics. His approach involves a distinction between referring expressions which designate different individuals in different worlds according to the distribution of properties within each world and referring expressions which designate the same individual in every world. (shrink)

The notion of similarity plays a central role in Quine's theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine's theory has been ignored by several philosophers. Nominalism and realism: Universals and Scientific realism. Cambridge: (...) Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine's austere ontology; in particular, it does not assume the existence of properties and of possible worlds.. Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine's approach that have been raised by Armstrong and Oliver [. The metaphysics of properties. Mind, 105, 1-80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [. On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

The notion of similarity plays a central role in Quine’s theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine’s theory has been ignored by several philosophers (see, e.g., Armstrong, D. M. (1978a). Nominalism and (...) realism: Universals and Scientific realism (Vol. I). Cambridge: Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine’s austere ontology; in particular, it does not assume the existence of properties and of possible worlds. (I will mention below Quine’s reason for rejecting properties and possible worlds. For a theory of Universals that assumes possible worlds, see, e.g., Rodriguez-Pereyra, G. (2002). Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine’s approach that have been raised by Armstrong and Oliver [(1996). The metaphysics of properties. Mind, 105, 1–80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [(1986). On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

IntroductionThe identity thesis asserts that for every psychological state P there is a neural state N such that P=N. In the hope of rendering IT clear and plausible many identity theorists have compared psycho-neural identity claims to such theoretical identities as temperature is identical with molecular mean kinetic energy. However such a comparison admits a weak and a strong interpretation. According to the weak interpretation, psycho-neural identities are said to be like theoretical identities in the sense that the former are (...) contingent claims just as the latter are presumed to be. Identity theorists have appealed to the contingent status of IT in order to meet prima facie objections of the following sort. We can imagine ourselves undergoing a pain, although we are not undergoing the neural process which the identity theorist claims is identical with the pain. Indeed we can imagine ourselves being in pain and yet not having a brain at all. Hence IT is false. Identity theorists have replied by arguing that this objection merely shows that IT is not a necessary truth, or that psychological and neurological terms do not have the same meaning. (shrink)

Some wag reported the following story: Scholars have recently established that the Iliad and the Odyssey were not, after all, written by Homer. They were actually written by another author, of the same name.The majority of current theories of naming and reference, including ones as divergent in other respects as those of Russell and Searle, would rule this story impossible. They would do so on roughly these grounds: the sense and reference of the name ‘Homer’ is determined, given the absence (...) of other reliable testimony, by the sole description: ‘Author of the Iliad and the Odyssey’. ‘Homer is the author of the Iliad and the Odyssey’ is therefore known a priori, hence necessarily true. There could not be another author of that name and claim to fame.In lectures delivered at Princeton in the Winter of 1970, Saul Kripke offered a lucid alternative to such theories. (shrink)

In The Nature of Necessity, Alvin Plantinga asserts that “the number 7 exists necessarily and Socrates does not.” This is, to my way of thinking, reasonable enough. Unhappily, cannot be reconciled with Plantinga's further claims that an object x has a property P essentially or necessarily if and only if x has P in every world in which x exists and existence is itself, although not “an ordinary property,” nevertheless a property.