[ES] Esta es una discusión de algunos temas vagamente conectados en los artículos de Saul Kripke «The first person» y «Frege’s theory of sense and reference». [EN] This is a discussion of some loosely connected issues in Saul Kripke’s articles «The first person» and «Frege’s theory of sense and reference».

I defend coincidentalism (the view that some pluralities have more than one mereological fusion) and restricted composition (the view that some pluralities lack mereological fusions) against recent arguments due to Theodore Sider.

Sider’s Writing the Book of the World gives an account of fundamentality in terms of his central ideological notion ‘structure’. Here I first argue against Sider’s claim that to be fundamental to a degree is to be structural to a degree. I argue there’s a pair of properties, P1 and P2, such that P1 is the more fundamental, but Sider is committed to counting P2 as the more structural. I then argue that if relative structure and relative (...) fundamentality can come apart in this way, then Sider is likely also wrong to identify being absolutely structural with being absolutely fundamental. (shrink)

Ted Sider has shown that my indeterminism argument for comparativist theories of quantity also applies to Mundy's absolutist theory. This is because Mundy's theory posits only "pure" relations, i.e. relations between values of the same quantity (between masses and other masses, or distances and other distances). It is straightforward to solve the problem by positing additional mixed relations.

This is a critical notice of Theodore Sider's book, _Four-Dimensionalism_.

There is currently debate between deflationists and anti-deflationists about the ontology of persisting objects. Some deflationists think that disputes between, for example, four-dimensionalists (e.g. Ted Sider and David Lewis) and quasi-nihilists (e.g. Peter Van Inwagen and Trenton Merricks) are merely verbal disputes. Anti-deflationists deny this. Eli Hirsch is a deflationist who maintains that many ontological disputes are merely verbal. Theodore Sider maintains that the disputes are not merely verbal. Hirsch and Sider are thus engaged in a metaontological (...) dispute. In this paper, I argue that Hirsch's metaontological dispute with Sider is, by Hirsch's own lights, itself merely verbal. I conclude that the mere verbalness of his metaontological dispute with Sider suggests that Hirsch's account of what makes a dispute merely verbal may be problematic. (shrink)

In this essay for a PPR book symposium on Theodore Sider's _Four-Dimensionalism<D>, I focus on two of Sider's arguments for four-dimensionalism: (i) his argument from vagueness, and (ii) his argument from time travel. Concerning (i), I first show that Sider's argument commits him to certain strange consequences that many four-dimensionalists may not endorse, and then I discuss an objection that involves appealing to 'brutal composition', the view that there is no informative answer to Peter van Inwagen's 'special (...) composition question'. Concerning (ii), I argue that the three-dimensionalist can account for time travel scenarios in a way that is analogous to Sider's four-dimensionalist account of such scenarios. (shrink)

Book review of Earl Conee and Ted Sider's "Riddles of Existence: A Guided Tour of Metaphysics", written in Spanish. || Reseña del libro "Riddles of Existence: A Guided Tour of Metaphysics", escrito por Earl Conee y Ted Sider.

A presentation of the Lewis-Sider argument from vagueness for unrestricted composition and possible responses.

This paper is a response to Theodore Sider's book, Writing the Book of the World. It raises some puzzles about Sider's favoured methodology for finding out about naturalness (or 'structure').

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that (...) there is a perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, (...) implicit definition of the existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

Ted Sider’s Proportionality of Justice condition requires that any two moral agents instantiating nearly the same moral state be treated in nearly the same way. I provide a countermodel in supervaluation semantics to the proportionality of justice condition. It is possible that moral agents S and S' are in nearly the same moral state, S' is beyond all redemption and S is not. It is consistent with perfect justice then that moral agents that are not beyond redemption go determinately (...) to heaven and moral agents that are beyond all redemption go determinately to hell. I conclude that moral agents that are in nearly the same moral state may be treated in very unequal ways. (shrink)

Ted Sider argues that nihilism about objects is incompatible with the metaphysical possibility of gunk and takes this point to show that nihilism is flawed. I shall describe one kind of nihilism able to answer this objection. I believe that most of the things we usually encounter do not exist. That is, I take talk of macroscopic objects and macroscopic properties to refer to sets of fundamental properties, which are invoked as a matter of linguistic convention. This view is (...) a kind of nihilism : it rules out the existence of objects; that is, from an ontological point of view, there are no objects. But unlike the moderate nihilism of Mark Heller, Peter van Inwagen and Trenton Merricks that claims that most objects do not exist, I endorse a radical nihilism according to which there are no objects in the world, but only properties instantiated in spacetime. As I will show, radical nihilism is perfectly compatible with the metaphysical possibility of gunk. It is also compatible with the epistemic possibility that we actually live in a gunk world. The objection raised by Ted Sider only applies to moderate nihilism that admits some objects in its ontology. (shrink)

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which (...) makes room for the possibility of super-vague existence. (shrink)

Sider (2011, 2013) proposes a reductive analysis of metaphysical modality—‘(modal) Humeanism’—and goes on to argue that it has interesting epistemological and methodological implications. In particular, Humeanism is supposed to undermine a class of ‘arguments from possibility’, which includes Sider's (1993) own argument against mereological nihilism and Chalmers's (1996) argument against physicalism. I argue that Sider's arguments do not go through, and moreover that we should instead expect Humeanism to be compatible with the practice of arguing from possibility (...) in philosophy. (shrink)

According to Sider, a question is metaphysically substantive just in case it has a single most natural answer. Recently, Barnes and Mikkola have argued that, given this notion of substantivity, many of the central questions in the metaphysics of gender are nonsubstantive. Specifically, it is plausible that gender pluralism—the view that there are multiple, equally natural gender kinds—is true, but this view seems incompatible with the substantivity of gender. The goal of this paper is to argue that the notion (...) of substantivity can be understood in a way that accommodates gender pluralism. First, I claim that gender terms (at least as used in the ontology room) are referentially indeterminate, where referential indeterminacy holds in virtue of the way the world is. Second, I propose a degree-theoretic (or scalar) account of metaphysical substantivity; genders are substantial to the degree that they are determinate. I conclude that gender is relatively, although not absolutely, substantial. (shrink)

The Lewis-Sider argument from vagueness is one of the most powerful objections against restricted composition. Many have resisted the argument by rejecting its key premise, namely that existence is not vague. In this paper, I argue that this strategy is ineffective as a response to vagueness-based objections against restricted composition. To that end, I formulate a new argument against restricted composition: the argument from determinate vagueness. Unlike the Lewis-Sider argument, my argument doesn’t require accepting that existence is not (...) vague, but only that it is not vague in a specific way, which, I argue, is entailed by restricted composition. I show that the rejection of this species of vague existence follows from assumptions even friends of vague existence should be happy to accept. (shrink)

This article discusses two arguments in favor of perdurance. The first is Sider’s argument from vagueness, “one of the most powerful” in favor of perdurantism. I make the observation that endurantists have principled grounds to claim that the argument is unsound, at least if endurance is formulated in locative rather than mereological terms. Having made this observation, I use it to emphasize a somewhat neglected difference between endurantists and perdurantists with respect to their views on material objects. These views, (...) in the case of endurantists, lead to a further, less than conclusive but nevertheless interesting argument against endurantism—the anti-fundamentality argument—which I discuss and tentatively endorse. That argument posits that endurantists must take location to be a fundamental relation, and that this has as a consequence the metaphysical possibility of some rather unwelcome scenarios. Perdurantists may avoid this consequence by denying that location is fundamental, perhaps by embracing supersubstantivalism. (shrink)

Mereological nihilism is the thesis that composition never occurs. Sider has defended nihilism on the basis of its relative ideological simplicity. In this paper I develop the argument from ideological simplicity, and defend it from some recent objections. Along the way I discuss the best way to formulate nihilism, what it means for a theory to exhibit lesser or greater degrees of ideological simplicity, the relationship between the parthood relation and the identity relation, and the notion that we should (...) judge the ideological simplicity of competing theories on the basis of the kinds of ideological commitments required by those theories. (shrink)

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

In the Phaedrus, Socreates sympathetically describes the ability “to cut up each kind according to its species along its natural joints, and to try not to splinter any part, as a bad butcher might do.” (265e) In contemporary philosophy, Ted Sider (2009, 2011) defends the same idea. As I shall put it, Plato and Sider’s idea is that limning structure is an epistemic goal. My aim in this paper is to articulate and defend this idea. First, I’ll articulate (...) the notion of a structural proposition (§1), and the notion of an epistemic goal (§2), where I’ll assume that epistemic goals are species of accuracy. Then (§3), I’ll argue against some proposals for understanding the idea that limning structure is an epistemic goal: limning structure is neither an aim of belief (§3.1), nor of inquiry (§3.2), nor of concept possession (§3.3). Importantly, non-structural belief is not thereby inaccurate; belief does not “aim” at being structural. Next (§4), I’ll propose a framework for understanding the idea that limning structure is an epistemic goal, and defend that idea. What is required, to defend the view that limning structure is an epistemic goal, is the notion of (what I call) theorizing – a propositional attitude that, unlike belief, does “aim” at being structural (§4.1). I’ll argue that structural truths constitute a species of “important” truths (§4.2), and that apt theorizing is a species of understanding (§4.3). Finally (§5), I’ll discuss the possibility that there is no structure. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

This paper explores the view that the vocabulary of metaphysical fundamentality is opaque, using Sider’s theory of structure as a motivating case study throughout. Two conceptions of fundamentality are distinguished, only one of which can explain why the vocabulary of fundamentality is opaque.

A central debate in philosophy and neuroscience pertains to whether PFC activity plays an essential role in the neural basis of consciousness. Neuroimaging and electrophysiology studies have revealed that the contents of conscious perceptual experience can be successfully decoded from PFC activity, but these findings might be confounded by post- perceptual cognitive processes, such as thinking, reasoning, and decision-making, that are not necessary for con- sciousness. To clarify the involvement of the PFC in consciousness, we present a synthesis of research (...) that has used intracranial electrical stimulation (iES) for the causal modulation of neural activity in the human PFC. This research provides compelling evidence that iES of only certain prefrontal regions (i.e., orbitofrontal cortex and anterior cingu- late cortex) reliably perturbs conscious experience. Conversely, stimulation of anterolateral prefrontal sites, often con- sidered crucial in higher-order and global workspace theories of consciousness, seldom elicits any reportable alterations in consciousness. Furthermore, the wide variety of iES-elicited effects in the PFC (e.g., emotions, thoughts, and olfactory and visual hallucinations) exhibits no clear relation to the immediate environment. Therefore, there is no evidence for the kinds of alterations in ongoing perceptual experience that would be predicted by higher-order or global workspace theories. Nevertheless, effects in the orbitofrontal and anterior cingulate cortices suggest a specific role for these PFC subregions in supporting emotional aspects of conscious experience. Overall, this evidence presents a challenge for higher-order and global workspace theories, which commonly point to the PFC as the basis for con- scious perception based on correlative and possibly confounded information. (shrink)

According to the deductive-nomological account of ground, a fact A grounds another fact B in case the laws of metaphysics determine the existence of B on the basis of the existence of A. Accounts of grounding of this particular variety have already been developed in the literature. My aim in this paper is to sketch a new version of this account. My preferred account offers two main improvements over existing accounts. First, the present account is able to deal with necessitarian (...) as well as non-necessitarian cases of grounding by acknowledging the existence of two types of metaphysical laws. I will argue that we should assume that metaphysical laws come in the necessitarian as well as in the non-necessitarian varietyclosely paralleling the distinction between strict and non-strict laws in the philosophy of science. The second main improvement of the present account is that this account is able to provide an explanation of why the laws of metaphysics have a direction built into them. I will argue that we should characterize metaphysical laws with the help of Theodore Sider’s (2011) notion of structure, which is a descendent of David Lewis’s (1983) notion of naturalness. According to the account of metaphysical laws developed in this paper, metaphysical laws express in their antecedents either perfectly structural truths or more structural truths than in their consequents. Since on Sider’s account structural features of reality are fundamental features of reality, the account is able to explain as to why the laws of metaphysics take us from the fundamental to the derivative. (shrink)

Verbal disputes are often seen as closely related to a lack of substantivity. However, a systematic and comprehensive investigation of how verbalness relates to substantivity is still missing. The present paper attempts to close this gap. In addition to offering different conceptions of verbalness, the paper further develops Sider’s (Writing the Book of the World, OUP, Oxford, 2011) notion of substantivity. Ultimately, I argue for a more careful choice of terminology when it comes to assessing a dispute as “(merely) (...) verbal” or “nonsubstantive”. While the paper shows that there is no strict logical relation between mere verbalness and nonsubstantivity construed along the lines set out by Sider, it also demonstrates that further notable notions of (mere) verbalness and substantivity are in fact closely intertwined. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. Truthmaker theorists (...) can have a trouble-free theory of fundamentality. (shrink)

1000 time-travelers travel back in time, each with the intention of killing their own infant-self. If there is no branching time, then on pain of bringing about a logical contradiction, all must fail. But this seems inexplicable: what is to ensure that the time-travelers are stopped? For a time, this inexplicability objection was thought to provide evidence that there is something incoherent about the possibility of backwards time travel in a universe without branching time. There is now near-consensus, however, that (...) the objection has no bite: there is nothing inexplicable about the mass failure. Lewis, Sider and Ismael independently argue that since it is built into the description of the class of cases considered that the time-travelers must fail – and so we consider only unsuccessful attempts – there is no mystery. Smith argues that the absence of possible worlds at which auto-infanticide is committed suffices as a complete explanation for the failures. And Baron and Colyvan maintain that available causal and logical explanations jointly account for everything that needs accounting for. I argue that these are wrong. There is remaining, problematic inexplicability. For backwards time travel not to lead to logical contradiction, something would need to do logic’s bidding, after all. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In his book Reasons and Persons, Derek Parfit proposes the search for a self-consistent theory of population ethics, a theory capable of answering questions about the welfares of populations in a manner that satisfies all of our ethical intuitions, what he calls “Theory X.” But in the same work, Parfit offers what he sees as a major obstacle to that goal, the so-called “Repugnant Conclusion”, worrying whether the most well-off population is an increasingly large population. This problem, along with Roderick (...) Ninian Smart’s “Negative Utilitarianism” and Robert Nozick’s “Utility Monster” belong to a special class of ethical cases dealing with the mathematical limits of zero and infinity: trivial and unreal ethical solutions. These kinds of problems have plagued population ethics since Thomas Malthus first recognized the problem of exponential growth and its deleterious effects on personal wellbeing. In an attempt to answer Parfit, some, such as T. Sider, T. Hurka, and Y. Ng, have suggested formulations of marginal wellbeing without undermining core ethical principles. Other authors, like G. Arrhenius et al., have suggested that Parfit’s problem fundamentally undermines the possibility of a self-consistent population ethics. Here we will suggest that these problems result from an improper inclusion of trivial and unreal numbers into the ethical domain, making what Parfit calls “mistakes in moral mathematics,” and are thus resolved by an exclusion of trivial and unreal numbers from the ethical domain by carefully specifying a welfare function to exclude them. (shrink)

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis (...) of considerations about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. (...) Dasgupta and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

According to the account of artifacts developed by Lynne Rudder Baker, artifacts have a certain “proper function” essentially. The proper function of an artifact is the purpose or use intended for the artifact by its “author(s)”, viz., the artifact’s designer(s) and/or producer(s). Baker’s account therefore traces the essences of artifacts back indirectly to the intentions of an artifact’s original author (e.g., its inventor, maker, producer or designer). Like other “author-intention-based” accounts (e.g., those defended by Amie Thomasson, Simon Evnine, and others), (...) Baker’s treatment, or so I have argued, is subject to the concern that, when stated in its most general form, human creative intentions are not nearly as powerful and discriminating as proponents of author-intention-based accounts make them out to be (see Kathrin Koslicki, Form, Matter, Substance, Oxford University Press, 2018, Chapter 8). When Baker responds to a version of this objection launched against her account by Theodore Sider and Dean Zimmerman, she proposes that we cannot simply think things into existence for which “our conventions and practices do not have a place” (Lynne Rudder Baker, The Metaphysics of Everyday Life: An Essay in Practical Realism, 2007, p. 44). For example, I cannot, according to Baker, make up the word, “bonangle”, apply it to a piece of driftwood and thereby succeed in bringing into existence a new artifact, viz., a bonangle, merely by thinking to myself “It would be nice if the world contained bonangles; I hereby make that piece of driftwood a bonangle”. In order for this response to be effective, however, more needs to be said about how our conventions and practices support the creation of some artifacts and artifact kinds, while disallowing the attempted creation of others. In this paper, I examine the effectiveness of Baker’s response in addressing the challenges posed by the inclusion of artifacts in Baker’s practical realist ontology. (shrink)

Relationism is the view that our best physical theories can dispense with spacetime. To show the feasibility of relationism, philosophers have suggested a whole range of approaches, from the postulation of a physical plenum to the use of modality. Shamik Dasgupta has recently suggested using his Generalism to develop a relationist account of spacetime. This paper argues that Dasgupta’s Generalism offers no hope to the defenders of relationism. We first present Generalism in what we take to be its most perspicuous (...) formulation. We then discuss a recent argument by Sider (2020) against Generalism and show how to defuse it. Finally, we present a novel argument against Generalism based on Barrett’s criterion of parsimony (Barrett 2022). (shrink)

In this paper I address two important objections to the theory called ‘ Composition as Identity’ : the ‘wall-bricks-and-atoms problem’, and the claim that CAI entails mereological nihilism. I aim to argue that the best version of CAI capable of addressing both problems is the theory I will call ‘Atomic Composition as Identity’ which consists in taking the plural quantifier to range only over proper pluralities of mereological atoms and every non-atomic entity to be identical to the plurality of atoms (...) it fuses. I will proceed in three main steps. First, I will defend Sider’s Composition as identity. Oxford University Press, Oxford, pp 211–221, 2014) idea of weakening the comprehension principle for pluralities and I will show that :219–235, 2016a) it can ward off both the WaBrA problem and the threat of mereological nihilism. Second, I will argue that CAI-theorists should uphold an ‘atomic comprehension principle’ which, jointly with CAI, entails that there are only proper pluralities of mereological atoms. Finally, I will present a novel reading of the ‘one of’ relation that not only avoids the problems presented by Yi Composition as identity. Oxford University Press, Oxford, pp 169–191, 2014) and Calosi :429–443, 2016b, Am Philos Q 55:281–292, 2018) but can also help ACAI-theorists to make sense of the idea that a composite entity is both one and many. (shrink)

A hundred years ago, Ramsey (1927) devised a new system of notation to more perspicuously represent the idea that ‘p’ and ‘¬¬p’ express the same fact. Recently, Monroy Pérez (2023) has argued that we can apply Ramsey’s insight to solve a recalcitrant problem for logical elitism — the thesis, most famously defended by Sider (2011), that the world’s fundamental metaphysical structure includes logical structure. Here, I discuss the general role of language in the framing of logical elitism and present (...) four arguments that show that the Ramseyan strategy for defending logical elitism fails. First, it does not eliminate all arbitrariness even for zeroth-order classical logic (§3). Second, it is a case of a more general strategy that exploits the fact that classical negation is an involution; then, choosing the Ramseyan proposal among the other cases is arbitrary (§4). Third, there are proposals to solve the riddle that are simpler than every case of the involutory strategy (§5). The discussion has consequences for logical elitism at large: in my fourth argument I contend, contrary to a fairly favoured opinion, that logical elitism should not be thought of as a thesis about languages, but as a thesis about joints in metaphysical tructure (§6). (shrink)

There are many kinds of beings – stones, persons, artifacts, numbers, propositions – but are there also many kinds of being? The world contains a variety of objects, each of which exists – but do some objects exist in different ways? The historically popular answer is yes. This answer is suggested by the Aristotelian slogan that “being is said in many ways”, and according to some interpretations is Aristotle’s view.1 Variants of this slogan were championed by medieval philosophers, such as (...) Aquinas, who worried that God cannot be said to exist in the same sense (or in the same way?) as created things.2 Descartes alluded to the medievals’ worry, but extensive discussion of the problem of being disappeared from the central stage by the time of the modern period.3 However, in the early 20th century, friends of ways of being included Alexius Meinong (1910: 49- 62), G.E. Moore (1903: 161-163), Russell (1912: 91-100), Husserl (1901: 249-250), and Heidegger (1927).4 In what follows, I develop a meta-ontological theory based on the work of Martin Heidegger circa Being and Time. I take Heidegger’s work as my inspiration because of the historical importance of Heidegger’s philosophy, and because Heidegger provides a particularly clear statement of the doctrine that there are many ways to be. I begin by carefully discussing and then formulating the relevant aspects of Heidegger’s metaontological theory. Heidegger claims both that the word “being” has many meanings and that there are different ways in which things exist. Section 2 explicates the former thesis, as well as elucidates the connection between senses of “being” and quantification. Most contemporary analytic metaphysicians believe that the idea that different kinds of beings can enjoy different ways of being is metaphysically bankrupt, and probably even meaningless.5 They are mistaken. In section 3, I discuss the doctrine that there are ways of being, and show how we can understand this doctrine in terms of the meta-ontological framework defended by Theodore Sider.. (shrink)

One of the primary burdens of the mereological nihilist is accounting for our ordinary intuitions about material objects. It certainly *seems* as if I am typing on a keyboard, which has particular keys and buttons as parts. But such intuitions are mistaken if mereological nihilism is right, leading to widespread error. So nihilists often propose paraphrases of our everyday utterances as compensation. Cotnoir aims to deliver a new paraphrase strategy on behalf of the nihilist: one that interprets parthood and composition (...) modally, and interprets (spatial) parts as (modal) counterparts. He advertises this view as the spatial analog of Sider’s stage-theoretic view. Unfortunately, I argue, it isn't. The spatial analog to the above views would be something like the following: individuals are region-bound spatial bits. Certain spatial claims about these objects may be true if the relevant spatial bits have the appropriate spatial counterparts. The table is flat iff the table (a spatial bit) has a spatial counterpart that is flat. That is, spatial *counterparts* make certain spatial claims true. Call this the *bit-theoretic* view. In this paper, I use the bit-theoretic view as a foil for highlighting certain aspects of Cotnoir’s proposal, as well as to show that the very ways in which Cotnoir’s view differs from the bit-theoretic view are ways in which it undermines advantages of nihilism. (shrink)

Kadri Vihvelin, in "What time travelers cannot do" (Philos Stud 81: 315-330, 1996), argued that "no time traveler can kill the baby who in fact is her younger self, because (V1) "if someone would fail to do something, no matter how hard or how many times she tried, then she cannot do it", and (V2) if a time traveler tried to kill her baby self, she would always fail. Theodore Sider (Philos Stud 110: 115-138, 2002) criticized Vihvelin's argument, and (...) Ira Kiourti (Philos Stud 139: 343-352, 2008) criticized both Vihvelin's argument and Sider's critique. I present a critique of Vihvelin's argument different from both Sider's and Kiourti's critiques: I argue in a novel way that both V1 and V2 are false. Since Vihvelin's argument might be understood as providing a challenge to the possibility of time travel, if my critique succeeds then time travel survives such a challenge unscathed. (shrink)

This thesis explores attempts to characterise the structure of reality. Three notions stand out: Lewisian naturalness, Sider’s ‘structure’, and grounding, where the latter has become the most popular way to characterise the structure of reality in the contemporary literature. I argue that none of these notions, as they are currently understood, are suited for limning the metaphysical structure of reality. In the first part of the thesis I argue that, by the lights of the relevant theories, both naturalness and (...) structure fall short of the theoretical role carved out for those posits. In the second part of the thesis I present two challenges to the ‘orthodox’ conception of grounding. The first contests the standard assumption that grounding is asymmetric, both by citing what I take to be best described as symmetric instances of grounding, and by developing and arguing for a new theory of metaphysical structure – ‘metaphysical interdependence’ – which takes grounding to be nonsymmetric. The second challenge concerns the relationship between grounding and explanation, and leads to a dilemma for the grounding theorist. My proposed resolution to the dilemma is to adopt an antirealist approach to grounding, which I further motivate and develop in the final chapter. (shrink)

Here I defend the compatibility of presentism and time travel against a few objections. Keller and Nelson argue that, if presentism is at all plausible, presentism and time travel are as compatible as eternalism and time travel. But Miller and Sider are not convinced. I reply that for their concerns to have merit, Miller and Sider must assume presentists are committed to positions they need not be; I explain why presentists are not so committed and, in the process, (...) defend Keller and Nelson’s position that there is no roadblock to presentist time travel that does not also apply to eternalist time travel. (shrink)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. This (...) is so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction (...) in terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)