In a series of articles, Kit Fine presents some highly compelling objections to monism, the doctrine that spatially coincident objects are identical. His objections rely on Leibniz’s Law and linguistic environments that appear to be immune to the standard charge of non-transparency and substitution failure. In this paper, I respond to Fine’s objections on behalf of the monist. Following Benjamin Schnieder, I observe that arguments from Leibniz’s Law are valid only if they involve descriptive, rather than metalinguistic, negation. Then I (...) show that the monist is justified in treating the negation in Fine’s objections as metalinguistic in nature. Along the way I make a few methodological remarks about the interaction between the study of natural language and metaphysics. I also present evidence that some of the linguistic environments which Fine relies on are, contrary to appearances, non-transparent. (shrink)

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that anti-resemblism is (...) true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

In this paper, I examine the putative incompatibility of three theses: (1) Haecceitism, according to which some maximal possibilities differ solely in terms of the non-qualitative or de re possibilities they include; (2) Modal correspondence, according to which each maximal possibility is identical with a unique possible world; (3) Counterpart theory, according to which de re modality is analyzed in terms of counterpart relations between individuals. After showing how the modal realism defended by David Lewis resolves this incompatibility by rejecting (...) modal correspondence, I defend modal correspondence and develop an alternative strategy for reconciling these theses. Specifically, I examine Lewis’s arguments against non-qualitative counterpart theory and undermine them by developing a novel version of non-qualitative counterpart theory that appeals to a metaphysics of bare particulars. I then indicate how this version of non-qualitative counterpart theory accommodates both haecceitism and modal correspondence. (shrink)

In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...) substance (Hawthorne, 1995). In 1997, A and B met again (Zimmerman, 1997). A took Hawthorne’s advice and revealed himself as a universal-bundle theorist. But B was well-prepared, and once more A took a beating. Since then Gonzalo Rodriguez-Pereyra (2004) has put the boot in, offering further criticism of A’s position. In recent years A has been rather quiet, leaving B to reign as the undisputed champion. However, it turns out that A is down, but not out. And now it’s time for A’s revenge. (shrink)

The extended-mind thesis says that mental states can extend beyond one’s skin. Clark and Chalmers infer from this that the subjects of such states also extend beyond their skin: the extended-self thesis. The paper asks what exactly the extended-self thesis says, whether it really does follow from the extended-mind thesis, and what it would mean if it were true. It concludes that the extended-self thesis is unattractive, and does not follow from the extended mind unless thinking beings are literally bundles (...) of mental states. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

Leibniz’s Law (or as it sometimes called, ‘the Indiscerniblity of Identicals’) is a widely accepted principle governing the notion of numerical identity. The principle states that if a is identical to b, then any property had by a is also had by b. Leibniz’s Law may seem like a trivial principle, but its apparent consequences are far from trivial. The law has been utilised in a wide range of arguments in metaphysics, many leading to substantive and controversial conclusions. This article (...) discusses the applications of Leibniz’s Law to arguments in metaphysics. It begins by presenting a variety of central arguments in metaphysics which appeal to the law. The article then proceeds to discuss a range of strategies that can be drawn upon in resisting an argument by Leibniz’s Law. These strategies divide into three categories: (i) denying Leibniz’s Law; (ii) denying that the argument in question involves a genuine application of the law; and (iii) denying that the argument’s premises are true. Strategies falling under each of these three categories are discussed in turn. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

This thesis is about the conceptualization of persistence of physical, middle-sized objects within the theoretical framework of the revisionary ‘B-theory’ of time. According to the B-theory, time does not flow, but is an extended and inherently directed fourth dimension along which the history of the universe is ‘laid out’ once and for all. It is a widespread view among philosophers that if we accept the B-theory, the commonsensical ‘endurance theory’ of persistence will have to be rejected. The endurance theory says (...) that objects persist through time by being wholly present at distinct times as numerically the same entity. Instead of endurantism, it has been argued, we have to adopt either ‘perdurantism’ or the ‘stage theory’. Perdurantism is the theory that objects are four-dimensional ‘space-time worms’ persisting through time by having distinct temporal parts at distinct times. The stage theory says that objects are instantaneous temporal parts (stages) of space-time worms, persisting by having distinct temporal counterparts at distinct times. In the thesis, it is argued that no good arguments have been provided for the conclusion that we are obliged to drop the endurance theory by acceptance of the B-theory. This conclusion stands even if the endurance theory incorporates the claim that objects endure through intrinsic change. It is also shown that perdurantism and the stage theory come with unwelcome consequences. -/- Paper I demonstrates that the main arguments for the view that objects cannot endure in B-time intrinsically unchanged fail. Papers II and III do the same with respect to the traditional arguments against endurance through intrinsic change in B-time. Paper III also contains a detailed account of the semantics of the tenseless copula, which occurs frequently in the debate. The contention of Paper IV is that four-dimensional space-time worms, as traditionally understood, are not suited to take dispositional predicates. In Paper V, it is shown that the stage theory needs to introduce an overabundance of persistence-concepts, many of which will have to be simultaneously applicable to a single object (qua falling under a single sortal), in order for the theory to be consistent. The final article, Paper VI, investigates the sense in which persistence can, as is sometimes suggested, be a ‘conventional matter’. It also asks whether alleged cases of ‘conventional persistence’ create trouble for the endurance theory. It is argued that conventions can only enter at a trivial semantic level, and that the endurance theory is no more threatened by such conventions than are its rivals. (shrink)

What justifies our holding a person morally responsible for some past action? Why am I justified in having a special prudential concern for some future persons and not others? Why do many of us think that maximizing the good within a single life is perfectly acceptable, but maximizing the good across lives is wrong? In these and other normative questions, it looks like any answer we come up with will have to make an essential reference to personal identity. So, for (...) instance, it seems we are justified in holding X responsible for some past action only if X is identical to the person who performed that action. Further, it seems I am justified in my special concern for some future person only if he will be me. Finally, many of us think that while maximization within a life affects only one person, a metaphysical unity, maximization across lives affects many different, metaphysically distinct, persons, and so the latter is wrong insofar as it ignores this fundamental separateness of persons. (shrink)

After sketching some aspects of truthmaker doctrines and "truthmaker projects", and canvassing some prima facie objections to the latter, I turn to an issue which might seem to involve confusion about the nature of character of truthmakers if such there be, viz for statements of identity and (specially) distinctness. The real issue here is versions of the Identity of Indiscernibles. I discuss ways of discriminating versions, which are almost certainly true but trivial, which almost certainly substantive but false, and explore (...) an interesting intermediate possibility which might if developed yield a plausibly true yet not-entirely-trivial version of the doctrine: it is equivalent to what I call "the Denial of Bare Distinctness". (shrink)

In 1988, Michael Nyman composed the score for Peter Greenaway’s film Drowning by Numbers (or did something that we would ordinarily think of as composing that score). We can think of Nyman’s compositional activity as a “generative performance” and of the sound structure that Nyman indicated (or of some other abstract object that is appropriately related to that sound structure) as the product generated by that performance (ix).1 According to one view, Nyman’s score for Drowning by the Numbers—the musical work—is (...) the product generated by Nyman’s compositional activity (namely, an abstract object) and, more generally, artworks are identified with the products generated by compositional or other creative activities. Let’s call this view The Product Theory. By contrast, according to another view, Nyman’s score for Drowning by Numbers is the generative performance itself (namely, Nyman’s compositional activity) and, more generally, artworks are identified with generative performances themselves. Following David Davies in Art as Performance, let’s call this view The Performance Theory (80). In that book, Davies argues for The Performance Theory and against The Product Theory. (shrink)

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

If a counterpart theorist’s understanding of the counterpart relation precludes haecceitist differences between possible worlds, as David Lewis’s does, how can he admit haecceitist possibilities, as Lewis wants to? Lewis (Philosophical Review 3–32, 1983; On the Plurality of Worlds, 1986) devised what he called a ‘cheap substitute for haecceitism,’ which would allow for haecceitist possibilities while preserving the counterpart relation as a purely qualitative one. The solution involved lifting an earlier (Journal of Philosophy 65(5):113–126, 1968; 68(7):203–211, 1971) ban on there (...) being multiple intra-world counterparts. I argue here that serious problems for ‘cheap haecceitism’ lurk very close to its surface, and they emerge when we consider the effect of using an actuality operator in our language. Among the most serious of the problems is the result that being the case in some possible world does not always suffice for possibly being the case. The result applies to any counterpart theory that employs a purely qualitative counterpart relation. The upshot is that if we are to admit haecceitist possibilities, as we should, then we must reject any purely qualitative relation as the one involved in the analysis of what might have been for an individual. (shrink)

In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart-theoretic interpretation of the determinacy operators. I attempt to motivate a counterpart-theoretic reading of the determinacy operators and then show that, understood counterpart-theoretically, Evans’ argument is straightforwardly invalid.

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is Kripkean in that the counterpart (...) relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

This paper is about a puzzle concerning the metaphysics of material objects: a puzzle generated by cases where material objects appear to coincide, sharing all their matter. As is well known, it can be illustrated by the example of a statue. In front of me now, sitting on my desk, is a statue – a statue of a lion. The statue is made of clay. So in front of me now is a piece of clay. But what is the relation (...) between the statue and the piece of clay? Are they identical, or are they distinct? (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

Existing puzzles about coinciding objects can be divided into two types, corresponding to the manner in which they bear upon the endurantism v. perdurantism debate. Puzzles of the first type, which involve temporary spatial co-location, can be solved simply by abandoning endurantism in favor of perdurantism, whereas those of the second type, which involve career-long spatial co-location, remain equally puzzling on both views. I show that the possibility of backward time travel would give rise to a new type of puzzle. (...) The new puzzles confront perdurantists and can be solved just by shifting to endurantism. (shrink)

Essence and causation are fundamental in metaphysics, but little is said about their relations. Some essential properties are of course causal, as it is essential to footprints to have been caused by feet. But I am interested less in causation's role in essence than the reverse: the bearing a thing's essence has on its causal powers. That essencemight make a causal contribution is hinted already by the counterfactual element in causation; and the hint is confirmed by the explanation essence offers (...) of something otherwise mysterious, namely, how events exactly alike in every ordinary respect, like the bolt'ssuddenly snapping and its snapping per se, manage to disagree in what they cause. Some prior difference must exist between these events to make their causal powers unlike. Paradoxically, though, it can only be in point of a property, suddenness, which both events possess in common. Only by postulating a difference in themanner — essential or accidental — of the property's possession is the paradox resolved. Next we need an account of causation in which essence plays an explicit determinative role. That account, based on the idea that causes should becommensurate with their effects, is thatx causesy only if nothing essentially poorer would have done, and nothing essentially richer was needed. (shrink)

Here I propose a coherent way of preserving the identity of material objects with the matter that constitutes them. The presentation is formal, and intended for RSL. An informal presentation is in preliminary draft! -/- Relative-sameness relations—such as being the same person as—are like David Lewis's "counterpart" relations in the following respects: (i) they may hold between objects that aren't identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different (...) contexts. They differ from counterpart relations, however, in that they are weak equivalence relations (transitive, symmetric and weakly reflexive). The likenesses to counterpart relations make them suitable for an analysis of de-re temporal and modal predications. The difference renders the resulting counterpart theory immune to standard criticisms of Lewis's Counterpart Theory (e.g., in Hazen 1979, and Fara and Williamson 2005). (shrink)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable consequences for (...) the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Some philosophers believe that everyday objects are 4-dimensional spacetime worms, that a person (for example) persists through time by having temporal parts, or stages, at each moment of her existence. None of these stages is identical to the person herself; rather, she is the aggregate of all her temporal parts.1 Others accept “three dimensionalism”, rejecting stages in favor of the notion that persons “endure”, or are “wholly present” throughout their lives.2 I aim to defend an apparently radical third view: not (...) only do I accept person stages; I claim that we are stages.3 Likewise for other objects of our everyday ontology: statues are statue-stages, coins are coin-stages, etc. At one level, I accept the ontology of the worm view. I believe in spacetime worms, since I believe in temporal parts and aggregates of things I believe in. I.. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (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)

Mentalistic (or Lockean) accounts of personal identity are normally formulated in terms of causal relations between psychological states such as beliefs, memories, and intentions. In this paper we develop an alternative (but still Lockean) account of personal identity, based on phenomenal relations between experiences. We begin by examining a notorious puzzle case due to Bernard Williams, and extract two lessons from it: first, that Williams's puzzle can be defused by distinguishing between the psychological and phenomenal approaches, second, that so far (...) as personal identity is concerned, it is phenomenal rather than psychological continuity that matters. We then consider different ways in which the phenomenal approach may be developed, and respond to a number of objections. That with which the consciousness of this present thinking thing can join itself, makes the same person, and is one self with it, and with nothing else; and so attributes to itself and owns all the actions of that thing, as its own, as far as that consciousness reaches, and no farther; as every one who reflects will perceive. Locke, Essay Concerning Human Understanding [II.xxvii.17]. (shrink)

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)

I review Ninan’s Hundred Tickets case pertaining to quantification into epistemic modal contexts, and his counterpart theoretic way to address it (Ninan, Philos Rev, 2018). Ninan’s solution employs a ‘counterpart relation’ parameter intended to reflect how the domain of quantification is thought of in a context. This approach theoretically rules out the possibility of contexts where different ways of thinking about the domain can be deployed through different quantificational noun phrases. I bring out the case of the multiply de re (...) modal statement "Any ticket in photo #2 might be any ticket in photo #1" to challenge Ninan’s approach. I propose a different approach adapting a more complex ‘counterpart relation’ parameter due to Rabern (Inquiry, 2021). I attempt to flesh it out by relating it to a finer grained notion of epistemic possibility involving assignments to discourse referents. My approach can account for the aforementioned multiply de re statement, as well as address the Hundred Tickets case. (shrink)

Monists and pluralists disagree concerning how many ordinary objects there are in a single situation. For instance, pluralists argue that a statue and the clay it is made of have different properties, and thereby are different. The standard monist’s response is to hold that there is just a single object, and that, under the description “being a statue”, this object is, e.g., aesthetically valuable, and that, under the description “being a piece of clay”, it is not aesthetically valuable. However, Fine (...) provided an ontological reading of the expression “an object under a description”: the theory of rigid embodiments. The debate between monists and pluralists reduplicates in the domain of ordinary occurrences, like walks and conferences. Specifically, they disagree whether an occurrence in progress (also called “process”) like John’s walk that is happening at tn is identical to some completed occurrence (also called “event”) like John’s walk that happened between, e.g., t1 and tn. Under the adoption of the pluralist’s position, the article aims to provide a novel theory of ordinary occurrences that develops the ontological reading of “under a description” to account for occurrences in progress and completed occurrences. As a first result, we formulate a theory according to which both occurrences in progress and completed occurrences are rigid embodiments. As a second result, we argue that the suggested theory is explanatorily powerful to the extent it solves two puzzles that we call “the Puzzle from the Completion of a Process” and “the Metaphysical-cum-Semantical Puzzle”. (shrink)

In an earlier paper in Theoria, I discussed an argument based on the idea of “soul-switching” that attempted to undermine the immaterialist account of human beings. The present paper deals with a parity argument against that argument in which the idea of “body-switching” plays a pivotal role. I call these two arguments, that have been reported by Razi (d. 1210), respectively “the soul-switching argument” and “the body-switching argument”. After some introductory remarks, section 2 of the paper describes the structure of (...) the latter argument. Section 3 considers some philosophical discussions in the ancient, modern, and contemporary eras in which the idea of body-switching (or some similar conception) plays a major role. In the following section 4, some criticisms of the argument are discussed and a general response that is meant to cover a broad range of objections is considered. This paper shows that the body-switching argument reported by Razi is a methodological antecedent of several contemporary arguments in defence of substance dualism. (shrink)

In this paper, I argue that David Lewis’s possible world semantics for counterfactual discourse and for fictional discourse are apparently inconsistent and in need of revision. The problem emerges for Lewis’s account once one considers how to evaluate ambifictional counterfactuals. Since this is likely not a concept familiar to most, and since it does not appear that the problem has been previously recognized in the critical literature, I will begin by rehearsing Lewis’s possible worlds semantics for counterfactuals and fiction. Then (...) I will explicate the distinction between intrafictional, extrafictional, interfictional, and ambifictional propositions. Next, I will state what an ambifictional counterfactual proposition is, and explain why this kind of discourse confounds Lewis’s system. I will conclude, finally, with a brief discussion of how the Lewisian would be best advised to resolve the paradox. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

This paper argues for a theory of phenomenal intentionality (herein referred to as ‘Structuralism’), according to which perceptual experiences only possess intentional content when their phenomenal components are appropriately related to one another. This paper responds to the objections (i) that Structuralism cannot explain why some experiences have content while others do not, or (ii) why contentful experiences have the specific contents that they have. Against (i), I argue that to possess content, an experience must present itself as an experience (...) of something distinct from itself, and that only experiences whose components are suitably structured satisfy this requirement. Against (ii), I argue that Structuralists can provide a deeper explanation of perceptual content than other theories of phenomenal intentionality by showing how the content-determining relations among our experiences depend on the selection pressures under which our perceptual systems developed. (shrink)

Essentialists understand modal properties in terms of the essences of things. Given this view, it is natural to think that our knowledge of modality ultimately derives from our knowledge of the essences of things. Is that view plausible? Do we genuinely have knowledge of the essences of things, in a form substantial enough to ground our modal knowledge? The more we pack into the notion of essence to allow it to underpin modal properties, the harder it is to claim genuine (...) knowledge. I will argue that realists about essence of a certain kind can have the best of both worlds. They can co-opt a conventionalist explanation of our knowledge of essence, but against the background of a fully realist notion of essence. (shrink)

Should we descry the nature of the self from thought experiments? Shaun Nichols says ‘maybe,’ but only if we use thought experiments that do not recruit the indexical “I” (non-I-recruiting). His reason is that the psychology of “I” perforce mandates that imagination responds to thought experiments that recruit it (I-recruiting) peculiarly. Here, I consider whether he is correct about non-I-recruiting personal identity thought experiments. I argue positively using the same framework, i.e., considering the underlying psychology.

Physical information is a property of nature. How does physical information persist over time? Does it do so as an object, process, or event, which are things considered in the current persistence theories? Physical information is none of these, however, this implies that persistence theories cannot explain the persistence of information. We therefore study the persistence of snowflakes, ephemeral natural structures, to better understand the persistence of natural things, such as physical information. The transitory nature of snowflakes suggests that physical (...) information persists as nature’s latent order, therefore, it is associated with natural structures, but it is not identical to them. This interpretation preserves the properties attributed to physical information, particularly its foundational character. The concept of physical information as latent order accords with Burgin’s General Theory of Information (GTI), which is currently the most comprehensive conceptualization of information that has been proposed. (shrink)

We argue that Lewis would have rejected recent appeals to the notions of ‘metaphysical dependency’, ‘grounding’ and ‘ontological priority’, because he would have held that they’re not needed and they’re not intelligible. We argue our case by drawing upon Lewis’s views on supervenience, the metaphysics of singletons and the dubiousness of Kripke’s essentialism.

What grounds the facts about what is identical to/distinct from what? A natural answer is: the facts about what exists. Despite its prima facie appeal, this view has received surprisingly little attention in the literature. Moreover, those who have discussed it have been inclined to reject it because of the following important challenge: why should the existence of some individuals ground their identity in some cases and their distinctness in others? (Burgess 2012, Shumener 2020b). This paper offers a sustained defense (...) of the view. The first half provides some positive motivations in terms of other natural principles involving ground. The second half considers various ways of distilling the challenge into a precise objection to the view, and argues that none of the resulting objections proves persuasive. (shrink)

Important conceptual and metaphysical issues arise when we try to understand the mental lives of “split-brain” subjects. How many distinct streams of consciousness do they have? According to Elizabeth Schechter’s partial unity model, the answer is one. A related question is whether co-consciouness, in general, is transitive. That is, if α and β are co-conscious experiences, and β and γ are co-conscious experiences, must α and γ be co-conscious? According to Schechter, the answer is no. The partial unity model faces (...) some serious objections. Its underpinnings are suspect, and ways of working out the model fall into trouble of various sorts: incoherence, emptiness, or unacceptable indeterminacy about the identity of (token) conscious states. One apparent lesson is that a subject can host two distinct conscious experiences of the same sort. Another is that the co-consciousness relation is transitive after all. (shrink)

David Lewis may be regarded as an antiessentialist. The reason is that he is said to believe that individuals do not have essential properties independent of the ways they are represented. According to him, indeed, the properties that are determined to be essential to individuals are a matter of which similarity relations among individuals are salient, and salience, in turn, is a contextual matter also determined to some extent by the ways individuals are represented. Todd Buras argues that the acknowledgment (...) of natural properties in counterpart theoretic ontology affects Lewis’s theory with regard to essentialism. Buras’s reasoning is appealing. He claims that, since natural properties determine the existence of similarity relations among individuals that are salient independent of context, Lewis can no longer be claimed to be an antiessentialist. The aim of this paper is to argue, against Buras, that if counterpart theory was antiessentialist before natural properties were taken into account, then it remains so afterwards. (shrink)

The fast development of synthetic media, commonly known as deepfakes, has cast new light on an old problem, namely—to what extent do people have a moral claim to their likeness, including personally distinguishing features such as their voice or face? That people have at least some such claim seems uncontroversial. In fact, several jurisdictions already combat deepfakes by appealing to a “right to identity.” Yet, an individual’s disapproval of appearing in a piece of synthetic media is sensible only insofar as (...) the replication is successful. There has to be some form of identity between the content and the natural person. The question, therefore, is how this identity can be established. How can we know whether the face or voice featured in a piece of synthetic content belongs to a person who makes claim to it? On a trivial level, this may seem an easy task—the person in the video is A insofar as he or she is recognised as being A. Providing more rigorous criteria, however, poses a serious challenge. In this paper, I draw on Turing’s imitation game, and Floridi’s method of levels of abstraction, to propose a heuristic to this end. I call it the identification game. Using this heuristic, I show that identity cannot be established independently of the purpose of the inquiry. More specifically, I argue that whether a person has a moral claim to content that allegedly uses their identity depends on the type of harm under consideration. (shrink)

According to the worm theory, persons are (maximal) aggregates of person-stages existing at different times. Personites, on the other hand, are non-maximal aggregates of stages that are very much like persons. Their existence appears to make instances of prudential self-sacrifice morally problematic: the personites that exist at the time of the sacrifice but not at the time of the reward seem not to receive future compensation for their sacrifice. Instances of punishment appear to give rise to a similar problem. We (...) argue that these impressions arise from a mistaken assumption about the primary bearers of properties such as suffering, receiving compensation (in the future) and having (previously) committed a crime. According to the worm theory, stages, rather than persons or personites, possess these properties. Persons and personites have these properties only derivatively. As we show, once this clarification and related ones are made, the apparent moral problems raised by the existence of personites dissolve. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)