This paper asks: Is the quantifier variantist committed to metaphysical vagueness? My investigation of this question goes via a study of vague existence. I’ll argue that the quantifier variantist is committed to vague existence and that the vague existence posited by the variantist requires a puzzling sort of metaphysical vagueness. Specifically, I distinguish between (what I call) positive and negative metaphysical vagueness. Positive metaphysical vagueness is (roughly) the claim that there is vagueness in the world; negative metaphysical vagueness is (roughly) (...) the claim that there is vagueness that is not in our language or thought. I’ll argue that the quantifier variantist’s commitment to vague existence comes with positive metaphysical vagueness -- even if it doesn't require negative metaphysical vagueness. (shrink)

One well-known objection to supersubstantivalism is that it is inconsistent with the contingency of location. This paper presents a new objection to supersubstantivalism: it is inconsistent with the vagueness of location. Though contingency and vagueness are formally similar, there are important philosophical differences between the two. As a result, the objection from vague location will be structurally different than the objection from contingent location. The paper explores these differences and then defends the argument that supersubstantivalism is inconsistent with the plausible (...) thesis that it is vague where I am located. (shrink)

This extended abstract summarises some of the basic points of AI ethics and policy as they present themselves now. We explain the notion of AI, the main ethical issues in AI and the main policy aims and means.

A central motivation for the type-token model of music works is its ability to explain musical multiplicity—the fact that musical works are capable of having multiple performances through which they can be experienced and which cannot be individually identified with the works themselves. The type-token model explains multiplicity by identifying musical works with structural types and taking performances to be tokens of those types. In this paper, I argue that musical works are flexible in ways which permit performances which are (...) tokens of distinct structural types to be performances of the same musical work. And I argue that various attempts to reconcile the type-token model with musical flexibility are ultimately unsuccessful. (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

1. Is consciousness vague? This paper will argue that it is. But, first, we need to get clear on the meaning of the question.I will take vagueness to consist in the possibility of borderline cases....

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

It has been argued that quantum mechanics forces us to accept the existence of metaphysical, mind-independent indeterminacy. In this paper we provide an interpretation of the indeterminacy involved in the quantum phenomena in terms of a view that we call Plural Metaphysical Supervaluationism. According to it, quantum indeterminacy is captured in terms of an irreducibly plural relation between the actual world and various misrepresentations of it.

In this paper, I argue against what I call “natural realism” about social kinds, the view according to which social categories have natural boundaries, independent of our thought. First, I draw a distinction between two different types of entity realism, one being about the existence of the entity, “ontological realism”, and the other one being about the direct mind-independence of the entity, “natural realism”. After endorsing ontological realism, I present the natural realist argument according to which there would be certain (...) social kinds, such as economic recessions and racism, even if we had no clue about their existence and nature. I claim that the argument fails insofar it mistakes the single instances for the kinds themselves. I then argue against natural realism by showing how the vagueness characterizing the boundaries of social kinds puts the realist in front of a dilemma: either she accepts the vagueness of these boundaries as ontic, a metaphysically problematic thesis, or she accepts that most or all social kinds remain unknown, an epistemologically problematic thesis. Thus, I argue that antirealism, according to which social kinds are constructed, is a better alternative to the realist account. (shrink)

Beach's Gaelic Symphony is plausibly an abstract object that Beach created. The view that people create some abstract objects is called abstract creationism. There are abstract creationists about many kinds of objects, including musical works, fictional characters, arguments, words, internet memes, installation artworks, bitcoins, and restaurants. Alternative theories include materialism and Platonism. This paper discusses some of the most serious objections against abstract creationism. Arguably, these objections have ramifications for questions in metaphysics pertaining to the abstract/concrete distinction, time, causation, vague (...) existence, vague identity, and inadvertent creation. (shrink)

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...) substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)

Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think that (...) there is some sense in which arithmetic is true and determinate. (shrink)

In 1978, Gareth Evans published a short and somewhat cryptic article purporting to establish that there are no vague objects. This paper is a commentary on this. Prima facie, the claim that there are no vague objects is clearly false. Mt Everest, for example, has no precise boundaries. And if this is so, there must be something wrong with Evans' argument. In the paper, I discuss what this is, giving a model of vague objects in the process.

In this article, I first introduce an Indian Madhyamaka Buddhist critique of causality and discuss critically a contemporary Humean interpretation of the critique. After presenting a Chinese Madhyamaka interpretation, I resort to an ontological conception of indeterminacy, termed ontic indeterminacy, which draws on Chinese Madhyamaka thought together with Jessica Wilson’s account of metaphysical indeterminacy, to show that the conception is well equipped to unravel two puzzling issues that arise from the critique. I suggest that a world that consists of things (...) that are indeterminate with respect to certain ways they are is sufficient for it to embody causal phenomena. (shrink)

Many philosophers think that common sense knowledge survives sophisticated philosophical proofs against it. Recently, however, Bryan Frances (forthcoming) has advanced a philosophical proof that he thinks common sense can’t survive. Exploiting philosophical paradoxes like the Sorites, Frances attempts to show how common sense leads to paradox and therefore that common sense methodology is unstable. In this paper, we show how Frances’s proof fails and then present Frances with a dilemma.

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

Generally, an object is vague when its properties cannot precisely defined. The ontic view of vagueness is the idea that vagueness is a fundamental property of Nature. This simply means that everything is vague: animals, plants, molecules, atoms, etc. Furthermore, if atoms and molecules are vague, then the subject matter of chemistry is vague. However, we first need to understand why molecules and atoms are vague.

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

My paper characterizes religious beliefs in terms of vagueness. I introduce my topic by providing a general overview of my main claims. In the subsequent section, I develop basic distinctions and terminology for handling the notion of religious tradition and capturing vagueness. In the following sections, I make the case for my claim that religious beliefs are vague by developing a general argument from the interconnection between the referential opacity of religious belief content and the long-term communitarian history of the (...) precisification of what such content means. I start from describing an empirical example in the third section, and then I move to settle the matter in a conceptually argumentative frame in the fourth one. My conclusions in the final section address a few of consequences relevant to debates about religious epistemology and religious diversity. (shrink)

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods standardly used in science presuppose that every proposition about the outcome of a chancy process has a certain chance between 0 and 1. I also argue in favour of the standard view that chances are countably additive. Since it is possible to randomly pick (...) out a point on a continuum, for instance using a roulette wheel or by flipping a countable infinity of fair coins, it follows, given the axioms of ZFC, that there are many different cardinalities between countable infinity and the cardinality of the continuum. (shrink)

In this dissertation, I argue that vagueness is a metaphysical phenomenon---that properties and objects can be vague---and propose a trivalent theory of vagueness meant to account for the vagueness in the world. In the first half, I argue against the theories that preserve classical logic. These theories include epistemicism, contextualism, and semantic nihilism. My objections to these theories are independent of considerations of the possibility that vagueness is a metaphysical phenomenon. However, I also argue that these theories are not capable (...) of accommodating metaphysical vagueness. As I move into my positive theory, I first argue for the possibility of metaphysical vagueness and respond to objections that charge that the world cannot be vague. One of these objections is Gareth Evans' much-disputed argument that vague identities are impossible. I then describe what I call the logic of states of affairs. The logic of states of affairs has as its atomic elements states of affairs that can obtain, unobtain, or be indeterminate. Finally, I argue that the logic of states of affairs is a better choice for a theory of vagueness than other logics that could accommodate metaphysical vagueness such as supervaluationism and degree theories. Preference should be given to the logic of states of affairs because it provides a better explanation of higher-order vagueness and does a better job of matching our ordinary understandings of logical operators than supervaluationism does and because it provides a more general account of indeterminacy than the account given by degree theories. Advisor: Reina Hayaki. (shrink)

My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After having (...) shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

This thesis explores whether the three standard value relations, “better than”, “worse than” and “equally as good”, exhaust the possibilities in which things can relate with respect to their value. Or more precisely, whether there are examples in which one of these relations is not instantiated. There are cases in which it is not obvious that one of these relations does obtain; these are referred to as “hard cases of comparison”. These hard cases of comparison become interesting, since if it (...) not the case that the standard three value relations obtains in these cases then the three standard relations do not exhaust the possibility of instantiated value relations. It is argued that for some of the hard cases of comparison, the standard relations determinately obtain. For some it is indeterminate, due to vagueness, which of the three relations obtains, but it is determinate that one of them obtains. Thereafter it is argued that the influential Collapsing Argument fails in ruling out other accounts of the hard cases of comparison. Since one cannot depend on the Collapsing Argument in order to conclude that all items are related by the standard three relations, the investigation continues. It is argued that none of the hard cases of comparison are cases of incomparability. Furthermore, none of them are cases of a fourth basic positive value relation such as “parity”. Consequently, for all the hard cases of comparison one of the standard value relations holds, although sometimes we do not know which one and sometimes it is indeterminate which one holds. This means that there is no reason to assume that one of the standard three value relations does not hold between items we are comparing. This is followed by a brief discussion about the normative consequences of this result. The thesis ends with four different appendices in which related topics are discussed. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

A number of analytical philosophers have recently endorsed the view that the world itself is indeterminate in some respect. Intriguingly, ideas similar to the view are expressed by thinkers from Chinese Madhyamaka Buddhism, which may shed light on the current discussion of worldly indeterminacy. Using as a basis Chinese Madhyamaka thought, together with Jessica Wilson’s account of indeterminacy, I develop an ontological conception of indeterminacy, termed ontic indeterminacy, which centres on two complementary ideas—conclusive indeterminability and provisional determinability. I show that (...) OI is well-equipped to tackle several issues of worldly indeterminacy. My overarching aim is to present a viable and sustainable perspective on the subject of indeterminacy to enrich analytical philosophers’ insights into the intricate nature of reality. (shrink)

Philosophy and Phenomenological Research, EarlyView.

ABSTRACTI propose a different account of fictional objects from the ones already present in the literature. According to my account, fictional objects are culturally created abstract objects dependent for their existence on the pretence attitude adopted by a group of people towards a single fictional content. My work is divided into three parts: in the first one, I present how fictional objects come into existence according to my proposal; in the second part, I illustrate how the existence of fictional objects (...) so conceived may be ontically indeterminate; in the last part, I consider what happens when vague existence and indeterminate identity are claimed within fictional texts. (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)

Fictional ersatz realism is the metaphysical stance that abstract fictional entities exist and are dependent on fiction and literary practices. Everett tackled the position of ersatz realism by claiming that the ersatz realist cannot provide an identity criterion for fictional entities that does not imply a contradiction. Although Woodward proposed a defense to Everett's argument, I will argue that ersatz realism is no tenable position, as it still cannot provide an adequate identity criterion. To establish this result, I will provide (...) a base frame for identity criteria available to the ersatz realist. Afterwards, I will show that to any identity criterion the ersatz realist may propose there is a story such that a fictional entity corresponding to this story is not self-identical, imposing a contradiction to the metaphysical account of ersatz realism. (shrink)

Many of those working on moral responsibility assume that "once blameworthy, always blameworthy." They believe that blameworthiness is like diamonds: it is forever. We argue that blameworthiness is not forever; rather, it can diminish through time. We begin by showing that the view that blameworthiness is forever is best understood as the claim that personal identity is sufficient for diachronic blameworthiness. We argue that this view should be rejected because it entails that blameworthiness for past action is completely divorced from (...) the distinctive psychological features of the person at the later time. This is because on none of the leading accounts of personal identity does identity require the preservation of any distinctive psychological features, but merely requires some form of continuity. The claim that blameworthiness is forever should therefore be rejected. We then sketch an account of blameworthiness over time, and consider two objections. (shrink)

A problem of the many Fs arises in cases where intuitively there is precisely one F (in the region you are talking about), but when you look closely you find many candidates for being that F, each one apparently as well-qualified as the next. Imagine an apparently solitary cloud in an otherwise blue sky. Look closer, and you'll see lots of water vapor molecules, with no one collection of them more eligible than the others to count as the cloud. Many (...) things are like this when you look closely enough. The problem arises for mundane things like rocks, houses and coins. It also arises for entities that present special philosophical challenges, like persons and experiencers. In this essay, I present a new argument that the problem of the many experiencers is an especially hard problem of the many, and property dualism—the view that properties that there is something it is like to instantiate are irreducible—may be the best way to solve it. (shrink)

Van Inwagen proposes that besides simples only living organisms exist as composite objects. This paper suggests expanding van Inwagen’s ontology by also accepting composite objects in the case that physical bonding occurs (plus some extra conditions). Such objects are not living organ-isms but rather physical bodies. They include (approximately) the complete realm of inanimate ordinary objects, like rocks and tables, as well as inanimate scientific objects, like atoms and mol-ecules, the latter filling the ontological gap between simples and organisms in (...) van Inwagen’s origi-nal picture. We thus propose a compositional pluralism claiming that composition arises if and on-ly if bonding or life occurs. (shrink)

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think the (...) simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include non-existent things, as (...) they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification. (shrink)

What are we? Despite much discussion in historical and contemporary philosophy, we have not yet settled on an answer. A satisfactory personal ontology, an account of our metaphysical nature, will be informed by issues in the metaphysics of material objects. In the dissertation, I target two prominent materialist ontologies: animalism, the view that we are numerically identical to human organisms, and constitutionalism, the view that we are constituted by, but not identical to, human organisms. Because of the problems that arise (...) from endorsing these ontologies, I instead advance immaterialism, the view that we are essentially immaterial. In Chapter 2, I discuss how animalists must respond to a widely-discussed metaphysical puzzle, the problem of the many. This puzzle prompts some to endorse revisionary ontologies of material objects, and I argue that the animalist cannot appeal to these revisionary ontologies to solve the puzzle as it arises for personal ontology. In addition, solutions that don’t involve a commitment to revisionary ontology will be unavailable to the animalist: I argue that if animalists make use of non-revisionary solutions to the problem, they must abandon the most successful argument for their view. Absent their most successful argument, animalists will need to motivate the view in some other way. Some new arguments for animalism have been proposed, and I argue that they fail to give us reason to endorse animalism over competing ontologies. Without a strong argument, we should not prefer animalism over the other, more attractive, views. In Chapter 3, I show how constitutionalists face a different problem: explaining how the person is not the very same thing as the human organism, despite sharing the very same parts and occupying the very same physical space. We think that the person and the organism are different things because they have different modal profiles – the human organism can survive permanent loss of psychological life, but the person, presumably, cannot. Constitutionalists must then explain what grounds the difference in modal profiles, but such an explanation is hard to come by. This is an instance of the grounding problem, which is notoriously intractable. While the grounding problem is a well-known challenge to constitutional accounts of objects, I demonstrate that this puzzle is even more threatening when applied to persons. Some “solutions” to the problem fail to solve it at all, and solutions that might get the right result for ordinary objects require accepting that there are a multitude of persons where we ordinarily take there to be only one. We should not accept a personal ontology that requires a commitment to that multitude. I argue that the threat of the grounding problem is so great that we must reject the constitutionalist personal ontology. We will see from these puzzles in personal ontology that materialist solutions are either unsuccessful or yield unacceptable consequences. This should prompt us toward considering, instead, immaterialism. According to immaterialism, persons are not material objects, and the immaterialist can then provide solutions to the puzzles that threatened materialist ontologies. In Chapter 4, I outline these immaterialist solutions and show that the puzzles cannot be reinstantiated successfully against the immaterialist. I then discuss different available varieties of immaterialism and argue in defense of my preferred version. Ultimately, I argue that we are simple, immaterial entities that come into existence at the proper functioning of the brain. Endorsing this view of personal ontology permits us to adequately respond to metaphysical puzzles and retain judgments about persons that should be most important to us. In particular, the immaterialist has the resources to avoid the problem of too many thinkers and retain the judgment that there is exactly one person in circumstances where we take there to be just one. The immaterialist also has the resources to plausibly analyze thought experiments, such as cerebrum-swap cases, that threaten materialist ontologies. All things considered, it remains to be seen which personal ontology has the most evidence in its favor. In the context of debates that arise from material object metaphysics, however, evidence weighs in favor of immaterialism. Materialist personal ontologies are saddled with unacceptable responses to metaphysical puzzles, and endorsing materialism about persons requires taking on a very high cost: Either there are far more of us than we ordinarily take there to be, or there are no persons – far fewer of us than we ordinarily take there to be. Some might argue that these are the only acceptable options, so cost be damned. But we cannot afford to be so cavalier about our personal ontology. Instead, I advance immaterialist solutions to puzzles in personal ontology and propose that, in the interest of saving ourselves and everyone we love, we should seriously consider accounts according to which we are immaterial entities. (shrink)

The debate about cinematic motion revolves around the question of whether the movement of cinematic images is real. That the movement we perceive in film should be construed as the movement of images is taken for granted. But this is a mistake. There is no reason to suppose that cinematic images of moving objects are themselves perceived to be moving. All that is necessary is to perceive these images as continuously changing images of one and the same object.

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object is (...) self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

Our states of belief and desire are no doubt supervenient on the overall pattern of our physical states. But can this minimal physicalist presumption be strengthened into a claim to the effect that our mental states are each identical with some specific corresponding physical state? A developed identity theory will need, in a sense to be made clear, a schema for specifying the physical state which is supposed to be identical with a given mental state. And there are problems in (...) formulating such a schema. The special difficulties faced here by a type identity theory are well known, and will not be discussed further in this present paper. But equally, there are problems in constructing an identification schema for employment with a token identity theory. (shrink)

This essay argues that deflationism is incompatible with the phenomenon of referential indeterminacy. This puts the deflationist in the difficult position of having to deny the possibility of what otherwise seems like a manifest and theoretically important phenomenon. Section 1 provides background on deflationism. Section 2 considers an intuitive argument by Stephen Leeds to the effect that deflationism precludes RI; the essay argues that this argument does not succeed. The rest of the essay presents its own, distinct argument for the (...) incompatibility of deflationism and RI. Section 3 argues that direct RI—RI that is not simply a derivative of some other, nonreferential instance of indeterminacy—is strictly incompatible with deflationism. Section 4 considers a couple of different ways the deflationist might try to achieve indirect RI—via indeterminate identity and indeterminate synonymy—and argues that each is unsatisfactory. (shrink)

This paper outlines a novel solution to the Ship of Theseus puzzle. The solution relies on situations, a philosophical tool used in natural language semantics among other places. The core idea is that what is true is always relative to the situation under consideration. I begin by outlining the problem before briefly introducing situations. I then present the solution: in smaller situations the candidate is identical to Theseus’s ship. But in larger situations containing both candidates these identities are neither true (...) nor false. Finally, I discuss some worries for the view that arise from the nature of identity, and suggest responses. It is concluded that the solution, and the theory that underpins it, are worth further investigation. (shrink)