Boundary

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a surface) demarcating the interior of a sphere from its exterior; there is a boundary (a border) separating Maryland and Pennsylvania. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. And it is sometimes suggested that abstract entities, such as concepts or sets, have boundaries of their own. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or the organizing activity of our intellect, are matters of deep philosophical controversy.

• 1. Issues
  • 1.1 Owned vs. Unowned Boundaries
  • 1.2 Genuine vs. Imaginary Boundaries
  • 1.3 Sharp vs. Vague Boundaries
  • 1.4 Bodiless vs. Bulky Boundaries
• 2. Theories
  • 2.1 Realist Theories
  • 2.2 Eliminativist Theories
• Appendix: A Bouquet of Quotations
• References
• Other Internet Resources
• Related Entries

1. Issues

Euclid defined a boundary as "that which is an extremity of anything" (Elements Bk I, Df 13), and Aristotle made this more precise by defining the extremity of a thing x as "the first thing outside of which no part [of x] is to be found, and the first thing inside of which every part [of x] is to be found." (Metaphysics 1022^a) This definition is intuitive enough and may be regarded as the natural starting point for any investigation into the concept of a boundary. Indeed, although Aristotle's definition was only meant to apply to material objects, it intuitively applies to events as well (insofar as they have mereological structure) and by extension also to abstract entities such as concepts and sets (compare the topologically standard notion of the boundary of a set x as the set of those points all of whose neighborhoods intersect both x and the complement of x.) On the face of it, however, this intuitive characterization is the source of several puzzles that justify philosophical concern, especially with respect to the boundaries of spatio-temporal particulars such as objects and events.

1.1 Owned vs. Unowned Boundaries

The first sort of puzzle relates to the intuition that a boundary separates two entities (or two parts of the same entity), which are said to be continuous with each other. Imagine ourselves traveling from Maryland to Pennsylvania. What happens as we cross the Mason-Dixon line? Do we pass through a last point p in Maryland and a first point q in Pennsylvania? Clearly not, given the density of the continuum; for then we should have to admit an infinite number of further points between p and q that would be in neither State. But, equally clearly, we can hardly acknowledge the existence of just one of p and q, as is dictated by the standard mathematical treatment of the continuum; to do so would be to assign the boundary between the two States to only one of the States, and either choice would amount to a peculiar privileging of one State over the other. And we cannot identify p with q, either, for we are speaking of two adjacent States, so their territories cannot have any parts in common. So, where is the Mason-Dixon line, and how does it relate to the two adjacent entities it separates?

The puzzle is not specific to this example. Consider Aristotle's own riddle about motion: At the instant when an object stops moving, is it in motion or is it at rest? (Physics VI, 234a ff.) Or consider the dilemma raised by Leonardo in his Notebooks: What is it that divides the atmosphere from the water? Is it air or is it water? (1938: 75-76). Or, again, consider Peirce's puzzle: What color is the line of demarcation between a black spot and its white background? (1893: 98) Perhaps figure/ground considerations could be invoked to provide an answer in this last case, based on the principle that the boundary is always owned by the figure — the background is topologically open (Jackendoff 1987, Appendix B). But what is figure and what is ground when it comes to two adjacent halves of the black spot? What is figure and what is ground when it comes to Maryland and Pennsylvania? What happens when we dive into the water? In such cases intuition has no straightforward account to offer. Yet one can hardly deny that these questions define important choices to be made by any theory of boundaries — or any boundary-based theory of the world of spatio-temporally extended entities.

1.2. Genuine vs. Imaginary Boundaries

A second sort of puzzle relates to the fact that Aristotle's mereological definition (and the common-sense intuition that it captures) only seems to apply to a realm of continuous entities. Modulo the above-mentioned difficulty, the thought that Maryland and Pennsylvania are bounded by the Mason-Dixon line is fair enough. But ordinary material objects — it might be observed — are not strictly speaking continuous (or dense) and speaking of an object's boundary is like speaking of the "flat top" of a fakir's bed of nails (Simons 1991: 91). On closer inspection, the spatial boundaries of physical objects are imaginary entities surrounding swarms of subatomic particles, and their exact shape and location involve the same degree of arbitrariness as those of a mathematical graph smoothed out of scattered and inexact data (or those of the figures of an impressionist painting). Similarly, on closer inspection a body's being in motion amounts to the fact that the vector sum of the motions of zillions of restless particles, averaged over time, is non-zero, hence it makes no sense to speak of the instant at which a body stops moving (Galton 1994: 4). So the question arises, are boundaries imaginary entities — projections of the mind — or are they genuine denizens of reality?

Even with reference to the Mason-Dixon line — and, more generally, to those boundaries that demarcate adjacent parts of a continuous manifold, as when an individual cognitive agent conceptualizes a black spot as being made of two halves — one can raise the question of their ontological status. Such boundaries reflect to various degrees the organizing activity of our intellect, or of our social practices. And it might be argued that belief in their objectivity epitomizes a form of metaphysical realism that cries for justification. We may, in this connection, introduce a conceptual distinction between natural or bona fide boundaries, which are grounded in some physical discontinuity or qualitative heterogeneity betwixt an entity and its surroundings, and artificial or fiat boundaries, which are not so grounded in the autonomous, mind-independent world (Smith 1995). Geo-political boundaries such as the Mason-Dixon line are of the fiat sort, and it may well be that even the surfaces of ordinary material objects such as tables or tennis balls involve, on closer inspection, fiat articulations of some kind. So the question is, are there any bona fide boundaries? And, if not, is the fiat nature of our boundary talk a reason to justify an anti-realist attitude towards boundaries altogether? (Compare also how the issue arises in the realm of abstract entities: Are there concepts that carve the world "at the joints"?) Besides, once the fiat/bona fide opposition has been recognized, it is clear that it can be drawn in relation to whole objects and events also (Smith 2001). Insofar as (part of) the boundary of a whole is of the fiat sort, the whole itself may be viewed as a conceptual construction, hence the question of the ontological status of boundaries becomes of a piece with the more general issue of the conventional status of ordinary objects and events (Heller 1990).

1.3. Sharp vs. Vague Boundaries

A third puzzle relates to vagueness. Aristotle's definition (as well as standard topology) suggests that there is always a sharp demarcation between the inside and the outside of a thing. Yet it may be observed that ordinary objects and events, as well as the extensions of many ordinary concepts, may have boundaries that are in some sense fuzzy or indeterminate. Clouds, deserts, mountains, let alone the figures of an impressionist painting, all seem to elude the idealized notion of a sharply bounded object. Likewise, the temporal boundaries of many events (let alone their spatial boundaries) seem to be indeterminate. When exactly did the industrial revolution begin? When did it end? (Where did it take place?) And certainly the concepts corresponding to such predicates as ‘bald’ or ‘tall’ do not posses sharp boundaries; as Frege put it, to such concepts there seems to correspond "an area that ha[s] not a sharp boundary-line all around, but in places just vaguely fade[s] away into the background" (1903: §56)

How is such fuzziness to be construed? One option is insist on a purely epistemic account: the fuzziness would lie exclusively in our ignorance about the exact location of the relevant boundaries (Sorensen 1988, Williamson 1994). Alternatively, one may distinguish here between a de re account and a de dicto account. On the de re account, the fuzziness is truly ontological; the boundary of Mount Everest (say) would be vague insofar as there is no objective, determinate fact of the matter about which parcels of land lie on which side (Tye 1990; Copeland 1995). Likewise, on this account a predicate such as ‘bald’ would be vague because it stands for a vague set, a set with truly fuzzy boundaries. By contrast, the de dicto account corresponds to a purely linguistic (or conceptual) notion of vagueness. There is no vague boundary demarcating Mount Everest on this view; rather, there are many distinct parcels of land, each with a precise border, but our linguistic practices have not enforced a choice of any one of them as the official referent of the name ‘Everest’ (Lewis 1986; McGee 1997). Similarly, on this view the set of bald people does not have a fuzzy boundary; rather, our linguistic stipulations do not fully specify which set of people corresponds to the extension of ‘bald’. For boundaries of the fiat sort a de dicto account suggests itself naturally: insofar as the process leading to the definition of a boundary may not be precise, the question of whether something lies inside or outside the boundary may be semantically indeterminate. But this account does not sit well with boundaries of the bona fide sort (if any); if any such boundary were vague, it would be so independently of our cognitive or social articulations, hence a de re account would seem to be necessary, which means that there would be genuine worldly indeterminacy.

1.4. Bodiless vs. Bulky Boundaries

A fourth source of concern relates to the intuition, implicit in Aristotle's definition, that boundaries are lower-dimensional entities, i.e., have at least one dimension fewer than the entities they bound. The surface of a (continuous) sphere, for example, is two-dimensional (it has no "substance" or "divisible bulk"), the Mason-Dixon Line is one-dimensional (it has "length" but no "breadth"), and a boundary point such as the vertex of a pyramid is zero-dimensional (it extends in no direction). This intuition is germane to much of what we ordinarily say about boundaries. But it is problematic insofar as it contrasts with several independent intuitions that are of a piece with both common sense and philosophical theorizing. For instance, there is a standing tradition in epistemology (from Moore 1925 to Gibson 1979) according to which boundaries play a crucial role in perception: we see (opaque) physical objects indirectly by seeing their surfaces. But it is not clear how one can see entities that lack physical bulk. Likewise, we often speak of surfaces as of things that may be pitted, or damp, or that can be skratched, polished, sanded, and so on, and it is unclear whether such predicates can be applied to immaterial entities. In such cases, it would rather seem that surfaces (and boundaries more generally; see Jackendoff 1991) are to be construed as "thin layers" that are schematized as having fewer dimensions than the wholes to which they apply.

Arguably, this conceptual tension between boundaries understood as lower-dimensional entities and boundaries understood as thin layers reflects an irreducible ambiguity in ordinary speech (Stroll 1988). And, arguably, it is only the first conception that gives rise to the puzzles outlined in the foregoing sections; bulky boundaries can be treated as ordinary proper parts of the bodies they bound. Yet there is no question that a general theory of boundaries should have something to say about the second conception as well — and more generally about the interaction between the mathematical idealization associated with the former conception and the physical, cognitive, and philosophical significance of the latter.

2. Theories

So boundaries are, on the one hand, central to the common-sense picture of the world and yet, on the other, deeply problematic. We may accordingly distinguish two main sorts of theories, depending on whether one is willing to take the problems at face value (realist theories) or to bypass them altogether, treating boundaries as mere façons de parler (eliminativist theories).

2.1. Realist Theories

Most realist theories about boundaries, construed as lower-dimensional entities, share the view that such entities are ontological parasites. Boundaries cannot exist in isolation from the entities they bound, though there may be disagreement as to whether this ontological dependence is generic (a boundary cannot exist except as a boundary of something) or specific (the boundary of something cannot exist except as a boundary of that thing) (Brentano 1976; Chisholm 1984). This view does justice to the intuition that boundaries, if real, are somewhat "less real" than bulky entities. Realist theories may differ significantly, however, with regard to how such dependent, lower-dimensional entities relate to the extended entities they bound (Varzi 1997). Thus, with reference to the first puzzle of Section 1, let A and B be any two extended entities separated by a common boundary (such as Maryland and Pennsylvania). Then we may distinguish four main theories:

1. The boundary may belong neither to A nor to B. This was, ultimately, Leonardo's view, though it does not find much support among recent philosophers (possibly with the exception of Hestevold 1986 and, within limits, Sorensen 1986). It implies that contact may obtain between A and B even if both A and B are topologically open, as long as nothing lies between them except for their common, outer boundary (i.e., as long as the closure of A overlaps the closure of B). So, on this view, there is no last point p of Maryland and no first point q of Pennsylvania: the States of the Union do not, strictly speaking, use up the whole territory.
2. The boundary must belong either to A or to B, though it may be indeterminate to which of A and B it belongs. This theory builds on Bolzano's view (1851), which in turn is mirrored by the standard account of point-set topology. It implies that contact may obtain between A and B only if either A or B is topologically closed while the other is topologically open in the relevant contact area; but the appeal to indeterminacy allows one to leave the matter unsettled. This indeterminacy, in turn, may be construed as semantic or epistemic, depending on whether the relevant boundary is of the fiat sort, as with the Mason-Dixon line, or of the bona fide sort (for a formal treatment of this theory, see Casati and Varzi 1999, Ch. 5.).
3. The boundary may belong both to A and to B, but the relevant overlap is sui generis precisely insofar as it involves lower-dimensional parts. Boundaries do not take up space and so, on this theory, it is not implausible to say that (for example) the Mason-Dixon line belongs to both Maryland and Pennsylvania. In some cases, however, this theory may require a dialethic biting of the bullet: if the line of demarcation between a black spot and its white background belongs to both, then it must be both white and black. Likewise, at the instant when a (homogeneous) object undergoes the transition from being stationary to moving it must be both stationary and moving (See e.g., Priest 1987.)
4. There really may be two boundaries, one belonging to A and one belonging to B, and these two boundaries would be co-located — that is, they would coincide spatially without overlapping mereologically. This view can be traced back to Brentano (1976) and has been worked out in detail by Chisholm (1984, 1992/1993). It allows one to reject the distinction between closed and open entities (which Brentano regarded as "monstrous"), treating all extended bodies as closed. In the case of material bodies, the spatial coincidence of their boundaries would amount to a violation of Locke's principle of one object to a place (Essays, II-xxvii-1) but, again, the violation would be sui generis precisely insofar as the entities in question do not take up any space (for a formal treatment of this theory, see also Smith 1997).

These theories are mutually exclusive, but they need not be exhaustive and can be further articulated or integrated to address the issues raised by the other puzzles of Section 1. For example, with reference to the second puzzle (Section 1.2), Smith and Varzi (2000) have a double-barred theory that is of type (2) with respect to bona fide boundaries and of type (4) with respect to fiat boundaries. (So there is no coincidence of real boundaries but merely of fiat articulations.) Similarly, the indeterminacy hypothesis advocated by type-(2) theories can be regarded as being of a piece with the sort of indeterminacy that is involved in the phenomenon of vagueness (Section 1.3). For fiat boundaries, for instance, a de dicto account may be applied in both cases: statements about such boundaries are true iff they are super-true, i.e., true under every admissible way of precisifying the relevant fiat articulations (Varzi 2001 and references therein).

2.2. Eliminativist Theories

Eliminativist theories move from the idea that talk of boundaries involves some sort of abstraction — an idea that can be found already in the medieval and modern debate on anti-indivisibilism (Zimmerman 1996). What sort of abstraction is involved? And how can we account for our ordinary (and mathematical) talk about boundaries if these are to be explained away as fictional abstractions? With special reference to the boundaries of spatio-temporal particulars, we may distinguish two main approaches.

1. Substantivalists about space-time may see the abstraction as stemming from the relationship between a particular and its spatio-temporal receptacle, relying on the topology of space-time to account for our boundary talk when it comes to other entities. It has been held, for instance, that bodies are the material content of (regular) open regions of space, boundary contact between bodies being explained in terms of overlap between the closures of their receptacles. This theory can be traced back to Descartes (Principles 2.xv) and has been explicitly articulated by Cartwright (1975). It does, to be sure, yield a hybrid account, an account that does away only with the boundaries of material bodies (and, by extension, events); their receptacles are subject to a standard topology in which boundaries are treated as per theory (2) above. But this account is enough to bypass the puzzles mentioned above insofar as there is no pressing problem in assuming a standard topology for space-time. The main problem for the theory is, rather, to justify the claim that only some regions (open regular regions, for instance) are receptacles. (See Hudson 2002 for a challenge to this view.)
2. If one is not a substantivalist about space and/or time, one can describe the abstraction as invoking the idea of ever thinner layers of the bounded entity (Stroll 1979: 279). The best formulation of this idea is Whitehead's theory of "extensive abstraction" (1916, 1919), which in turn can be traced back at least to Lobachevskii (1834). (Alternative formulations may be found in Tarski 1929, Menger 1940, and Clarke 1985 inter alia.) On this account, boundary elements are not included among the primary entities, which only comprise extended bodies, but they are nonetheless retrieved as higher-order entities, viz. as equivalence classes of convergent series of nested bodies. For example, the series of all concentric spheres included in a given sphere converges to the point at the center, the series of all concentric right cylinders of equal length included in a given cylinder converge to the axial line, and so on. Call a convergent series of this sort an abstractive class iff it has no bottom, i.e., iff no object is part of every member of the class. And call two co-convergent abstractive classes equivalent iff every member of the first class has a member of the second as part, and vice versa. (For instance, an abstractive class of spheres is equivalent to the class of all the cubes inscribed in the spheres, which converge to the same point at the center.) Each boundary element, then, can be viewed as an equivalence class of converging abstractive classes, and one can reconstruct ordinary talk about lower-dimensional boundaries as talk about such higher-order entities. This approach has analogues also in the temporal realm, where instants are sometimes construed as sets of time intervals, which in turn are sometimes construed as sets of overlapping events. (The locus classicus is Russell 1914; see also Walker 1947, Kamp 1979, and van Benthem 1983.)

One standard objection to type-(2) theories is that the abstractness of boundaries seems to run afoul of the abstractness of set-theoretic constructions. One can see and paint the surface of a table, and one can even see and paint an infinite series of ever thinner layers of table-parts. But one cannot paint the set of these parts (unless of course this is simply another way of saying that the parts are painted). Indeed, De Laguna (1922), one of the very first sponsors of Whitehead's method, remarked that the identification of points and other boundaries with classes of solids is open to serious misinterpretation: "Although we perceive solids, we perceive no abstractive sets of solids […] In accepting the abstractive set, we are as veritably going beyond experience as in accepting the solid of zero-length" (922: 460).

A third option, alternative to both type-(1) and type-(2) theories, would be an "operationalist" account of the sort advocated by Adams (1884, 1996), where the abstractive process by which boundary elements are derived from concrete observables is explained in terms of "operational tests". Arguably, however, such an account is best regarded as a parallel story, one that offers an explanation of empirical knowledge concerning boundaries while remaining ultimately neutral with regard to the their ontological status.

Appendix: A Bouquet of Quotations

"A point is that which has no part. A line is breadthless length. The extremities of a line are points. […] A surface is that which has length and breadth only. The extremities of a surface are lines. […] A boundary is that which is an extremity of anything." [Euclid, Elements, Bk I, Dfs 1-3, 5-6, 13]

"We call a limit the extremity of each thing, i.e., the first thing outside of which no part [of the thing] is to be found, and the first thing inside of which every part [of the thing] is to be found." [Aristotle, Metaphysics 1022^a]

"[T]he spherical body does not touch the flat body primarily with a part that is such that each of its parts touches the flat body. Therefore, it does not touch it primarily with some part that is prior to all the other touching parts. Rather, any given touching part is still such that a half of it does not touch immediately, and a half of that half does not touch immediately, and so on ad infinitum." [William of Ockham, Quodlibetal Questions, I, q. 9, a. 2 (1991: …)]

Points are "things completely indivisible", lines are "things divisible only in one dimension", and surfaces are "things divisible in two dimensions." [Gregory of Rimini, Commentary of the Sentences, In secundum Sententiarum (Eng. trans. from Duhem 1913/1959: 25-26)]

"What is it […] that divides the atmosphere from the water? It is necessary that there should be a common boundary which is neither air nor water but is without substance, because a body interposed between two bodies prevents their contact, and this does not happen in water with air. […] Therefore a surface is the common boundary of two bodies which are not continuous, and does not form part of either one or the other, for if the surface formed part of it, it would have divisible bulk, whereas, however, it is not divisible and nothingness divides these bodies the one from the other." [Leonardo da Vinci, Notebooks (1938: 75-76)]

"Real contact occurs in some entity which truly and formally exists in things; for the contact itself is real, and properly and formally exists in reality; therefore it occurs in some real entity which formally exists in the thing; and yet it occurs in an indivisible thing; therefore such an indivisible entity exists formally in the thing itself." [Francisco Suarez, Disputationes Metaphysicae §19 (Eng. trans. from Zimmerman 1996: 160)]

"[B]y superficies we do not here mean any portion of the surrounding body, but merely the extremity which is between the surrounded body and that surrounded, which is but a mode; or […] we mean the common surface which is a surface that is not a part of one body rather than the other, and that is always considered the same, so long as it retains the same magnitude and figure." [René Descartes, Principles of Philosophy, Part 2, Principle XV (1911: 261)]

"[S]ome School philosophers […] suppose that nature has mixed some mathematical points in with the infinitely divisible parts to serve as connections between them and to make up the extremities of bodies. They believed by this they could also answer the objection about the penetrative contact of two surfaces, but this subterfuge is so absurd that it does not deserve to be refuted." [Pierre Bayle, Historical and Critical Dictionary (1697: 370)]

"I define the limit of a body as the aggregate of all the extreme (äusserst) ether-atoms which still belong to it. […] A closer consideration further shows that many bodies are at certain places altogether devoid of limiting atoms; none of their atoms can be described as the extreme ones among those which still belong to it and would accompany it if it started to move. [Two bodies are in contact] when the extreme atoms of the one, […] together with certain atoms of the other, form a continuous extension." [Bernard Bolzano Paradoxes of the Infinite § 66 (1851: 167-68)]

"One of the two lines into which the line would be split upon division would […] have an end point, but the other no beginning point. This inference has been quite correctly drawn by Bolzano, who was led thereby to his monstruous doctrine that there would exist bodies with and without surfaces, the one class containing just so many as the other, because contact would be possible only between a body with a surface and another without. He ought, rather, to have had his attention drawn by such consequences to the fact that the whole conception of the line and of other continua as sets of points runs counter to the concept of contact and thereby abolishes precisely what makes up the essence of the continuum." [Franz Brentano, Nativistic, Empiricist, and Anoetistic Theories of our Presentation of Space (1976: 146)]

"If a red surface and a blue surface are in contact with each other, then a red and a blue line coincide." [Franz Brentano, On What is Continuous (1976: 41)]

"One calls the equator an imaginary line, but it would be wrong to call it a line that has merely been thought up. It was not created by thought as the result of a psychological process, but is only apprehended or grasped by thought. If its being apprehended were a matter of its coming into being, then we could not say anything positive about the equator for any time prior to this supposed coming into being." [Gottlob Frege, The Foundations of Arithmetic § 26 (1884: 35)]

"A definition of a concept (of a possible predicate) must […] unambiguously determine, as regards any object, whether or not it falls under the concept (whether or not the predicate is truly assertible of it). […] We may express this metaphorically as follows: the concept must have a sharp boundary. To a concept without sharp boundary there would correspond an area that had not a sharp boundary-line all around, but in places just vaguely faded away into the background." [Gottlob Frege, The Fundamental Laws of Arithmetic, Vol. II, §56 (1903: 159)]

"[We must distinguish between the category of Natural Frontiers and] the category of Artificial Frontiers, by which are meant those boundary lines which, not being dependent upon natural features of the earth's surface for their selection, have been artificially or arbitrarily created by man." [Lord Curzon of Kedleston, Frontiers (1907: 12)].

"If we can give a definition of points which will make them fulfil a certain pair of conditions, it will not matter though points in themselves should turn out to be entities of a very different kind from what we had supposed them to be. The two conditions are (i) that points must have to each other the kind of relations which geometry demands; and (ii) that points must have to finite areas and volumes such a relation that a reasonable sense can be given to the statement that such areas and volumes can be exhaustively analysed into sets of points." [C. D. Broad, Scientific Thought (1959: 39)]

"‘Surface,’ it is true, is a substantive in grammar; but it is not the name of a particular existent, but of an attribute." [H. H. Price, Perception (1932: 106)]

"I hold it to be quite certain that I do not directly perceive my hand; and that when I am said (as I may be correctly said) to ‘perceive’ it, that I ‘perceive’ it means that I perceive (in a different and more fundamental sense) something which is (in a suitable sense) representative of it, namely, a certain part of its surface." [G. E. Moore, A Defence of Common Sense(1925: 217)]

"It is […] wrong to imply that everything has a surface. Where and what exactly is the surface of a cat?" [John L. Austin, Sense and Sensibilia (1962: 100)]

"The surface is where most of the action is. The surface is where light is reflected or absorbed, not the interior of the substance. The surface is what touches the animal, not the interior. The surface is where chemical reactions mostly take place. The surface is where vaporization or diffusion of substances into the medium occurs. And the surface is where vibrations of the substance are transmitted into the medium." [J. J. Gibson, The Ecological Approach to Visual Perception (1979: 23)]

"If the continuous object is cut in half, then does the one boundary [that demarcates two adjacent parts] become two boundaries, one thing thus becoming two things? […] But how can one thing — even if it is only a boundary — become two things? And does this mean that when two things become continuous, then two things that had been diverse become identical with each other, two things thus becoming one thing?" [Roderick Chisholm, Boundaries as Dependent Particulars (1984: 88)]

"The reason why it's vague where the outback begins is not that there's this thing, the outback, with imprecise borders; rather there are many things, with different borders, and nobody has been fool enough to try to enforce a choice of one of them as the official referent of the word ‘outback’." [David K. Lewis, The Plurality of Worlds (1986: 212)]

"There is no line which sharply divides the matter composing [Mount] Everest from the matter outside it. Everest's boundaries are fuzzy. Some molecules are inside Everest and some molecules outside. But some have an indefinite status: there is no objective, determinate fact of the matter about whether they are inside or outside." [Michael Tye, Vague Objects (1990: 535)]

"A vague concept is boundaryless in that no boundary marks the things which fall under it from the things which do not, and no boundary marks the things which definitely fall under it from the things which do not definitely do so; and so on. Manifestations are the unwillingness of knowing subjects to draw any such boundaries, the cognitive impossibility of identifying such boundaries, and the needlessness and even disutility of such boundaries." [Mark Sainsbury, Concepts without Boundaries (1990: 257)]

References

• Adams, E. W., 1984, ‘On the Superficial’, Pacific Philosophical Quarterly 65: 386-407.
• Adams, E. W., 1996, ‘Topology, Empiricism, and Operationalism’, The Monist 79: 1-20.
• Artistotle, Physics, in J. Barnes (ed.) The Complete Works of Aristotle, Princeton (NJ): Princeton University Press, 1995, vol. 1.
• Artistotle, Metaphysics, in J. Barnes (ed.) The Complete Works of Aristotle, Princeton (NJ): Princeton University Press, 1995, vol. 2.
• Austin, J. L., 1962, Sense and Sensibilia (ed. by G. J. Warnock), Oxford, Oxford University Press
• Bayle, P., 1697, Dictionaire historique et critique, Rotterdam: Reinier Leers; Eng. Trans. by R. H. Popkin, Historical and Critical Dictionary: Selections, Indianapolis: Bobbs-Merrill, 1965.
• Bolzano, B., 1851, Paradoxien des Unendlichen, ed. F. Pihonsk, Leipzig: Reclam; Eng. trans. by D. A. Steele, Paradoxes of the Infinite, London: Routledge & Kegan Paul, 1950.
• Brentano, F., 1976, Philosophische Untersuchungen zu Raum, Zeit und Kontinuum (ed. by S. Körner and R. M. Chisholm), Hamburg: Meiner; Eng. trans. by B. Smith, Philosophical Investigations on Space, Time and the Continuum, London: Croom Helm, 1988.
• Broad, C. D., 1923, Scientific Thought, New York: Harcourt.
• Cartwright, R., 1975, ‘Scattered Objects’, in K. Lehrer (ed.), Analysis and Metaphysics, Dordrecht: Reidel, pp. 153-171.
• Casati, R., and Varzi, A. C., 1999, Parts and Places. The Structures of Spatial Representation, Cambridge (MA) and London: MIT Press.
• Chisholm, R. M., 1984, ‘Boundaries as Dependent Particulars’, Grazer philosophische Studien 10: 87-95.
• Chisholm, R. M., 1992/1993, ‘Spatial Continuity and the Theory of Part and Whole. A Brentano Study’, Brentano Studien 4: 11-23.
• Clarke, B. L., 1985, ‘Individuals and Points’, Notre Dame Journal of Formal Logic 26: 61-75.
• Copeland, J., 1995, ‘On Vague Objects, Fuzzy Logic and Fractal Boundaries’, Southern Journal of Philosophy 33 (Suppl.): 83-96.
• Curzon, G. N., 1907, Frontiers - The Romanes Lecture, Oxford: Clarendon Press.
• De Laguna, T., 1922, ‘Point, Line, and Surface, as Sets of Solids’, Journal of Philosophy 19: 449-461.
• Descartes, R., The Principles of Philosophy, in E. S. Hildane and G. R. T. Ross (eds.), Cambridge: The University Press, 1911.
• Duhem, P., 1913/1959, Le système du monde; histoire des doctrines cosmologiques de Platon à Copernic, Paris, Hermann; partial Eng. trans. by R. Ariew, Medieval Cosmology: Theories of Infinity, Place, Time, Void and the Plurality of Worlds, Chicago: University of Chicago Press, 1985.
• Euclid, The Thirteen Books of Euclid's Elements, Eng. trans. by T. L. Heath. Cambridge: The University Press, 1908 (1926²).
• Frege, G., 1884, Die Grundlagen der Arithmetik, Breslau: Köbner; Eng. trans. by J. L. Austin, The Foundations of Arithmetic, Oxford: Basil Blackwell, 1950.
• Frege, G., 1903, Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, Band II, Jena, Pohle; partial Eng. trans. by P. T. Geach, ‘The Fundamental Laws of Arithmetic II’, in P. T. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege, Oxford: Blackwell, 1952, pp. 159-181, 234-244.
• Galton, A. P., 1994, ‘Instantaneous Events’, in H. J. Ohlbach (ed.), Temporal Logic: Proceedings of the ICTL Workshop, Saarbrücken: Max-Planck-Institut für Informatik, Technical Report MPI-I-94-230, pp. 4-11.
• Gibson, J. J., 1979, The Ecological Approach to Visual Perception, Boston: Houghton Mifflin.
• Heller, M., 1990, The Ontology of Physical Objects: Four Dimensional Hunks of Matter, Cambridge: Cambridge University Press.
• Hestevold, H. S., 1986, ‘Boundaries, Surfaces, and Continuous Wholes’, Southern Journal of Philosophy 24: 235-245.
• Hudson, H., 2002, ‘The Liberal View of Receptacles’, Australasian Journal of Philosophy 80: 432-439.
• Jackendoff, R., 1987, Consciousness and the Computational Mind, Cambridge (MA): MIT Press.
• Jackendoff, R., 1991, ‘Parts and Boundaries’, Cognition 41: 9-45.
• Kamp, H., 1979, ‘Events, Instants, and Temporal Reference’, in R. Bäuerle, U. Egli and A. von Stechow (eds.), Semantics from Different Points of View, Berlin and Heidelberg: Springer-Verlag, pp. 376-417.
• Leonardo da Vinci, 1938, The Notebooks of Leonardo da Vinci, selected Eng. trans. ed. by E. MacCurdy, London: Reynal and Hitchock.
• Lewis, D. K., 1986, On the Plurality of Worlds, Oxford: Blackwell.
• Lobachevskii, N. I., 1834, ‘Novye naala geometry s polnoj teoriej parallel'nyh’ [New Principles of Geometry with Complete Theory of Parallels], Polnoe sobranie socinenij 2, Moscow/Leningrad.
• McGee, V., 1997, ‘"Kilimanjaro"’, Canadian Journal of Philosophy 23 (Suppl.): 141-195.
• Menger, K., 1940, ‘Topology Without Points’, Rice Institute Pamphlets 27, 80-107.
• Moore, G. E., 1925, ‘A Defence of Common Sense’, in J. H. Muirhead (ed.), Contemporary British Philosophy (Second Series), London: Allen & Unwin, pp. 193-223.
• Ockham, William of, Quodlibetal Questions, Eng. trans. by A. J. Freddoso and F. E. Kelly, New Haven (CN): Yale University Press, 1991.
• Peirce, C. S., 1893, "The Logic of Quantity," in Collected Papers of Charles Sanders Peirce, Vol. IV, ed. by C. Hartshorne and P. Weiss, Cambridge (MA): Harvard University Press, 1933.
• Price, H. H., 1932, Perception, London: Methuen.
• Priest, G., 1987, In Contradiction. A Study of the Transconsistent, Boston and Dordrecht: Nijhoff.
• Russell, B., 1914, Our Knowledge of the External World, London: Allen & Unwin.
• Sainsbury, M., 1990, ‘Concepts Without Boundaries’, Inaugural Lecture, Department of Philosophy, King's College, London; reprinted in R. Keefe and P. Smith (eds.), Vagueness. A Reader, Cambridge (MA): MIT Press, 1996, pp. 251-264.
• Simons, P. M., ‘Faces, Boundaries, and Thin Layers’, in A. P. Martinich and M. J. White (eds.), Certainty and Surface in Epistemology and Philosophical Method. Essays in Honor of Avrum Stroll, Lewiston: Edwin Mellen Press, pp. 87-99.
• Smith, B., 1995, ‘On Drawing Lines on a Map’, in A. U. Frank and W. Kuhn (eds.), Spatial Information Theory. A Theoretical Basis for GIS. Proceedings of the Third International Conference, Berlin: Springer, pp. 475-484.
• Smith, B., 1997, ‘Boundaries: An Essay in Mereotopology’, in L. H. Hahn (ed.), The Philosophy of Roderick Chisholm, Chicago and La Salle, IL: Open Court, pp. 534-61.
• Smith, B., 2001, ‘Fiat Objects’, Topoi 20: 131-148.
• Smith, B., and Varzi, A. C., 2000, ‘Fiat and Bona Fide Boundaries, Philosophy and Phenomenological Research 60: 401-420.
• Sorensen, R. A., 1986, ‘Transitions’, Philosophical Studies 50: 187-193.
• Sorensen, R. A., 1988, Blindspots, Oxford: Clarendon Press.
• Stroll, A., 1979, ‘Two Concepts of Surfaces’, Midwest Studies in Philosophy 4: 277-291.
• Stroll, A., 1988, Surfaces, Minneapolis: University of Minnesota Press.
• Tarski A., 1929, ‘Les fondements de la géométrie des corps’, Ksiga Pamitkowa Pierwszkego Polskiego Zjazdu Matematycznego, suppl. to Annales de la Société Polonaise de Mathématique 7: 29-33; Eng. trans. by J. H. Woodger, ‘Foundations of the Geometry of Solids’, in A. Tarski, Logics, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford: Clarendon, 1956, pp. 24-29.
• Tye, M., 1990, ‘Vague Objects’, Mind 99: 535-557.
• van Benthem, J.,1983, The Logic of Time, Dordrecht: Kluwer (2nd ed. 1991).
• Varzi, A. C., 1997, ‘Boundaries, Continuity, and Contact’, Noûs 31: 26-58.
• Varzi, A. C., 2001, ‘Vagueness in Geography’, Philosophy & Geography 4: 49-65.
• Walker, A. G., 1947, ‘Durées et instants’, Revue Scientifique 85: 131-34.
• Whitehead, A. N., 1916, ‘La théorie relationniste de l'espace’, Revue de Métaphysique et de Morale 23: 423-454; Eng. trans. by P. J. Hurley, ‘The Relational Theory of Space’, Philosophy Research Archives 5 (1979): 712-741.
• Whitehead, A. N., 1919, An Enquiry Concerning the Principles of Human Knowledge, Cambridge: Cambridge University Press.
• Williamson, T., 1994, Vagueness. London: Routledge.
• Zimmerman, D. W., 1996, ‘Indivisible Parts and Extended Objects: Some Philosophical Episodes from Topology's Prehistory’, The Monist 79: 148-180.

Other Internet Resources

• Boundary-related links (from IBRU — the International Boundaries Research Unit)

Related Entries

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Stanford Encyclopedia of Philosophy