Individuals and points

  title={Individuals and points},
  author={Bowman L. Clarke},
  journal={Notre Dame J. Formal Log.},
  • B. L. Clarke
  • Published 1985
  • Philosophy
  • Notre Dame J. Formal Log.
The concept of a point has been of perpetual interest to philosophers and mathematicians alike. Contemporary mathematicians and philosophers have approached the subject in three ways: One is to take as basic individuals, volumes [10], regions [18], lumps [8], or spheres [14], and to define points in terms of sets of nested individuals by way of a relation, contained in the interior of [10], nontangential part of [18], completely contained in [8], or concentric with [14]. Another technique is to… 

Expressivity in polygonal, plane mereotopology

It is shown that infinitary versions of these languages are adequate to express (in a sense made precise below) all topological relations over the domain of polygons in the closed plane.

Mereotopology without Mereology

This paper generalizes Roeper’s result, relying only on mereotopological axioms, not requiring an underlying classical mereology, and not assuming the Axiom of Choice.

Modes of Connection

A connection based approach to common-sense topological description and reasoning. The support of the EPSRC under grants GR/K65041 and GR/M56807 is gratefully acknowledged. We are also grateful for


1. Introduction By " discreteness " of a spatial model we generally understand that in any bounded neighbourhood, or (bounded) region, there are only finitely many elements of the carrier of the

Parthood and Convexity as the Basic Notions of a Theory of Space

A deductive system of geometry is presented which is based on atomistic mereology ("mereology with points") and the notion of convexity. The system is formulated in a liberal many- sorted logic which

A Proximity Approach to Some Region-Based Theories of Space

It is shown that MVD-algebra are equivalent to local connection algebras, which means that the connection relation and boundedness can be incorporated into one, mereological in nature relation and a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained.

A Complete Axiom System for Polygonal Mereotopology of the Real Plane

A calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities in which polygonal open subsets of the real plane serve as elements of the domain is presented.

A Lattice Theoretic Account of Spatial Regions Draft Version { 25th July 1997

There have been several proposals for formal theories of space in which spatial regions are primitives, rather than constructions from sets of more fundamental points. One motivation for some of

On Mereologies in Computing Science

  • D. Bjørner
  • Philosophy
    Reflections on the Work of C. A. R. Hoare
  • 2010
A formal model of a large class of mereologies, with simple entities modelled as parts and their relations by connectors is given, and it is shown that class applies to a wide variety of societal infrastructure component domains.



An Enquiry concerning the Principles of Natural Knowledge

PHYSICISTS and philosophers can unite unreservedly in an expression of gratitude to the author of this most acute and original work. At the present time, when it is generally recognised that the

A calculus of individuals based on "connection"

  • B. L. Clarke
  • Philosophy, Computer Science
    Notre Dame J. Formal Log.
  • 1981
Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman. Le calcul comprend trois parties: une partie mereologique

Concept of nature.

Find loads of the concept of nature book catalogues in this site as the choice of you visiting this page. You can also join to the website book library that will show you numerous books from any

Point, Line, and Surface, as Sets of Solids

Topology without points

Physical topology

Process and Reality, The Macmillan Co., New York, 1929. Department of Philosophy and Religion University of Georgia

  • 1929

Goodman On Quality Classes In The AUFBAU

Lattices and Topological Spaces