A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

We discuss at some length evidence from the cognitive science suggesting that the representations of objects based on spatiotemporal information and featural information retrieved bottomup from a visual scene precede representations of objects that include conceptual information. We argue that a distinction can be drawn between representations with conceptual and nonconceptual content. The distinction is based on perceptual mechanisms that retrieve information in conceptually unmediated ways. The representational contents of the states induced by these mechanisms that are available to a (...) type of awareness called phenomenal awareness constitute the phenomenal content of experience. The phenomenal content of perception contains the existence of objects as separate things that persist in time and time, spatiotemporal information, and information regarding relative spatial relations, motion, surface properties, shape, size, orientation, color, and their functional properties. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

The concept of niche (setting, context, habitat, environment) has been little studied by ontologists, in spite of its wide application in a variety of disciplines from evolutionary biology to economics. What follows is a first formal theory of this concept, a theory of the relations between objects and their niches. The theory builds upon existing work on mereology, topology, and the theory of spatial location as tools of formal ontology. It will be illustrated above all by means of simple biological (...) examples, but the concept of niche should be understood as being, like concepts such as part, boundary, and location, a structural concept that is applicable in principle to a wide range of different domains. (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)

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)

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.

Berkeley, Hume, and Russell rejected the traditional analysis of substances in terms of qualities which are supported by an "unknowable substratum." To them the proper alternative seemed obvious. Eliminate the substratum in which qualities are alleged to inhere, leaving a bundle of coexisting qualities--a view that we may call the Bundle Theory or BT. But by rejecting only part of the traditional substratum theory instead of replacing it entirely, Bundle Theories perpetuate certain confusions which are found in the Substratum Doctrine. (...) I examine two major types of BT developed by Russell and by G. F. Stout with the intention of showing that (1) the seemingly innocuous concept of "a quality" employed by these versions cannot be used to state their theories coherently, and (2) the fatal problems that the BT encounters point to a more satisfactory and interesting alternative to both the Substratum Doctrine and the BT. This is a view that I call the Qualified Particulars Theory. In a final section I draw morals from this discussion that apply to the analogous Humean view that a mind is a "bundle of perceptions and sensations.". (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can be correct, (...) as it has been alleged that internalism cannot account for the possibility of the justification of beliefs stored in memory. -/- My aim in this paper is to offer a response that explains how memory justification is possible in a way that is consistent with epistemic internalism and an awareness condition on justification. Specifically, I will explore the plausibility of various options open to internalists, including both foundationalist and non-foundationalist approaches to the structure of justification. I intend to show that despite other difficult challenges that epistemic internalism might face, memory belief poses no special problems that the resources of internalism cannot adequately address. (shrink)

A critical review of the main themes arising out of recent literature on the semantics of ordinary event talk. The material is organized in four sections: (i) the nature of events, with emphasis on the opposition between events as particulars and events as universals; (ii) identity and indeterminacy, with emphasis on the unifier/multiplier controversy; (iii) events and logical form, with emphasis on Davidson’s treatment of the form of action sentences; (iv) linguistic applications, with emphasis on issues concerning aspectual phenomena, the (...) telicity/atelicity distinction, the treatment of statives, and temporal quantification. (shrink)

Assuming that events form a genuine ontological category, shall we say that a good inventory of the world ought to include “negative” events—failures, omissions, things that didn’t happen—along with positive ones? I argue that we shouldn’t. Talk of non-occurring events is like talk of non-existing objects and should not be taken at face value. We often speak as though there were such things, but deep down we want our words to be interpreted in such a way as to avoid serious (...) ontological commitment. (shrink)

Most event-referring expressions are vague; it is utterly difficult, if not impossible, to specify the exact spatiotemporal location of an event from the words that we use to refer to it. We argue that in spite of certain prima facie obstacles, such vagueness can be given a purely semantic (broadly supervaluational) account.

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

A look at the dynamical concept of space and space-generating processes to be found in Kant, J.F. Herbart and the mathematician Bernhard Riemann's philosophical writings.

In his Meditations Descartes concludes that he is a res cogitans, an unextended entity whose essence is to be conscious. His reasoning in support of the conclusion that he exists entirely distinct from his body has seemed unconvincing to his critics. I attempt to show that the reasoning which he offers in support of his conclusion. although mistaken, is more plausible and his mistakes more interesting than his critics have acknowledged.

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

This paper has two central aims. First, we motivate a puzzle. The puzzle features four independently plausible but jointly inconsistent claims. One of the four claims is the sufficiency leg of the knowledge norm of assertion (KNA-S), according to which one is properly epistemically positioned to assert that p if one knows that p. Second, we propose that rejecting (KNA-S) is the best way out of the puzzle. Our argument to this end appeals to the epistemic value of intellectual humility (...) in social-epistemic practice. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

An important source of doubt about our knowledge of the "external world" is the thought that all of our sensory experience could be delusive without our realizing it. Such wholesale questioning of the deliverances of all forms of perception seems to leave no resources for successfully justifying our belief in the existence of an objective world beyond our subjective experiences. I argue that there is there is a fatal flaw in the very expression of philosophical doubt about the "external world." (...) Therefore, no such justification is necessary. The feature of skepticism which I believe renders it vulnerable is the assumption that each of us has a right to be certain of his own existence as a subject of conscious experience even in the face of comprehensive doubt about our empirical beliefs. (shrink)

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...) logics. (shrink)

Recent work in the philosophy of mind and cognitive science (e.g., Clark and Chalmers 1998; Clark 2010a; Clark 2010b; Palermos 2014) can help to explain why certain kinds of assertions—made on the basis of information stored in our gadgets rather than in biological memory—are properly criticisable in light of misleading implicatures, while others are not.

The idea that we may continue to exist in a bodiless condition after our death has long played an important role in beliefs about immortality, ultimate rewards and punishments, the transmigration of souls, and the like. There has also been long and heated disagreement about whether the idea of disembodied existence even makes sense, let alone whether anybody can or does survive dissolution of his material form. It may seem doubtful that anything new could be added to the debate at (...) this late date, but I hope to show that this is not so. I will explore the problem of disembodiment from a somewhat different direction than has been tried before, one that leads to what seem to me more interesting and more definite conclusions about its unintelligibility. Furthermore, the approach I will be taking puts both the traditional mind-body problem and the competing claims of dualism and physicalism in a fresh light that can help us to understand better the nature of our embodied existence. (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...) purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively. (shrink)

Daniel Dennett has offered a set of necessary and sufficient conditions for something's being the proper object of our moral commitment, that is, for something's being a person. Strict application of these largely pragmatic conditions, however, would result in a moral community with quite a surprising membership roster, because of both who is on it and who isn't. The problem is that "your" being a person should amount to more than a function of "my" goals and cleverness.

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and his rejection (...) of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

Over three decades ago, in a brief but provocative essay, Paul Ziff argued for the thesis that robots cannot have feelings because they are "mechanisms, not organisms, not living creatures. There could be a broken-down robot but not a dead one. Only living creatures can literally have feelings."[i] Since machines are not living things they cannot have feelings. In the first half of my paper I review Ziff's arguments against the idea that robots could be conscious, especially his appeal to (...) our linguistic usage. In the second half of the essay I try to provide a deeper ontological understanding of why we ought not attribute minds to nonliving artifacts. I argue that inanimate mechanisms are incapable of genuinely active and purposive behavior. They are importantly different in kind from living human beings and animals. (shrink)

For any given society, its particular technology of communication has far-reaching consequences, not merely as regards social organization, but on the epistemic level as well. Plato's name-theory of meaning represents the transition from the age of primary orality to that of literacy; Wittgenstein's use-theory of meaning stands for the transition from the age of literacy to that of a second orality (audiovisual communication, electronic information processing). On the basis of a use-theory of meaning the problem of machine consciousness, to which (...) the later Wittgenstein again and again returned, is capable of a non-essentialist solution: appropriate changes in our form of life might well entail a radically different psychological language-game. (shrink)

In ‘Something to Do with Vagueness ...’, Linda Burns defends an analogy between the informational and the borderline-case variety of vagueness. She argues that the latter is in fact less extraordinary and less disastrous than people in the tradition of Michael Dummett and Crispin Wright have told us. However, her account involves presuppositions that cannot be taken for granted. Here is to take a closer look at some of these presuppositions and argue hat they may--when left unguarded--undermine much of Burns’ (...) general account. (shrink)

One of the goals of physiologists who study the detailed physical, chemical,and neurological mechanisms operating within the human body is to understand the intricate causal processes which underlie human abilities and activities. It is doubtless premature to predict that they will eventually be able to explain the behaviour of a particular human being as we might now explain the behaviour of a pendulum clock or even the invisible changes occurring within the hardware of a modern electronic computer. Nonetheless, it seems (...) fair to say that hovering in the background of investigations into human physiology is the promise or threat, depending upon how one looks at the matter that human beings are complete physical-chemical systems and that all events taking place within their bodies and all movements of their bodies could be accounted for by physical causes if we but knew enough. I am not concerned at the moment with whether or not this ’mechanistic’ hypothesis is true, assuming that it is clear enough to be intelligible, nor with whether or not we could ever know that it is true. I wish to consider the somewhat more accessible yet equally important question whether our coming to believe that the hypothesis is true would warrant our relinquishing our conception of ourselves as beings who are capable of acting for reasons to achieve ends of our own choosing. I use the word ’warrant’ to indicate that I will not be discussing the possibility that believing the mechanistic hypothesis might lead us, as a matter of psychological fact, to think of human beings as mere automata, as objects whose movements are to be explained only by causes rather than by reasons, as are the actions of a personal subject. I intend to consider only whether the acceptance of mechanism would in fact justify such a change in conception. (shrink)

In ‘Towards a Solution to the Sorites Paradox’, Graham Priest gives us a new account of the sorites based on fuzzy logic. The novelty lies in the suggestion that truth-value assignments should themselves be treated as fuzzy objects, i.e., objects about which we can make fuzzy identity statements. I argue that Priest’s solution does not have the explanatory force that Priest advocates. That is, it does not explain why we find the existence of a cut-off point counter-intuitive. I also argue (...) that this sort of explanation calls for a general theory that goes beyond the special case of linguistic vagueness, for the phenomenon is at bottom not linguistic. (shrink)

There have been some narratives in Hadith literature that the companions of the Prophet Muhammad reviled (sabb) each other. In order to understand the expression of sabb correctly, the reasons of what led companions to curse need to be investigated. In this study, firstly concepts such as sabb, shatam and other related words will be examined and then the reasons for the expressions of sabb among companions and the factors which affected this will be analyzed.

A defense of the value of studying what Aristotle, in the Politics, refers to as useless things, and thereby a defense of the 'uselessness' of the study of the liberal arts.

We cannot disregard that the neuroscientific research on religious phenomena such as religious experiences and rituals for example, has increased significantly the last years. Neuroscientists claim that neuroscience contributes considerably in the process of understanding religious experiences, because neuroscience is able to measure brain activity during religious experiences by way of brain‐imaging technologies. No doubt, those results of neuroscientific research on religious experiences are an important supplement to the understanding of some types of religious experiences. However, some conclusions drawn from (...) neuroscientific research on religious experiences are arguable. For example, one such conclusion is that religious experiences are actually nothing but neural activity, i.e. there is nothing ‘religious’ to the experiences at all. Another such conclusion is that a person’s religious experiences actually derive from some ultimate reality, meaning that religious experiences are real. It is the latter assertion that will be analyzed in the present paper. The question is asked whether neuroscience alone is able to affirm that religious experiences are real or whether there are, besides neuroscientific issues, also cultural‐religious assumptions that underlie this conclusion. (shrink)

This article encourages a reconsideration of Christian sociology. It explains how deism makes a decisive impact in the theoretical foundations of the discipline. Dutch neocalvinistic philosophy in its North American immigrant setting after World War II issued a challenge which drew attention to the dogmas of deism implicit in sociology, but this challenge has not been met. Christian sociology, however, still retains its God-given vocation to find ways to encourage people everywhere to positively form complex differentiated social settings in the (...) Spirit of the Suffering and Glorified Messiah. (shrink)

Much mischief concerning the concept of a human body is generated by the failure of philosophers to distinguish various important senses of the term 'body.' I discuss three of those senses and illustrate the issues they can generate by discussing the concept of a Lockean exchange of bodies as well as the brain-body switch.

This research note is penned in honour of Johan Vander Hoeven on his retirement as Editor-in-Chief of Philosophia Reformata. It is to acknowledge his helpful contribution to the critical exposition of phenomenology. I first read his work almost 30 years ago and it challenged me to develop a sympathetic Christian critique of this philosophical movement. This note is to offer some reflection upon the Christian interpretation of phenomeology. In particular, it raises questions about how some famous phrases, one by Dilthey, (...) the other by Husserl, have been construed. (shrink)

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).

Some philosophers have argued that the vagueness exhibited by names and descriptions such as ‘Mount Everest’, ‘Downtown Manhattan’, or ‘that cloud in the sky’ is ultimately ontological: they are vague because they refer to vague objects, objects with fuzzy boundaries. I take the opposite stand and argue for the view that all vagueness is semantic. There is no such thing as a vague mountain. Rather, there are many things where we conceive the 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)