In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

This thesis is a systematic investigation of whether there might be conceptual room for the idea that the world itself might be vague, independently of how we describe it. This idea – the existence of so-called ontic vagueness – has generally been extremely unpopular in the literature; my thesis thus seeks to evaluate whether this ‘negative press’ is justified. I start by giving a working definition and semantics for ontic vagueness, and then attempt to show that there are no conclusive (...) arguments that rule out vagueness of this kind. I subsequently establish what type of arguments I think would be most effective in establishing ontic vagueness and provide some arguments of this form. I then highlight a potential worry for this type of argument, but argue that it can be circumvented. Finally, I consider the main ways that the opponent of ontic vagueness would be likely resist the arguments I have offered, and argue that these strategies of response are methodologically problematic. I conclude by claiming that ontic vagueness is a perfectly plausible ontological commitment. (shrink)

In recent literature on vagueness, writers have noted that more ‘plentiful’ theories of properties – those that postulate genuine properties corresponding to the classically vague predicates like ‘bald’ and ‘heap’ – appear straightforwardly committed to ontic vagueness. In this paper, however, I will argue that worries of ontic vagueness are not specific to ‘plentiful’ accounts of properties. The classically ‘sparse’ theories of properties – Universals and tropes – will, I contend, be subject to similar difficulties.

Ordinary objects are vague, because either (i) composition is restricted, or (ii) there really are no such objects (but we still want to talk about them), or (iii) because such objects are not metaphysically (independently of us) distinguishable from other 'extra-ordinary' objects. In any sense in which there are ordinary objects, they are vague.

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is an object, (...) which definitely exists, about which it is vague whether the relevant borderline parts compose it. (shrink)

Here is the paper that was attacked by George Rea in his “How many minds…?” paper. Has this issue been resolved? Can there be entities such that there is no definite answer to the question “Are there 13 minds at work here, or 14?” -/- .

Recently a fascinating debate has been rekindled over whether vagueness is metaphysical or linguistic. That is, is vagueness an objective feature of reality or is it merely an artifact of our language? Bertrand Russell’s contribution to this debate is considered by many to be decisive. Russell suggested that it is a mistake to conclude that the world is vague simply because the language we use to describe it is vague. He argued that to draw such an inference is to commit (...) “the fallacy of verbalism”. I argue that this is only a fallacy if we have no reason to believe that the world is as our language says. Since vagueness is apparently not eliminable from our language---a fact that Russell himself acknowledged---an indispensability argument can be launched for metaphysical vagueness. In this paper I outline such an argument. (shrink)

There has been recent interest in formulating theories of non-representational indeterminacy. The aim of this paper is to clarify the relevance of quantum mechanics to this project. Quantum-mechanical examples of vague objects have been offered by various authors, displaying indeterminate identity, in the face of the famous Evans argument that such an idea is incoherent. It has also been suggested that the quantum-mechanical treatment of state-dependent properties exhibits metaphysical indeterminacy. In both cases it is important to consider the details of (...) the metaphysical account and the way in which the quantum phenomenon is captured within it. Indeed if we adopt a familiar way of thinking about indeterminacy and apply it in a natural way to quantum mechanics, we run into illuminating difficulties and see that the case is far less straightforward than might be hoped. (shrink)

It is often assumed that indeterminacy in mereological relations—in particular, indeterminacy in which collections of objects have fusions—leads immediately to indeterminacy in what objects there are in the world. This assumption is generally taken as a reason for rejecting mereological vagueness. The purpose of this paper is to examine the link between mereological vagueness and existential vagueness. I hope to show that the connection between the two forms of vagueness is not nearly so clear-cut as has been supposed.

I will here present a number of problems concerning the idea that there is ontological vagueness, and the related claim that appeal to this idea can help solve some vagueness-related problems. A theme underlying the discussion will be the distinction between vagueness specifically and indeterminacy more generally (and, relatedly, the distinction between ontological vagueness and ontological indeterminacy). Even if the world is somehow ontologically indeterminate it by no means follows that it is, properly speaking, ontologically vague.1..

This is an essay for advanced undergraduates and graduates. I present the problem of the many in detail.

In his Material Beings, Peter van Inwagen distinguishes two questions about parthood. What are the conditions necessary and sufficient for some things jointly to compose a whole? What are the conditions necessary and sufficient for a thing to have proper parts? The first of these, the Special Composition Question (SCQ), has been widely discussed, and David Lewis has argued that an important constraint on any answer to the SCQ is that it should not permit borderline cases of composition. This is (...) a far-reaching claim, since many plausible-seeming accounts of composition do permit borderline cases. Ned Markosian has recently directed our attention to the second, the neglected Inverse Special Composition Question (ISCQ). I will argue that those who accept Lewis’s constraint on answers to the SCQ should accept an analogous constraint on answers to the ISCQ, and I will discuss the effects of such a constraint. (shrink)

Vague existence can seem like the worst kind of vagueness in the world, or seem to be an entirely unintelligible notion. This bad reputation is based upon the rumour that if there is vague existence then there are non-existent objects. But the rumour is false: the modest brand of vague existence entailed by certain metaphysical theories of composition does not deserve its bad reputation.

Vague existence can seem like the worst kind of vagueness in the world, or seem to be an entirely unintelligible notion. This bad reputation is based upon the rumour that if there is vague existence then there are non-existent objects. But the rumour is false: the modest brand of vague existence entailed by certain metaphysical theories of composition does not deserve its bad reputation.

This provocative new book attempts to resolve traditional problems of identity over time. It seeks to answer such questions as "How is it that an object can survive change?" and "How much change can an object undergo without being destroyed?" To answer these questions Professor Heller presents a completely new theory about the nature of physical objects and about the relationship between our language and the physical world. According to his theory, the only actually existing physical entities are what the (...) author calls "hunks," four dimensional objects extending across time and space. This is a major new contribution to ontological debate and will be essential reading for all philosophers concerned with metaphysics. (shrink)

Although the predominant view is that vagueness is due to our language being imprecise, the alternative idea that objects themselves do not have determinate borders has received an occasional hearing. But what has failed to be appreciated is how this idea can avoid a puzzle Peter Unger named “The Problem of the Many.”[i].

Can identity be vague? More exactly, can there be objects x and y such that it is vague whether x = y, and the vagueness is due to the objects themselves as opposed to vagueness in language used to denote the objects? The question has been extensively discussed since Evans (1978) where it was claimed that an affirmative answer was a necessary condition for the thesis that there could be vague objects. A recent, ingenious argument in Pinillos (2003) seeks to (...) establish the negative and show that it cannot be de re vague whether x = y. The argument depends crucially on count claims concerning objects whose identity conditions are de re vague, and so we must learn how to count such objects — clouds, persons and much else besides. When that has been accomplished we can see a way out of Pinillos’s argument, and claim that de re vague identity remains coherent. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

We consider the so-called problem of the many, formulated by Peter Unger. It arises because ordinary material things do not have precise boundaries: it is always possible to find borderline parts of which it is not true to say either that they are parts or that they are not. Unger’s conclusion is that there are no ordinary things at all. We describe the solutions of Peter van Inwagen and David Lewis, and make some critical comments upon them. After that we (...) present our own suggestion which is based on ideas developed by Leibniz in connection with problems of unity and plurality. We suggest that what the problem of the many teaches us is that in order to understand what ordinary things are, we have to take seriously the Leibnizian-Kantian distinction between phenomena and things-in-themselves. (shrink)

How do the familiar concrete objects of common-sense – houses, trees, people, cars and the like – persist through time? According to the position known as ‘four-dimensionalism’ or ‘the doctrine of temporal parts’, ordinary concrete objects persist through time by perduring, i.e., by having temporal parts at all those times at which they exist, in addition to their ordinary spatial parts.1 The contrasting position, known as ‘three-dimensionalism’, holds that ordinary concrete objects lack such an additional temporal dimension; rather, they persist (...) through time by enduring, i.e., by being ‘wholly present’ (whatever exactly that comes to) at each of those times at which they exist.2,3 In his excellent recent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’: according to this view, ordinary persisting objects are analyzed as being identical to momentary stages; they persist by having temporal counterparts at other times. (The ‘stage-theory’ contrasts with the more familiar ‘worm-theory’, according to which ordinary persisting objects are analyzed as extended space-time worms, rather than momentary stages.) Sider’s claim on behalf of the stagetheory is that it is the position which, on the whole, provides the best analysis of the persistence of ordinary concrete objects: when compared with competing views, the stage-theory yields the best unified solution to a wide range of classical metaphysical puzzles and has “on balance, the most important advantages and the least serious drawbacks” (Sider, 2001, p. 140). Despite all of its many significant virtues, however, Sider’s case for four-dimensionalism is troubling in certain crucial respects, both philosophically and meta-philosophically. My purpose in this paper Philosophical Studies 114: 107–134, 2003. © 2003 Kluwer Academic Publishers. Printed in the Netherlands. 108.. (shrink)

There are certain metaphysically interesting arguments ‘from vagueness’, for unrestricted mereological composition and for four-dimensionalism, which involve a claim to the effect that idioms for unrestricted quantification are precise. An elaboration of Lewis’ argument for this claim, which assumes the view of vagueness as semantic indecision, is presented. It is argued that the argument also works according to other views on the nature of vagueness, which also require for an expression to be vague that there are different admissible alternatives of (...) the relevant sort, such as epistemicism, as defended by Williamson. Recent attempts to resist the argument are discussed and rejected. (shrink)

In his fascinating and provocative paper, "Sharp Boundaries for Blobs," Roy Sorensen gives several arguments against the possibility of "vague objects," or objects with indeterminate boundaries.1 In what follows, I will examine the main argument given by Sorensen in his paper. This argument has a great deal of initial plausibility. Moreover, I happen to sympathize with its conclusion. Nevertheless, it seems to me that Sorensen's argument fails to establish that conclusion. The purpose of this paper is to show why. I (...) will argue that, upon careful examination, it can be seen that Sorensen's argument involves a fatal equivocation. Sorensen's argument is based on a kind of thought experiment. We are asked to consider, as a paradigm example of a vague object, a grey sphere (also known as "the blob") that fades into a white background. And we are asked to imagine a spherical cavity growing from the center of the blob, so that the growth of the cavity eventually destroys the blob. Sorensen's argument, which is explicitly spelled out in Section I of his paper, goes like this: 1. The blob must have a boundary. 2. If a spherical cavity grows from the center of the blob, the blob's outer boundary is completely unaffected as long as some of the blob remains. 3. As soon as nothing remains of the blob, the blob's boundary goes out of existence all at once. (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

There has been much discussion of whether there could be objects A and B that are “individuatively vague” in the following way: object A and object B neither determinately stand in the relation of identity to one another, nor do they determinately fail to stand in this relation. If there are objects of this type, then we would have a genuine case of metaphysical vagueness, or “vagueness-in-the-world.” The possibility of vague objects in this sense strikes many as incoherent. The possibility’s (...) very description not only seems to talk of two objects but, much worse, it seems to point to a feature that distinguishes them: unlike object A, object B is not determinately identical to object A. This suspicion of incoherence is voiced in the famous arguments given against the possibility by Gareth Evans and Nathan Salmon. But the status of those arguments and others is uncertain. Here I present a new argument against vague objects — or more precisely, against the possibility of individuatively vague objects that satisfy an important and common additional condition that I will call “Democracy.” Since my argument turns on a connection between what is indeterminate and what is possible, I call it “the modal argument.”. (shrink)

ABSOLUTE AND RELATIVE IDENTITY On the classical, or Fregean, view of identity it is an equivalence relation satisfying Leibniz's Law (so<alled), ...

The supporter of vague objects has been long challenged by the following ‘Argument from Identity’: 1) if there are vague objects, then there is ontically indeterminate identity; 2) there is no ontically indeterminate identity; therefore, 3) there are no vague objects. Some supporters of vague objects have argued that 1) is false. Noonan (Analysis 68: 174–176, 2008) grants that 1) does not hold in general, but claims that ontically indeterminate identity is indeed implied by the assumption that there are vague (...) objects of a certain special kind (i.e. vague objects*). One can therefore formulate a ‘New Argument from Identity’: 1′) if there are vague objects*, then there is ontically indeterminate identity; 2) there is no ontically indeterminate identity; therefore, 3′) there are no vague objects*. Noonan’s strategy is to argue that premiss 1′) is inescapable, and, as a consequence, that Evans’s alleged defence of 2) is a real challenge for any supporter of vague objects. I object that a supporter of vague objects who grants the validity of Evans’s argument allegedly in favour of 2) should reject premiss 1′). The threat of the New Argument from Identity is thus avoided. (shrink)

In the introduction to their vagueness reader, Rosanna Keefe and Peter Smith classified accounts of vagueness with respect to how they handle the sorites paradox. The sorites paradox is set out in the standard way with reference to a sorites se- quence s of objects s1, . . . , sn and an associated vague predicate F . In S, there is a very small and seemingly negligible difference between any two adjacent elements si and si +1 with respect to (...) the dimension that is relevant to satisfying F (for instance, if F is ‘. . . is tall’, then the dimension is height). This suggests that if si satisfies F , then so does si +1. Since S is a sorites sequence for F it is also stipulated that s1 satisfies F and that sn does not. Let ti denote si, 1 ≤ i ≤ n. Then the sorites argument is set up as.. (shrink)

Challenging, with several powerful arguments, some of our deepest beliefs about rationality, morality, and personal identity, Parfit claims that we have a false view about our own nature. It is often rational to act against our own best interersts, he argues, and most of us have moral views that are self-defeating. We often act wrongly, although we know there will be no one with serious grounds for complaint, and when we consider future generations it is very hard to avoid conclusions (...) that most of us will find very disturbing. (shrink)

This paper began life as a short section of a more general paper about non-classical mereologies. In that paper I had a mereological theory that I wanted to show could be applied to all sorts of different metaphysical positions — notably, to those positions that believe in mereological vagueness in re — in “vague individuals”. To do that I felt I first had to dispatch the leading rival theory of vague individuals, which is due to Peter van Inwa-gen, and holds (...) that the part-whole relation admits of degrees. It seemed to me that this theory had a serious technical problem, or at best a serious gap. I sat down to write a paragraph or two highlighting the gap, preferably showing that it couldn’t be filled. This paper is the result. (shrink)

In this paper we point out some interesting structural similarities between vagueness and moral dilemmas as well as between some of the proposed solutions to both problems. Moral dilemma involves a situation with opposed obligations that cannot all be satisfied. Transvaluationism as an approach to vagueness makes three claims concerning the nature of vagueness: (1) it involves incompatibility between mutually unsatisfiable requirements, (2) the underlying requirements retain their normative power even when they happen to be overruled, and (3) this incompatibility (...) turns out to be rather benign in practice. Given that transvaluationism is inspired by moral dilemmas, these claims are assessed in respect to them. Transvaluationism provides a smooth account of the mentioned claims concerning vagueness. Following a brief discussion of Sorensen’s views on moral dilemmas and conflict vagueness, we offer a model of moral pluralism accommodating structurally similar claims about the nature of moral conflict and moral dilemmas. (shrink)

[1] We all know that language is vague. The majority of our terms admit borderline cases. We are notoriously unable to resolve the precise number grains required for a portion of sand to fall under the predicate "heap". It might be supposed that blurry boundaries are, at bottom, an ontological phenomenon. Perhaps the indeterminacy of our predicates is inherited from the indeterminacy of the properties they denote. Perhaps objects can also by vague, rendering singularly terms, including proper names, uncomfortably imprecise. (...) This thesis has been dismissed, challenged, and championed by various philosophers over the course of the century. Undoubtedly the most widely discussed objection to vague ontology comes in the form of a one-page argument devised by Gareth Evans (1978). Although other arguments against vague objects have been proposed,1 Evans' argument has occupied center stage, clarifying and provoking debate. Its impact reconfirms the value of Evans' philosophical legacy. (shrink)

Naive mereology studies ordinary, common-sense beliefs about part and whole. Some of the speculations in this article on naive mereology do not bear directly on Peter van Inwagen's "Material Beings". The other topics, (1) and (2), both do. (1) Here is an example of Peter Unger's "Problem of the Many". How can a table be a collection of atoms when many collections of atoms have equally strong claims to be that table? Van Inwagen invokes fuzzy sets to solve this problem. (...) I claim that an alternative treatment of vagueness, supervaluations over many-value valuations, provides a better solution. (2) The Special Composition Question asks how parts compose a whole. One who rejects van Inwagen's answer in terms of constituting a life need not provide some alternative answer. Even if all answers to the Special Question fail, there are a multitude of less general composition questions that are not so difficult. (shrink)

In my book Four-dimensionalism (chapter 4, section 9), I argued that fourdimensionalism -- the doctrine of temporal parts -- follows from several other premises, chief among which is the premise that existence is never vague. Kathrin Koslicki (preceding article) claims that the argument fails since its crucial premise is unsupported, and is dialectically inappropriate to assume in the context of arguing for four-dimensionalism. Since the relationship between four-dimensionalism and the non-vagueness of existence is not perfectly transparent, I think the argument (...) would retain some interest even if the premise were wholly unsupported; it would show that anyone who accepts that premise (which seems reasonable enough to me though perhaps not to others) must accept four-dimensionalism. Still, Koslicki is right that my defense of the premise was thin. So I will now try to do better. The new defense will have further premises, which could ultimately be rejected by opponents of four-dimensionalism, and so the argument retains the form: anyone who thinks certain things (which seem reasonable enough to me though perhaps not to others) must believe four-dimensionalism. But that’s metaphysics for you. I should also say that, in addition to the material on vague existence, there is more in Koslicki’s excellent paper which I cannot discuss here. I agree with much of it;1 and where we disagree there are formidable challenges, some of which I hope to address in the future. (shrink)

A recent theory of metaphysical indeterminacy says that metaphysical indeterminacy is multiple actuality: there is metaphysical indeterminacy when there are many ‘complete precisifications of reality’. But it is possible for there to be metaphysical indeterminacy even when it is impossible to precisify reality completely. The orthodox interpretation of quantum mechanics illustrates this possibility. So this theory of metaphysical indeterminacy is not adequate.

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

Arguments that ordinary inanimate objects such as tables and chairs, sticks and stones, simply do not exist have become increasingly common and increasingly prominent. Some are based on demands for parsimony or for a non-arbitrary answer to the special composition question; others arise from prohibitions against causal redundancy, ontological vagueness, or co-location; and others still come from worries that a common sense ontology would be a rival to a scientific one. Until now, little has been done to address these arguments (...) in a unified and systematic way. Ordinary Objects is designed to fill this gap, demonstrating that the mistakes behind all of these superficially diverse eliminativist arguments may be traced to a common source. It aims to develop an ontology of ordinary objects subject to no such problems, providing perhaps the first sustained defense of a common sense ontology in two generations. The work done along the way addresses a number of major issues in philosophy of language and metaphysics, contributing to debates about analyticity, identity conditions, co-location and the grounding problem, vagueness, overdetermination, parsimony, and ontological commitment. In the end, the most important result of addressing these eliminativist arguments is not merely avoiding their conclusions; examining their failings also gives us reason to suspect that many apparent disputes in ontology are pseudo-debates. For it brings into question widely-held assumptions about which uses of metaphysical principles are appropriate, which metaphysical demands are answerable, and how we should go about addressing such fundamental questions as "What exists?". As a result, the work of Ordinary Objects promises to provide not only the route to a reflective understanding of our unreflective common-sense view, but also a better understanding of the proper methods and limits of metaphysics. (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)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (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)

 Nature: What indefiniteness is.  Logic: How to reason in the presence of indefiniteness  Mind: How indefiniteness fits into our cognitive life.

If one believes that vagueness is an exclusively representational phenomenon, one faces the problem of the many. In the vicinity of Kilimanjaro, there are many many ‘mountain candidates’ all, apparently, with more-or-less equal claim to be mountains. David Lewis has defended a radical claim: that all the billions of mountain candidates are mountains. This paper argues that the supervaluationist about vagueness should adopt Lewis’ proposal, on pain of losing their best explanation of the seductiveness of the sorites.

When I take off my glasses, the world looks blurred. When I put them back on, it looks sharpedged. I do not think that the world really was blurred; I know that what changed was my relation to the distant physical objects ahead, not those objects themselves. I am more inclined to believe that the world really is and was sharp-edged. Is that belief any more reasonable than the belief that the world really is and was blurred? I see more (...) accurately with my glasses on than off, so visual appearances when they are on have some cognitive priority over visual appearances when they are off. If I must choose which kind of visual appearance to take at face value, I will choose the sharp-edged look. But what should I think when I see a mist, which looks very blurred however well I am seeing? Indeed, why choose to take any of the looks at face value? Why not regard all the choices as illegitimate projections of ways of seeing the world onto the world itself? (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)