Many believe that intended harms are more difficult to justify than are harms that result as a foreseen side effect of one's conduct. We describe cases of harming in which the harm is not intended, yet the harmful act nevertheless runs afoul of the intuitive moral constraint that governs intended harms. We note that these cases provide new and improved counterexamples to the so-called Simple View, according to which intentionally phi-ing requires intending to phi. We then give a new theory (...) of the moral relevance of intention. This theory yields the traditional constraint on intending harm as a special case, along with several stronger demands. (shrink)

According to the Truthmaker Principle: every truth has a truthmaker. Attempts to come to grips with the Truthmaker Principle played a prominent role in Lewis’s metaphysical writings over the last fifteen years of his career. Although Lewis agreed that the truth of propositions must somehow be ontologically grounded, the Truthmaker Principle was too strong: it conflicted with two of Lewis’s most fundamental metaphysical assumptions, the uniqueness of composition and the Humean denial of necessary connections. Lewis endorsed instead a weaker principle: (...) Truth Supervenes on Being. But towards the end of his career, he changed course, noting that his critique of the Truthmaker Principle rested on essentialist assumptions that he, as a counterpart theorist, does not accept. Once freed from those assumptions, a counterpart theorist can accept the Truthmaker Principle after all without buying into unmereological composition and mysterious necessary connections. (shrink)

I propose an account truthmaking that provides truthmakers for negative truths. The account replaces Truthmaker Necessitarianism with a "Duplication Principle", according to which a suitable entity T is a truthmaker for a proposition P just in case the existence of an appropriate counterpart of T entails the truth of P, where the counterpart relation is cashed out in terms of qualitative duplication. My account captures an intuitive notion of truthmakers as "things the way they are", validates two appealing principles about (...) entailment and containment proposed by David Armstrong, and invalidates the controversial Disjunction Thesis. (shrink)

Philosophers often talk about the things we say, or believe, or think, or mean. The things are often called ‘propositions’. A proposition is what one believes, or thinks, or means when one believes, thinks, or means something. Talk about propositions is ubiquitous when philosophers turn their gaze to language, meaning and thought. But what are propositions? Is there a single class of things that serve as the objects of belief, the bearers of truth, and the meanings of utterances? How do (...) our utterances express propositions? Under what conditions do two speakers say the same thing, and what (if anything) does this tell us about the nature of propositions? There is no consensus on these questions—or even on whether propositions should be treated as things at all. During the second Propositions and Same-Saying workshop, which took place on July 19–21 2010 at the University of Sydney, philosophers debated these (and related) questions. The workshop covered topics in the philosophy of language, perception, and metaphysics. The present volume contains revised and expanded versions of the papers presented at the workshop. (shrink)

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. -/- In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

If realism about possible worlds is to succeed in eliminating primitive modality, it must provide an 'analysis' of possible world: nonmodal criteria for demarcating one world from another. This David Lewis has done. Lewis holds, roughly, that worlds are maximal unified regions of logical space. So far, so good. But what Lewis means by 'unification' is too narrow, I think, in two different ways. First, for Lewis, all worlds are (almost) 'globally' unified: at any world, (almost) every part is directly (...) linked to (almost) every other part. I hold instead that some worlds are 'locally' unified: at some worlds, parts are directly linked only to "neighboring" parts. Second, for Lewis, each world is (analogically) 'spatio-temporally' unified; every world is 'spatio-temporally' isolated from every other. I hold instead: a world may be unified by nonspatio-temporal relations; every world is 'absolutely' isolated from every other. If I am right, Lewis's conception of logical space is impoverished: perfectly respectable worlds are missing. (shrink)

In this discussion of Colin McGinn's book, 'Logical Properties', I comment first on the chapter "Existence", then on the chapter "Modality." With respect to existence, I argue that McGinn's view that existence is a property that some objects have and other objects lack requires the property of existence to be fundamentally unlike ordinary qualitative properties. Moreover, it opens up a challenging skeptical problem: how do I know that I exist? With respect to modality, I argue that McGinn's argument that quantificational (...) analyses of modality in terms of possible worlds are inevitably circular does not apply to modal theorists who hold that the notion of an impossible world is incoherent. (shrink)

I illustrate a challenge to a view that is a response to the Hole Argument. The view, sophisticated substantivalism, has been claimed to be the received view. While sophisticated substantivalism has many defenders, there is a fundamental tension in the view that has not received the attention it deserves. Anyone who defends or endorses sophisticated substantivalism, should acknowledge this challenge, and should either show why it is not serious or explain how to respond to it.

In this article I attempt to give an account of the thesis according to which composition is identity and of the criticisms that might be formulated against it. According to a weak version of the thesis, composition, in virtue of being analogous in important respects to identity, is as ontologically innocent as identity. According to the strong version of the thesis, composition is literally a species of the generic relation of identity, and is as ontologically innocent as any species of (...) identity. As we will see, the weak version begs the question or incurs in a non sequitur ; and the strong version is incoherent and faces a dilemma. Thus, composition is not identity: one thing cannot be identical to many things. (shrink)

Moderate composition as identity holds that there is a generalized identity relation, “being the same portion of reality,” of which composition and numerical identity are distinct species. Composition is a genuine kind of identity; but unlike numerical identity, it fails to satisfy Leibniz’s Law. A composite whole and its parts differ with respect to their numerical properties: the whole is one; the parts (collectively) are many. Moderate composition as identity faces the challenge: how, in the absence of Leibniz’s Law, can (...) one characterize what counts as a genuine kind of identity? This paper explores a promising answer: a genuine kind of identity must satisfy a version of Leibniz’s Law restricted to properties that ascribe qualitative character. Strong composition as identity holds that there is only one identity relation, that it satisfies Leibniz’s Law, and that the parts are identical with the whole that they compose. Strong composition as identity faces the challenge of showing that numerical properties do not provide counterexamples to Leibniz’s Law, and doing so in a way that is compatible with the framework of plural logic that is needed to formulate the theory. The most promising way to do this is to hold that plural logic is fundamental at the level of our representations, but not fundamental at the level of being. At the level of being, portions of reality cannot be characterized as either singular or plural. It turns out that the proposed moderate theory and the proposed strong theory are one and the same. In spite of its many attractions, I reject it. The main issue has to do with whether slice-sensitive emergent properties are possible. I argue that they are, making use both of specific examples and general principles of modal plenitude. I do not claim that my arguments are irresistible. But they cannot be evaded as easily as a related argument against strong composition as identity given by Kris McDaniel. I critically examine McDaniel’s argument to pave the way for my own. (shrink)

According to David Lewis, a realist about possible worlds must hold that actuality is relative: the worlds are ontologically all on a par; the actual and the merely possible differ, not absolutely, but in how they relate to us. Call this 'Lewisian realism'. The alternative, 'Leibnizian realism', holds that actuality is an absolute property that marks a distinction in ontological status. Lewis presents two arguments against Leibnizian realism. First, he argues that the Leibnizian realist cannot account for the contingency of (...) actuality. Second, he argues that the Leibnizian realist cannot explain why skepticism about one's own actuality is absurd. In this paper, I mount a defense of Leibnizian realism. (shrink)

Metaphysicians frequently appeal to the idea that theoretical simplicity is truth conducive in metaphysics, in the sense that, all other things being equal, simpler metaphysical theories are more likely to be true. In this paper I defend the notion that theoretical simplicity is truth conducive in metaphysics, against several recent objections. I do not give any direct arguments for the thesis that simplicity is truth conducive in metaphysics, since I am aware of no such arguments. I do argue, however, that (...) there is no special problem with the notion that simplicity is truth conducive in metaphysics. More specifically, I argue that if you accept the idea that simplicity is truth conducive in science, then it would be objectionably arbitrary to reject the idea that simplicity is truth conducive in metaphysics. (shrink)

Mereological nihilists hold that composition never occurs, so that nothing is ever a proper part of anything else. Substance dualists generally hold that we are each identical with an immaterial soul. In this paper, I argue that every popular objection to substance dualism has a parallel objection to composition. This thesis has some interesting implications. First, many of those who reject composition, but accept substance dualism, or who reject substance dualism and accept composition, have some explaining to do. Secondly, one (...) popular objection to mereological nihilism, one which contends that mereological nihilism is objectionable insofar as it is incompatible with the existence of people, is untenable. (shrink)

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.

Four-dimensionalists think that we persist over time by having different temporal parts at each of the times at which we exist. Eternalists think that all times are equally real. Deprivationists think that death is an evil for the one who dies because it deprives them of something. I argue that four-dimensionalist eternalism, conjoined with a standard deprivationist account of the evil of death, has surprising implications for what we should think about the evil of death. In particular, given these assumptions, (...) we will lack any grounds for thinking that death is an evil for some individuals for whom we would antecedently expect it to be an evil, namely those individuals who cease to exist at death. Alternatively, we will only have some grounds for thinking that death is an evil for certain individuals for whom we might antecedently be more inclined to think death is not an evil, namely those individuals who survive death, in the sense that they continue to exist after death. (shrink)

Epicurus seems to have thought that death is not bad for the one who dies, since its badness cannot be located in time. I show that Epicurus’ argument presupposes Presentism, and I argue that death is bad for its victim at all and only those times when the person would have been living a life worth living had she not died when she did. I argue that my account is superior to competing accounts given by Thomas Nagel, Fred Feldman and (...) Neil Feit. (shrink)

Recent literature on intrinsic value contains a number of disputes about the nature of the concept. On the one hand, there are those who think states of affairs, such as states of pleasure or desire satisfaction, are the bearers of intrinsic value (“Mooreans”); on the other hand, there are those who think concrete objects, like people, are intrinsically valuable (“Kantians”). The contention of this paper is that there is not a single concept of intrinsic value about which Mooreans and Kantians (...) have disagreed, but rather two distinct concepts. I state a number of principles about intrinsic value that have typically (though not universally) been held by Mooreans, all of which are typically denied by Kantians. I show that there are distinct theoretical roles for a concept of intrinsic value to play in a moral framework. When we notice these distinct theoretical roles, we should realize that there is room for two distinct concepts of intrinsic value within a single moral framework: one that accords with some or all of the Moorean principles, and one that does not. (shrink)

The paper defends a combination of perdurantism with mereological universalism by developing semantics of temporary predications of the sort ’some P is/was/will be (a) Q’. We argue that, in addition to the usual application of causal and other restrictions on sortals, the grammatical form of such statements allows for rather different regimentations along three separate dimensions, according to: (a) whether ‘P’ and ‘Q’ are being used as phase or substance sortal terms, (b) whether ‘is’, ‘was’, and ‘will be’ are the (...) ‘is’, ‘was’, ‘will be’ of identity or of constitution, and (c) whether ‘Q’ is being used as a subject or predicate term. We conclude that this latitude is beneficial, as it conforms with linguistic reality (i.e., the multiple uses actually in place) and also enables one to turn what is ordinarily perceived as a problem for universalist perdurantism viz., a commitment to all sorts of weird and gerrymandered temporally extended entities, into an advantage, for the richness in questions allows us to make sense of. (shrink)

Many philosophers think that the Substitution Objection decisively refutes Russellianism. This objection claims that sentences (1) and (2) can differ in truth value. Therefore, it says, the sentences express different propositions, and so Russellianism is false.

Should philosophers prefer simpler theories? Huemer (Philos Q 59:216–236, 2009) argues that the reasons to prefer simpler theories in science do not apply in philosophy. I will argue that Huemer is mistaken—the arguments he marshals for preferring simpler theories in science can also be applied in philosophy. Like Huemer, I will focus on the philosophy of mind and the nominalism/Platonism debate. But I want to engage with the broader issue of whether simplicity is relevant to philosophy.

Many who take a dismissive attitude towards metaphysics trace their view back to Carnap’s ‘Empiricism, Semantics and Ontology’. But the reason Carnap takes a dismissive attitude to metaphysics is a matter of controversy. I will argue that no reason is given in ‘Empiricism, Semantics and Ontology’, and this is because his reason for rejecting metaphysical debates was given in ‘Pseudo-Problems in Philosophy’. The argument there assumes verificationism, but I will argue that his argument survives the rejection of verificationism. The root (...) of his argument is the claim that metaphysical statements cannot be justified; the point is epistemic, not semantic. I will argue that this remains a powerful challenge to metaphysics that has yet to be adequately answered. (shrink)

Sober and Elgin defend the claim that there are a priori causal laws in biology. Lange and Rosenberg take issue with this on Humean grounds, among others. I will argue that Sober and Elgin don’t go far enough – there are a priori causal laws in many sciences. Furthermore, I will argue that this thesis is compatible with a Humean metaphysics and an empiricist epistemology.

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

Haecceitism is the thesis that, necessarily, in addition to its qualities, each thing has a haecceity or individual essence. The purpose of this paper is to expose a flaw in haecceitism: it entails that familiar cases of fission and fusion either admit of no explanation or else only admit of explanations too bizarre to warrant serious consideration. Because the explanatory problem we raise for haecceitism closely resembles the Euthyphro problem for divine command theory, we refer to our objection as the (...) haecceitic Euthyphro problem, or the Haecceitic Euthyphro for short. We conclude that the objection is decisive against haecceitism. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

According to David Lewis, the argument from temporary intrinsics is ‘the principal and decisive objection against endurance’. I focus on eternalist endurantism, discussing three different ways the eternalist endurantist can try to avoid treating temporary intrinsics as relational. Two of them, generally known as ‘adverbialism’ and ‘SOFism’, are familiar and controversial. I scrutinize them and argue that Lewis’ scepticism about them is well founded. Then, I sketch a further, to some extent new, version of eternalist endurantism, where the key idea (...) is that intrinsic monadic properties had simpliciter by objects are eternal, time-transcendent properties in Fine’s sense, i.e., properties had by objects regardless of time. Eternal properties of an object are ipso facto sempiternal. When something is P at one time and not P at another, it is radically indeterminate whether it is Psimpliciter or not. I argue that an account along these lines is better placed to treat intrinsic monadic properties of changing objects than any other known alternatives insofar as it recognizes that something is Psimpliciter ; it is able to account for x’s being P at a time in terms of something’s being P simpliciter; it has an answer to the question ‘is \simpliciter?’ when x is P at one time and not P at another. I conclude that endurantism is no less at ease with intrinsics than perdurantism is. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

Roughly, the problem of the Trinity is the problem of how God can be one and yet be the Father, the Son, and the Holy Spirit, which are three, not one. That one thing is identical with three distinct things seems to violate traditional laws of identity. I propose a solution to this problem according to which it is just an ordinary claim of one-many identity. For example, one pair of shoes is identical with two shoes; and my one body (...) is identical with its six limbs of arms, legs, head, and torso. The pair of shoes is not identical with each one of the two shoes, nor is my body identical with each one of its six limbs, but rather identical with all of them taken together, or collectively. I argue that the problem of the Trinity should be understood accordingly: God is identical with the Father, the Son, and the Holy Spirit collectively, but not with each one of them distributively. According to the way I develop this proposal, no traditional laws of identity are violated, but merely generalized in an intuitive way. I argue that this is compatible with Christian Orthodoxy as given by the Athanasian Creed. I end by responding to some anticipated objections. (shrink)

I show that a particular version of Hume's Dictum together with the falsity of Composition as Identity entails an incoherency, so either that version of Hume's Dictum is false or Composition as Identity is true. I conditionally defend the particular version of Hume's Dictum in play, and hence conditionally conclude that Composition as Identity is true. I end by suggesting an alternative way out for a persistent foe of Composition as Identity, namely mereological nihilism.

Many metaphysicians accept the view that, necessarily, any collection of things composes some further thing. Necessarily, my arms, legs, head, and torso compose my body; necessarily, my arms, my heart, and the table compose something y; necessarily, my heart and the sun compose something z; and so on. 1 Though there have been a few recent attempts to argue against the necessity of this principle of unrestricted composition the consensus is that if it is true, it is necessarily true. 2In (...) what follows I will join the few dissenters and argue that this principle of unrestricted composition is not necessarily true. If I am right, it follows that either some principle of restricted composition is necessarily true or the existence of composite objects is a contingent matter. I will end by indicating why the latter option seems the most plausible. 3I proceed by reductio. Assume the following: Unrestricted composition is necessarily true.That is, assume that necessarily, any collection of things composes something. Then, necessarily, the collection of everything composes something. That is, necessarily, there exists a universal object U having all things as parts, not itself being a proper part of anything. Hence, by our assumption, we get: There must be a universal object U.It is important to note that this is so whether the world is finite or infinite. Holding that in worlds of finite cardinality there is a universal object U while in worlds of infinite cardinality there is no universal object U amounts to accepting a restricted form of composition. 4Now consider the following scenario. Everything in this world is spatially extended and just one half of something else that is also spatially extended. That is, for any thing in this world, there is something else of which …. (shrink)

There are at least two traditional conceptions of numerical degree of similarity. According to the first, the degree of dissimilarity between two particulars is their distance apart in a metric space. According to the second, the degree of similarity between two particulars is a function of the number of (sparse) properties they have in common and not in common. This paper argues that these two conceptions are logically independent, but philosophically inconsonant.

This paper argues for a possible worlds theory of the content of pictures, with three complications: depictive content is centred, two-dimensional and structured. The paper argues that this theory supports a strong analogy between depictive and other kinds of representation and the platitude that depiction is mediated by resemblance.

If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...) expect it to follow that a sum of connected self-connected individuals is self-connected too. In this paper, we present some surprising countermodels which show that this conjecture is incorrect. (shrink)

The paper discusses approaches to Epistemic Contextualism that model the satisfaction of the predicate ‘know’ in a given context C in terms of the notion of belief/fact-matching throughout a contextually specified similarity sphere of worlds that is centred on actuality. The paper offers three counterexamples to approaches of this type and argues that they lead to insurmountable difficulties. I conclude that what contextualists (and Subject-Sensitive Invariantists) have traditionally called the ‘epistemic standards’ of a given context C cannot be explicated in (...) terms of a contextually specified similarity sphere that is centred on actuality. The mentioned accounts of epistemic relevance and thus the corresponding accounts of the context-sensitivity (or subject-sensitivity) of ‘knows’ are to be rejected. (shrink)

In this paper, a metaphysics is proposed that includes everything that can be represented by a well-founded multiset. It is shown that this metaphysics, apart from being self-explanatory, is also benevolent. Paradoxically, it turns out that the probability that we were born in another life than our own is zero. More insights are gained by inducing properties from a metaphysics that is not self-explanatory. In particular, digital metaphysics is analyzed, which claims that only computable things exist. First of all, it (...) is shown that digital metaphysics contradicts itself by leading to the conclusion that the shortest computer program that computes the world is infinitely long. This means that the Church-Turing conjecture must be false. Secondly, the applicability of Occam’s razor is explained by evolution: in an evolving physics it can appear at each moment as if the world is caused by only finitely many things. Thirdly and most importantly, this metaphysics is benevolent in the sense that it organizes itself to fulfill the deepest wishes of its observers. Fourthly, universal computers with an infinite memory capacity cannot be built in the world. And finally, all the properties of the world, both good and bad, can be explained by evolutionary conservation. (shrink)

This is the first part of a larger project that aims to develop a cross-categorical semantic account of a broad range of _as if_ constructions in English. In this paper, we focus on descriptive uses of _as if_ with regular truth-conditional content. The core proposal is that _as if_-phrases contribute hypothetical (_if_-like) and comparative (_as_-like) properties of situations, which are instantiated by an event, state, or larger situation when it resembles in some relevant respect its counterparts in selected stereotypical worlds (...) described by the clause embedded under _as if_. We motivate and develop this situation-semantic analysis in detail for examples like _Pedro danced as if he was possessed by demons_ where the modifying _as if_-adjunct is used to inferentially convey the manner of a reported activity. We extend this analysis to _as if_-complements of perception verbs in reports like _The soup tastes as if it contains fish sauce_, offering an alternative to conceptually problematic approaches that assimilate such perceptual resemblance reports to propositional attitude ascriptions. We also examine the predicative function of _as if_ in examples like _The state of the house is as if a tornado passed through it_ where the _as if_-phrase denotes a hypothetical comparative property of the nominal subject. (shrink)

According to the psychological account of personal identity, our identity is based on the continuity of psychological connections, and so we do not begin to exist until these are possible, some months after conception. This entails the psychological account faces a challenge from the non-identity problem—our intuition that someone cannot be harmed by actions that are responsible for their existence, even if these actions seem clearly to cause them harm. It is usually discussed with regard to preconception harms, but in (...) the context of the psychological account, it is also applicable to prenatal harms. Inflicting prenatal injury is widely thought to be morally impermissible, but if the injury is identity-determining on the psychological account, then no-one seems to be harmed—rather, the injury is responsible for bringing them into existence. Here, I argue that identity-determining injuries can routinely occur on the psychological account, and that this undermines the account. I assess Nicola Williams’ proposal to salvage the account based on a trans-world account of personal identity, and show that it is unsuccessful. I then show that Jeff McMahan’s embodied mind account of personal identity is also susceptible. I conclude that identity-determining prenatal injuries pose a significant challenge for the psychological account and its variants, and provide a reason for supporting alternative accounts that fix personal identity at conception. (shrink)

Any adequate theory of chance must accommodate some version of David Lewis's ‘Principal Principle’, and Lewis has argued forcibly that believers in primitive propensities have a problem in explaining what makes the Principle true. But Lewis can only derive (a revised version of) the Principle from his own Humean theory by putting constraints on inductive rationality which cannot be given a Humean rationale.

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

In this paper we explore the potential bearing of the extended mind thesis—the thesis that the mind extends into the world—on epistemology. We do three things. First, we argue that the combination of the extended mind thesis and reliabilism about knowledge entails that ordinary subjects can easily come to enjoy various forms of restricted omniscience. Second, we discuss the conceptual foundations of the extended mind and knowledge debate. We suggest that the theses of extended mind and extended knowledge lead to (...) a bifurcation with respect to the concepts of belief and knowledge. We suggest that this conceptual bifurcation supports a form of pluralism about these concepts. Third, we discuss whether something similar can be said at the metaphysical level. (shrink)

Dispositional monism is the view that natural properties and relations are ‘pure powers’. It is objected that dispositional monism involves some kind of vicious or otherwise unpalatable regress or circularity. I examine ways of making this objection precise. The most pressing interpretation is that is fails to make the identities of powers determinate. I demonstrate that this objection is in error. It does however puts certain constraints on what the structure of fundamental properties is like. I show what a satisfactory (...) structure would be. (shrink)

If, as some philosophers maintain, there are no composites, we do not have to ask whether, as others hold, composition is identity. Here I argue that both groups are wrong: there are composites, and composition is not identity. I examine one argument for excluding composites from our ontology, based on their alleged causal redundancy. I give reason to think that composites are ineliminable in causal explanations of macroscopic effects. I go on to argue that the relation between composites and their (...) components is not one of identity. (shrink)

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

In his (2002) Gonzalo Rodriguez-Pereyra provides a powerful articulation of the claim that Resemblance Nominalism provides the best answer to the so-called Problem of Universals. Resemblance Nominalism has not been popular for some time, and one influential reason for this is the widespread belief that Resemblance Nominalism cannot dispense with all universals. The realist critics appeal to what is known as Russell’s Regress (cf. Russell 1997). If properties are to be explained in terms of one object’s resembling another, then this (...) seems to leave the relational property of resemblance itself unexplained. The critics’ objection is that this property itself must be explained by a dyadic universal of resemblance. (shrink)