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)

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

Zurvanism was an ancient variant of Zoroastrianism. According to Zurvanism, the great powers of good and evil, Ahura Mazda and Angra Mainyu, were the sons of a greater god Zurvan, associated with time. According to Eudemus of Rhodes, some Persian thinkers, presumably Zurvanists, took there to be three great principles underlying the world: light, darkness, and greatest of all time (or perhaps, according to Eudemus, space). This paper explores what metaphysics might underlie these doctrines, and what contemporary options we have (...) for making sense of a metaphysics where time is the ultimate principle. Among the options explored is the option that despite appearance many of the entities of the concrete world are identical to stretches of time, or are somehow aspects of stretches of time; that they include times as parts, or are included in times as parts; that they are somehow properties of time; or hylomorphic compounds of which time is the matter; that the world is somehow a mixture of time, light, and dark; or that somehow the ends or teloi of everyday objects and processes are to be found among good, evil, and time. (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)

My dissertation explores the nature of artifacts – things like chairs, tables, and pinball machines – and addresses the question of whether there is anything essential to being an artifact and a member of a particular artifact kind. My dissertation offers new arguments against both the anti-essentialist and current essentialist proposals. Roughly put, the view is that artifacts are successful products of an intention to make something with certain features constitutive of an artifact kind. The constitutive features are often functional (...) features, but may include structural, material, aesthetic, and other features. I further explore the ways in which artifacts are mind-dependent and I argue that this dependence is disjunctive. Not only do they depend on the intentions of their makers, but they also can depend on social groups or public norms and thus artifacts have an importantly social dimension and I argue that this disjunctive account applies not to artifact kinds but to individual artifacts depending on their context of creation. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (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.

The main research programs in quantum gravity tend to suggest in one way or another that most spacetime structures are not fundamental. At the same time, work in quantum foundations highlights fundamental features that are in tension with any straightforward space- time understanding. This paper aims to explore the little investigated but potentially fruitful links between these two fields.

This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.

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)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

Remember the story of the most-most? It’s the story of that club in New York where people are the most of every type. There is the hairiest bald man and the baldest hairy man; the shortest giant and the tallest dwarf; the smartest idiot and the stupidest wise man. They are all there, including honest thieves and crippled acrobats. On Saturday night they have a party, eat, drink, dance. Then they have a contest. “And if you can tell the hairiest (...) bald man from the baldest hairy man—we are told—you get a prize.”. (shrink)

Filósofos modernos como Berkeley y Hume desplegaron una argumentación de corte escéptico en contra del llamado realismo ingenuo: la idea de que la experiencia perceptual provee un accesodirecto al mundo. Dicha argumentación ha sido criticada por Michael Martin y John Campbell, quienes reclaman justicia por una nueva forma de realismo ingenuo llamado relacionalista. Se argumenta que tanto el realismo ingenuo como el relacionalista son falsos, y se defiende la tesis central de Berkeley y Hume: no hay experiencias perfectamente verídicas de (...) objetos materiales. (shrink)

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

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)

Gareth Evans proved that if two objects are indeterminately equal then they are different in reality. He insisted that this contradicts the assumption that there can be vague objects. However we show the consistency between Evans's proof and the existence of vague objects within classical logic. We formalize Evans's proof in a set theory without the axiom of extensionality, and we define a set to be vague if it violates extensionality with respect to some other set. There exist models of (...) set theory where the axiom of extensionality does not hold, so this shows that there can be vague objects. (shrink)

Most ordinary objects - cats, humans, mountains, ships, tables, etc. - have indeterminate mereological boundaries. If the theory of mereology is meant to include ordinary objects at all, we need it to have some space for mereological indeterminacy. In this paper, we present a novel degree-theoretic semantics - Boolean semantics - and argue that it is the best degree-theoretic semantics for modeling mereological indeterminacy, for three main reasons: (a) it allows for incomparable degrees of parthood, (b) it enforces classical logic, (...) and (c) it is compatible with all the axioms of classical mereology. Using Boolean semantics, we will also investigate the connection between vagueness in parthood and vagueness in existence/identity. We show that, contrary to what many have argued, the connection takes neither the form of entailment nor the form of exclusion. (shrink)

Anthony Everett () argues that those who embrace the reality of fictional entities run into trouble when it comes to specifying criteria of character identity. More specifically, he argues that realists must reject natural principles governing the identity and distinctness of fictional characters due to the existence of fictions which leave it indeterminate whether certain characters are identical and the existence of fictions which say inconsistent things about the identities of their characters. Everett's critique has deservedly drawn much attention and (...) a number of defensive moves have been made by, or on the behalf of, fictional realists. My goal in this paper is to move this debate on a further step. I have three goals: to clarify the importance of Everett's discussion of identity criteria within the context of fictional realism, to reassess Everett's objections to realism in light of the resultant literature, and to develop a novel strategy for responding to Everett's concerns. On the approach to be developed, the problems emerge due to an indeterminacy inherent in the concept of a fictional character itself. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a determinable (...) property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

The central problem burdening common sense pluralism, as well as motivating the various Ockhamist reactions, is what has come to be called the problem of coincidence. Everyday thought and speech refer both to seals and to sealing wax, to kings and to human beings or bodies. Where the first coincides completely in space with the second, is there one object in that place, or two? The initial response of common sense is perhaps to dismiss the latter out of hand. The (...) king is a human, after all, and the seal a quantity of sealing wax. But once we note that the conditions for the persistence in time of such objects may differ, or that they differ in essential properties, the one-object option seems less appealing. If both exist, as pluralism asserts, and the seal can be destroyed without the wax ceasing to exist, then perhaps the best defense of common sense is to recognize that the seal and the sealing wax are two. (shrink)

The central problem burdening common sense pluralism, as well as motivating the various Ockhamist reactions, is what has come to be called the problem of coincidence. Everyday thought and speech refer both to seals and to sealing wax, to kings and to human beings or bodies. Where the first coincides completely in space with the second, is there one object in that place, or two? The initial response of common sense is perhaps to dismiss the latter out of hand. The (...) king is a human, after all, and the seal a quantity of sealing wax. But once we note that the conditions for the persistence in time of such objects may differ, or that they differ in essential properties, the one-object option seems less appealing. If both exist, as pluralism asserts, and the seal can be destroyed without the wax ceasing to exist, then perhaps the best defense of common sense is to recognize that the seal and the sealing wax are two. (shrink)

The central problem burdening common sense pluralism, as well as motivating the various Ockhamist reactions, is what has come to be called the problem of coincidence. Everyday thought and speech refer both to seals and to sealing wax, to kings and to human beings or bodies. Where the first coincides completely in space with the second, is there one object in that place, or two? The initial response of common sense is perhaps to dismiss the latter out of hand. The (...) king is a human, after all, and the seal a quantity of sealing wax. But once we note that the conditions for the persistence in time of such objects may differ, or that they differ in essential properties, the one-object option seems less appealing. If both exist, as pluralism asserts, and the seal can be destroyed without the wax ceasing to exist, then perhaps the best defense of common sense is to recognize that the seal and the sealing wax are two. (shrink)

This paper outlines the often striking parallels of various approaches to ontic vagueness, as well as their even more striking differences. Though circling around the same idea, some of these approaches were developed to solve quite diverse theoretical problems and encounter different challenges. In addition to these difficulties, the frequently disregarded epistemological problems of all theories of ontic vagueness turn out to be even more serious under critical scrutiny. The same holds for the difficulties of deciding, for every case of (...) vagueness, whether the vagueness involved is semantic or ontic. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer (1998, 2000a, 2000b) has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin (2000) say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon (2002) has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen (2000) argues (...) that supervaluationism is inconsistent with a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

Disagreeing with most authors on vagueness, the author proposes a solution that he calls ‘three-valued semantic pluralism’ to the age-old sorites paradox. In essence, it is a three-valued semantics for a first-order vague language with identity with the additional suggestion that a vague language has more than one correct interpretation. Unlike the traditional three-valued approach to a vague language, three-valued semantic pluralism can accommodate the phenomenon of higher-order vagueness and the phenomenon of penumbral connection when equipped with ‘suitable conditionals’. The (...) author also shows that three-valued semantic pluralism is a natural consequence of a restricted form of the Tolerance principle ) and a few related ideas, and argues that ) is well-motivated by considerations about how we learn, teach, and use vague predicates. (shrink)

Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

In his (2001a) and in some related papers, Tim Crane has maintained that intentional objects are schematic entities, in the sense that, insofar as being an intentional object is not a genuine metaphysical category, qua objects of thought intentional objects have no particular nature. This approach to intentionalia is the metaphysical counterpart of the later Husserl's ontological approach to the same entities, according to which qua objects of thought intentionalia are indifferent to existence. But to buy a metaphysically deflationary approach (...) does not mean to buy an ontologically deflationary approach, according to which we have to accept all the intentional objects there apparently are. Being metaphysically deflationary on intentionalia rather means that from the ontological point of view one must really allow only for those intentionalia for which one is entitled to say that there are such things; typically, for which an ontological proof is available. From metaphysical schematism plus conditional, or partial, ontological committment to intentionalia, further interesting consequences follow. First, this theoretical combination allows one to deal with the ‘too-many entities’ problem (may one fail to accept an ontological proof for an entity of a given kind if she thinks that the entity we would have to be committed to is an entity of another kind?). Second, it allows one to deal with the ‘genuinely true report’ problem (how is it that if we exercise mindreading with respect to a somehow deluded person, we want our reports to come out as really, not merely fictionally, true?). (shrink)

We define the paraconsistent supra-logic Pσ by a type-shift from the booleans o of propositional logic Po to the supra-booleans σ of the propositional type logic P obtained as the propositional fragment of the transfinite type theory Q defined by Peter Andrews (North-Holland Studies in Logic 1965) as a classical foundation of mathematics. The supra-logic is in a sense a propositional logic only, but since there is an infinite number of supra-booleans and arithmetical operations are available for this and other (...) types, virtually anything can be specified. The supra-logic is a generalization of Lukasiewicz's three-valued logic, with the intermediate value duplicated many times and ordered such that none of the copies of this value imply other ones, but it differs from Lukasiewicz's many-valued logics as well as from logics based on bilattices. There are several automated theorem provers for classical higher order logic (finite type theory) and it should be possible to modify these to our needs. (shrink)

Some have argued that the vagueness exhibited by geographic names and descriptions such as ‘Albuquerque’, ‘the Outback’, or ‘Mount Everest’ is ultimately ontological: these terms are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and hold the view that geographic vagueness is exclusively semantic, or conceptual at large. There is no such thing as a vague mountain. Rather, there are many things where we conceive a mountain to be, each with its precise (...) boundary, and when we say ‘Everest’ we are just being vague as to which thing we are referring to. This paper defends this view against some plausible objections. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification theory, too, with (...) its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist treatment (...) of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

There are conflicting intuitions concerning the status of a boundary separating two adjacent entities (or two parts of the same entity). The boundary cannot belong to both things, for adjacency excludes overlap; and it cannot belong to neither, for nothing lies between two adjacent things. Yet how can the dilemma be avoided without assigning the boundary to one thing or the other at random? Some philosophers regard this as a reductio of the very notion of a boundary, which should accordingly (...) be treated a mere façon de parler. In this paper I resist this temptation and examine some ways of taking the puzzle at face value within a realist perspective—treating boundaries as ontologically on a par with (albeit parasitic upon) extended parts. (shrink)

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)

The basic philosophical controversy regarding ordinary objects is: Do tables and chairs, sticks and stones, exist? This paper aims to do two things: first, to explain why how this can be a controversy at all, and second, to explain why this controversy has arisen so late in the history of philosophy. Section 1 begins by discussing why the 'obvious' sensory evidence in favor of ordinary objects is not taken to be decisive. It goes on to review the standard arguments against (...) the existence of ordinary objects – including those based on problems with causal redundancy, parsimony, co-location, sorites arguments, and the special composition question. Section 2 goes on to address what it is about the contemporary approach to metaphysics that invites and sustains this kind of controversy, and helps make evident why debates about ordinary objects lead so readily to debates in metametaphysics about the nature of metaphysics itself. (shrink)

The notion of 'natural kinds' has been central to contemporary discussions of metaphysics and philosophy of science. In recent years, essentialism has been the dominant account of natural kinds among philosophers, but the essentialist view has encountered resistance. Informed by detailed examination of classification in the natural and social sciences, Prof. Muhammad Ali Khalidi argues against essentialism and for a naturalist account of natural kinds. By looking at case studies drawn from diverse scientific disciplines, from fluid mechanics to virology and (...) polymer science to psychiatry, the author argues that natural kinds are nodes in causal networks. On the basis of this account, he maintains that there can be natural kinds in the social sciences as well as the natural sciences. (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.