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

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.

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)

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').

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)

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)

In his recent book Constructing the World, David Chalmers defends A Priori Scrutability, the thesis that there is a compact class of truths such that for any truth p, a Laplacian intellect could know a priori that if the truths in that class hold, then p. In this paper, I develop an objection to Chalmers’ thesis that focuses on his treatment of a so-called that’s-all truth. My objection draws on Theodore Sider’s discussion of border-sensitive properties, and also on (...) the causal phenomenon of double prevention. (shrink)

According to the standard interpretation of Lewis’s theory of predicate meaning (the U&N theory), the naturalness of meaning candidates should be stated metaphysically - as a length of definition in terms of fundamental properties. Recently, Weatherson has criticized the U&N theory and argued that the criterion of naturalness should be stated epistemologically - as the amount of evidence needed to form a belief. Despite the criticism, his attitude towards the U&N theory is quite relaxed. According to Weatherson, the U&N theory (...) can be used as a good heuristic for delivering the correct verdicts when doing applied semantics, i.e., when we try to determine the best meaning candidate for a particular predicate. In this paper, I try to show that the “good heuristic strategy” is of no use because A) there is no guarantee that the epistemological and the metaphysical criteria of naturalness deliver the same verdicts and B) even if they deliver the same verdicts, the difference in their theoretical backgrounds may affect arguments which rely on the verdicts. The difference will be shown by drawing on the example of Theodore Sider and his use of the U&N theory. (shrink)

“The truth,” Quine says, “is that you can bathe in the same river twice, but not in the same river stage. You can bathe in two river stages which are stages of the same river, and this is what constitutes bathing in the same river twice. A river is a process through time, and the river stages are its momentary parts.” (Quine 1953, p. 65) Quine’s view is four-dimensionalism, and that is what Theodore Sider’s book is about. In (...) Sider’s usage, four-dimensionalism is the view that, necessarily, anything in space and time has a distinct temporal part, or stage, corresponding to each time at which it exists (p. 59). (shrink)

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)

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

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)

This paper considers a problem that arises for free will defenses when considering the nature of God's own will. If God is perfectly good and performs praiseworthy actions, but is unable to do evil, then why must humans have the ability to do evil in order to perform such actions? This problem has been addressed by Theodore Guleserian, but at the expense of denying God's essential goodness. I examine and critique his argument and provide a solution to the initial (...) problem that does not require abandoning God's essential goodness. (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)

In recent years a growing number of philosophers in the analytic tradition have focused their attention on the significance of human sociality. An older point of departure of analysis, which actually precedes this current tide of accounts of sociality, has revolved around the debate between “holism” and “individualism” in the philosophy of the human or social sciences and social theory. The more recent point of departure for various accounts of sociality has centered on the nature of conventions, social groups, shared (...) intentions, or collective intentionality. Putting aside the disagreements among these accounts, they all take for granted an antecedently intelligible notion of individual agency as explanatorily primitive and seek to explain the possibility of plural or collective agency in terms of the former. By contrast, other philosophers who have worked at the intersection of analytic and "continental" philosophy have emphasized the primacy of practice as the proper starting point for philosophical reflections on the nature of human sociality. In the analytic tradition this emphasis is typically framed in terms of the possibility of rule-following, a topic put on the philosophical agenda by the later Wittgenstein. Peter Winch’s and Saul Kripke’s influential but controversial readings of Wittgenstein explicitly thematize the issue of rule-following, readings which have in turn generated critical reflection in various disciplines for which this issue is relevant. -/- I begin by briefly explicating the positions of Pettit and Brandom on the issue of rule-following (putting aside any specific differences between them for the moment). Next I connect Pettit’s and Brandom’s views on rule-following, and more generally on normativity and its necessarily social basis, with the views of Theodore Schatzki and Joseph Rouse, whose conceptions of the significance of practice and its inherent sociality are indebted as much to the early Heidegger as well as the later Wittgenstein. I suggest that Pettit’s and Brandom’s views of the necessarily social nature of rule-following (i.e., practice) ought to acknowledge and integrate the shared insight of Schatzki and Rouse that practices are not only modes of activity, but constitute more basically the concrete setting or world within which practices qua modes of activity are intelligible (verständlich) at all. I conclude the paper by suggesting how an integrated account of the significance of the necessarily social nature of practice undermines the assumptions of those philosophers who seek to analyze human sociality solely on the basis of modes of interactions among individual agents. (shrink)

Accounts of the ontology of musical works seek to uncover what metaphysically speaking a musical work is and how we should identify instances of musical works. In this article, I examine the curious case of the mash-up and seek to address two questions: are mash-ups musical works in their own right and what is the relationship between the mash-up and its source materials? As mash-ups are part of the broader tradition of rock, I situate this discussion within an ontology of (...) rock as defended by Theodore Gracyk and Stephen Davies and offer some interpretation as to what their positions might be in regard to mash-ups. Finally, I argue that the account of mash-ups that best makes sense of our evaluative practices would hold that they are emergent musical works that are distinct in their own right and yet also happen to be cases of musical works that instantiate parts of other musical works. (shrink)

The Realist that investigates questions of ontology by appeal to the quantificational structure of language assumes that the semantics for the privileged language of ontology is externalist. I argue that such a language cannot be (some variant of) a natural language, as some Realists propose. The flexibility exhibited by natural language expressions noted by Chomsky and others cannot obviously be characterized by the rigid models available to the externalist. If natural languages are hostile to externalist treatments, then the meanings of (...) natural language expressions serve as poor guides for ontological investigation, insofar as their meanings will fail to determine the referents of their constituents. This undermines the Realist’s use of natural languages to settle disputes in metaphysics. (shrink)

The problem with ontological commitment is that when we symbolize the statements that we make about what 'exists' or what is 'real', they do not always translate to exactly that which we intend to express. In this essay, I explore the relation between 'Reality' and how we describe reality. I evaluate the accounts of three prominent philosophers on the topic, address their shortcomings, and introduce my own account; which I call "The Natural Definition of Reality".

In some domains experts perform better than novices, and in other domains experts do not generally perform better than novices. According to empirical studies of expert performance, this is because the former but not the latter domains make available to training practitioners a direct form of learning feedback. Several philosophers resource this empirical literature to cast doubt on the quality of philosophical expertise. They claim that philosophy is like the dubious domains in that it does not make available the good, (...) direct kind of learning feedback, and thus there are empirical grounds for doubting the epistemic quality of philosophical expertise. I examine the empirical studies that are purportedly bad news for professional philosophers. On the basis of that examination, I provide three reasons why the empirical study of non-philosophical expertise does not undermine the status of philosophical expertise. First, the non-philosophical task-types from which the critics generalize are unrepresentative of relevant philosophical task-types. Second, empirical critiques of non-philosophical experts are often made relative to the performance of linear models—a comparison that is inapt in a philosophical context. Third, the critics fail to discuss findings from the empirical study of non-philosophical expertise that have more favorable implications for the epistemic status of philosophical expertise. In addition to discussing implications for philosophical expertise, this article makes progress in the philosophical analysis of the science of expertise and expert development. (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)

Traditional debate on the metaphysics of gender has been a contrast of essentialist and social-constructionist positions. The standard reaction to this opposition is that neither position alone has the theoretical resources required to satisfy an equitable politics. This has caused a number of theorists to suggest ways in which gender is unified on the basis of social rather than biological characteristics but is “real” or “objective” nonetheless – a position I term social objectivism. This essay begins by making explicit the (...) motivations for, and central assumptions of, social objectivism. I then propose that gender is better understood as a real kind with a historical essence, analogous to the biologist’s claim that species are historical entities. I argue that this proposal achieves a better solution to the problems that motivate social objectivism. Moreover, the account is consistent with a post-positivist understanding of the classificatory practices employed within the natural and social sciences. (shrink)

There is broad agreement among social researchers and social ontologists that the project of dividing humans into social kinds should be guided by at least two methodological commitments. First, a commitment to what best serves moral and political interests, and second, a commitment to describing accurately the causal structures of social reality. However, researchers have not sufficiently analyzed how these two commitments interact and constrain one another. In the absence of that analysis, several confusions have set in, threatening to undermine (...) shared goals for the responsible modeling of social kinds of humans. This essay first explains the source and substance of these confusions. Then, by distinguishing different value-laden investigative questions into the classification of social kinds of humans, it sets out specific relations of dependence and constraint between empirically-driven investigations and value-driven investigations into social kinds of humans. The result is a more detailed and fruitful framework for thinking about the classification of social kinds that respects both normative interests and mind-independent causal regularities. (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)

I raise a problem about the possibility of metaphysics originally raised by Kant: what explains the fact that the terms in our metaphysical theories (e.g. “property”) refer to entities and structures (e.g. properties) in the world? I distinguish a meta-metaphysical view that can easily answer such questions (“deflationism”) from a meta-metaphysical view for which this explanatory task is more difficult (which I call the “substantive” view of metaphysics). I then canvass responses that the substantive metaphysician can give to this Kantian (...) demand for an explanation of reference in metaphysics. I argue that these responses are either inadequate, or depend, implicitly or explicitly, on the idea of “joint carving”: carving at the joints is part of the explanation of reference-facts quite generally and our metaphysical terms in particular refer because they carve at the joints. I examine Ted Sider’s recent work on joint carving and structure and argue that it cannot fill the explanatory gap. I conclude that this is reason ceterus paribus to reject the substantive view of metaphysics. Kant’s critique, far from being obsolete, applies to the most cutting-edge of contemporary meta-metaphysical views. (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)

Philosophical problems about the part-whole relation have been discussed throughout the history of philosophy, at least since Plato and Aristotle. In contemporary philosophy, the understanding of these issues has benefited from the formal tools of Classical Extensional Mereology. This paper aims is to defend mereological restrictivism against some constraints imposed by the vagueness argument. To achieve this, the paper is divided into three parts. In the first, I introduce the special composition question (hereafter SCQ) as formulated by [Van Inwagen, 1990] (...) and briefly present the three sets of theories that proffer answers to it. In the second part, I focus on the vagueness argument, that was presented by [Lewis, 1986, ] and [Sider, 2007, ] to defend mereological universalism. In the third section, I introduce the theory of natural properties by David Lewis. From this theory, I propose a new mereological operation labeled as natural fusion. The purpose of this operation is to falsify one of the premises of the vagueness argument. Then, I discuss some examples and counter-examples to natural fusion. (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)

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 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)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

Alessandro Torza argues that Ted Sider’s Lewisian argument against vague existence is insufficient to rule out the possibility of what he calls ‘super-vague existence’, that is the idea that existence is higher-order vague, for all orders. In this chapter it is argued that the possibility of super-vague existence is ineffective against the conclusion of Sider’s argument since super-vague existence cannot be consistently claimed to be a kind of linguistic vagueness. Torza’s idea of super-vague existence seems to be better (...) suited to model vague existence under the assumption that vague existence is instead a form of ontic indeterminacy, contra what Ted Sider and David Lewis assume. (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)

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)

It is increasingly clear that children's excessive consumption of products high in added sugar causes obesity and obesity-related health problems like type 2 diabetes, cardiovascular disease, and metabolic syndrome. Less clear is how best to address this problem through public health policy. In contrast to policies that might conflict with adult's right to self-determination — for example sugar taxes and soda bans — this article proposes that children's access to products high in added sugars should be restricted in the same (...) way that children's access to tobacco products is restricted. The article first considers how the recommended policy will protect a child's right to an open future while not violating parental rights. The article then explores how the implementation of the recommended policy can help transform the social meaning of sugar and thereby curb the parental supply of added sugar to children — a central cause of obesity. The article also addresses several potential objections. (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)

There has been a significant amount of research, from a variety of disciplines, targeting the nature and political status of human categories such as woman, man, Black, and Latino. The result is a tangle of concepts and distinctions that often obscure more than clarify the subject matter. This incentivizes the creation of fresh terms and distinctions that might disentangle the old, but too often these efforts just add to the snarl. The process iterates, miscommunication becomes standard, and insufficiently vetted concepts (...) can gain central theoretical status. Over the last two decades, Sally Haslanger ’s work in this area – conveniently consolidated in the volume “Resisting Reality: Social construction and social critique” – has been a much needed corrective to this process; Haslanger ’s terms and distinctions really do disentangle. This review organizes and explicates central themes from Haslanger ’s volume. It then offers some critical comments, arguing that some of Haslanger ’s distinctions and proposals are less successful than others. (shrink)

Modularity theorists have challenged that there are, or could be, general learning mechanisms that explain theory-of-mind development. In response, supporters of the ‘scientific theory-theory’ account of theory-of-mind development have appealed to children's use of auxiliary hypotheses and probabilistic causal modeling. This article argues that these general learning mechanisms are not sufficient to meet the modularist's challenge. The article then explores an alternative domain-general learning mechanism by proposing that children grasp the concept belief through the progressive alignment of relational structure that (...) occurs as a result of structural-comparison. The article also explores the implications of the proposed account for Fodor's puzzle of conceptual learning. (shrink)

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

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)

Analogical cognition refers to the ability to detect, process, and learn from relational similarities. The study of analogical and similarity cognition is widely considered one of the ‘success stories’ of cognitive science, exhibiting convergence across many disciplines on foundational questions. Given the centrality of analogy to mind and knowledge, it would benefit philosophers investigating topics in epistemology and the philosophies of mind and language to become familiar with empirical models of analogical cognition. The goal of this essay is to describe (...) recent empirical work on analogical cognition as well as model applications to philosophical topics. Topics to be discussed include the epistemological distinction between implicit knowledge and explicit knowledge, the debate between empiricists and nativists, the frame problem, expertise, creativity and autism, cognitive architecture, and relational knowledge. Particular attention is given to Dedre Gentner and colleague’s structure-mapping theory – the most developed and widely accepted model of analogical cognition. (shrink)

Throughout the bulk of the Reformed Tradition’s history within both Europe and the United States, most scholars have dismissed pastor and theologian Moïse Amyraut as a seventeenth century French heretic whose actions and theology led to the demise of the Huguenots in France. However, upon further introspection into Amyraut’s claims as being closer to Calvin (soteriologically) than his Genevan successors, one finds uncanny parallels in the scriptural commentaries and biblical insight into the expiation of Christ between Calvin and Amyraut. By (...) comparing key scriptural passages concerning the atonement, this article demonstrates that Reformed theologian Moïse Amyraut in fact propagated a universal atonement theory which parallels Calvin’s, both men ascribing to biblical faithfulness, a (humanistic) theological method, and similar hermeneutic. As such, both Calvin and Amyraut scripturally contend that God desires and provided the means for the salvation of the whole world. Further, the article demonstrates that Calvin’s successor, Theodore de Beza, could not in fact make the same claims as Amyraut, this article demonstrating that Beza went beyond Calvin’s scriptural approach to Christ’s expiation. Therefore, this article supports a more centrist approach from within and outside the Reformed tradition by demonstrating that Calvin and Amyraut concentrically held to God’s gracious provision in Christ for the saving of the whole world, for those who would believe in Christ for salvation. (shrink)

Many in philosophy understand truth in terms of precise semantic values, true propositions. Following Braun and Sider, I say that in this sense almost nothing we say is, literally, true. I take the stand that this account of truth nonetheless constitutes a vitally useful idealization in understanding many features of the structure of language. The Fregean problem discussed by Braun and Sider concerns issues about application of language to the world. In understanding these issues I propose an alternative (...) modeling tool summarized in the idea that inaccuracy of statements can be accommodated by their imprecision. This yields a pragmatist account of truth, but one not subject to the usual counterexamples. The account can also be viewed as an elaborated error theory. The paper addresses some prima facie objections and concludes with implications for how we address certain problems in philosophy. (shrink)

Suppose we get a chance to ask an angel a question of our choice. What should we ask to make the most of our unique opportunity? Ned Markosian has shown that the task is trickier than it might seem. Ted Sider has suggested playing safe and asking: What is the true proposition (or one of the true propositions) that would be most beneficial for us to be told? Let's see whether we can do any better than that.

For the last several years I have made the daily newspaper the pedagogical center piece of my philosophy seminar. This essay begins by describing the variations, themes, and logistics of this approach. The essay then offers several arguments in support of the value of this approach. The first argument references measurable indicators of success. A second argument contends that by “going live” with philosophical concepts, the newspaper-centered approach is uniquely well-positioned to motivate and excite the philosophy student. A third argument (...) claims that the newspaper-centered approach is well-positioned to construct an individualized bridge between the student and the world of philosophy. (shrink)

After a presentation of the problem of God's hiddenness, there is discussion of two arguments for God's nonexistence related to that problem. One is the Lack-of-evidence Argument (LEA), according to which there would have been good objective evidence of God's existence if he were to exist. The other is the Argument from Nonbelief (ANB), according to which there would not be as many nonbelievers as there actually are if God were to exist. Reasons are given for assessing ANB as a (...) stronger argument than LEA. (shrink)

Gini coefficients, which measure gross inequalities rather than their unfair components, are often used as proxy measures of absolute or relative distributive injustice in Western societies. This presupposes that the fair inequalities in these societies are small and stable enough to be ignored. This article presents a model for a series of ideal, perfectly just societies, where comfortable lives are equally available to everyone, and calculates the Gini coefficients for each. According to this model, inequalities produced by age and other (...) demographic factors, together with reasonable choices under equal opportunity, can raise the Gini coefficients for perfectly just societies to levels at least as high as those of any current Western country, and can as easily account for differences in Gini coefficients between such societies or within one such society over time. If Gini coefficients at these levels are possible for ideal societies without distributive injustice, then they should not be used as proxy measures of distributive injustice in real societies. (shrink)