This review of Julian Barbour's The End of Time ([1999]) discusses his Machian theories of dynamics, and his proposal that a Machian perspective enables one to solve the problem of time in quantum geometrodynamics, viz. by saying that there is no time! 1 Introduction 2 Machian themes in classical physics 2.1 The status quo 2.2 Machianism 2.2.1 The temporal metric as emergent 2.2.2 Machian theories 2.2.3 Assessing intrinsic dynamics 3 The end of time? 3.1 Time unreal? The classical case 3.1.1 (...) Spontaneity 3.1.2 Barbour's vision: time capsules 3.2 Evidence from quantum physics? 3.2.1 Mott scattering as a model for time capsules 3.2.2 Solving the problem of time? (shrink)

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

This paper forms part of a wider campaign: to deny pointillisme. That is the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the structure of space and-or spacetime itself, especially a paper by Bricker (1993). (...) A companion paper argues against pointillisme in mechanics, especially about velocity; it focusses on Tooley, Robinson and Lewis. To avoid technicalities, I conduct the argument almost entirely in the context of ``Newtonian'' ideas about space and time. But both the debate and my arguments carry over to relativistic, and even quantum, physics. (shrink)

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

Many philosophers have been attracted to a restricted version of the principle of indifference in the case of self-locating belief. Roughly speaking, this principle states that, within any given possible world, one should be indifferent between different hypotheses concerning who one is within that possible world, so long as those hypotheses are compatible with one’s evidence. My first goal is to defend a more precise version of this principle. After responding to several existing criticisms of such a principle, I argue (...) that existing formulations of the principle are crucially ambiguous, and I go on to defend a particular disambiguation of the principle. According to the disambiguation I defend, how we should apply this restricted principle of indifference sensitively depends on our background metaphysical beliefs. My second goal is to apply this disambiguated principle to classical skeptical problems in epistemology. In particular, I argue that Eternalism threatens to lead us to external world skepticism, and Modal Realism threatens to lead us to inductive skepticism. (shrink)

Most of our best scientific descriptions of the world employ rates of change of some continuous quantity with respect to some other continuous quantity. For instance, in classical physics we arrive at a particle’s velocity by taking the time-derivative of its position, and we arrive at a particle’s acceleration by taking the time-derivative of its velocity. Because rates of change are defined in terms of other continuous quantities, most think that facts about some rate of change obtain in virtue of (...) facts about those other continuous quantities. For example, on this view facts about a particle’s velocity at a time obtain in virtue of facts about how that particle’s position is changing at that time. In this paper we raise a puzzle for this orthodox reductionist account of rate of change quantities and evaluate some possible replies. We don’t decisively come down in favour of one reply over the others, though we say some things to support taking our puzzle to cast doubt on the standard view that spacetime is continuous. (shrink)

Throughout the last two decades, Newton da Costa and his collaborators have developed some frameworks to help the interpretation of science. Two of them are particularly noteworthy: partial structures and quasi-truth (that provide a way of accommodating the openness and partiality of scientific activity), and quasi-set theory (that allows one to take seriously the idea, put forward by several physicists, that we can't meaningfully apply the notion of identity to quantum particles). In this paper I explore the interconnection between these (...) two frameworks. After reviewing the extant formulations of quasi-truth and quasi-set theory, I suggest a way of combining them, advancing a formulation of quasi-truth in quasi-set theory. In this way, a good sense can be made of the idea that quantum mechanics, if not true, is at least quasi-true. I then explore an application of this combined framework, arguing that it provides a conceptual setting appropriate to overcome two (philosophical) difficulties in van Fraassen's modal interpretation of quantum mechanics. (shrink)

In this paper, I examine Putnam’s nuanced views in the philosophy of mathematics, distinguishing three proposals: modalism, quasi-empirical realism, and an indispensability view. I argue that, as he shifted through these views, Putnam aimed to preserve a semantic realist account of mathematics that avoids platonism. In the end, however, each of the proposals faces significant difficulties. A form of skepticism then emerges.

According to modalism, modality is primitive. In this paper, we examine the implications of this view for modal epistemology, and articulate a modalist account of modal knowledge. First, we discuss a theoretical utility argument used by David Lewis in support of his claim that there is a plurality of concrete worlds. We reject this argument, and show how to dispense with possible worlds altogether. We proceed to account for modal knowledge in modalist terms.

The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worlds. Next the authors show that an (...) object-theoretic analysis of the Kaplan paradox reveals that there is no genuine paradox at all, as the central premise of the paradox is simply a logical falsehood and hence can be rejected on the strongest possible grounds—not only in object theory but for the very framework of propositional modal logic in which Kaplan frames his argument. The authors close by fending off a possible objection that object theory avoids the Russell paradox only by refusing to incorporate set theory and, hence, that the object-theoretic solution is only a consequence of the theory’s weakness. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

The Christian doctrine of the Trinity poses a serious philosophical problem. On the one hand, it seems to imply that there is exactly one divine being; on the other hand, it seems to imply that there are three. There is another well-known philosophical problem that presents us with a similar sort of tension: the problem of material constitution. We argue in this paper that a relatively neglected solution to the problem of material constitution can be developed into a novel solution (...) to the problem of the Trinity. (shrink)

Metaethical expressivism is typically characterised as the view that normative statements express desire-like attitudes instead of beliefs. However, in this paper I argue that expressivists should claim that normative statements express beliefs in normative propositions, and not merely in some deflationary sense but in a theoretically robust sense explicated by a theory of propositional attitudes. I first argue that this can be achieved by combining an interpretationist understanding of belief with a nonfactualist view of normative belief content. This results in (...) a view I call ‘interpretative expressivism’. I then argue that traditional arguments employed by expressivists that normative statements express noncognitive attitudes can just as well support the claim that normative statements express nonfactual or nonrepresentational beliefs. Finally, I argue that this view has a number of advantages to versions of expressivism that deny that normative statements express non-deflationary normative beliefs. (shrink)

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)

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)