Individuals and points

@article{Clarke1985IndividualsAP,
  title={Individuals and points},
  author={B. L. Clarke},
  journal={Notre Dame J. Formal Log.},
  year={1985},
  volume={26},
  pages={61-75}
}
  • B. L. Clarke
  • Published 1985
  • Computer Science
  • 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… Expand
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity
Qualitative spatial change: space-time histories and continuity
Raisonnement spatial qualitatif : le cas du mouvement
Parthood and Convexity as the Basic Notions of a Theory of Space
  • K. Robering
  • Computer Science, Mathematics
  • LQMR@FedCSIS
  • 2015
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology
Qualitative Spatial Representation and Reasoning
Topology, connectedness, and modal logic
A Core Ontology for Spatial Reasoning
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 14 REFERENCES
Physical topology
Symbolic Logic and Its Applications, trans
  • Dover Publications,
  • 1958
Topology without points
Point, Line, and Surface, as Sets of Solids
Process and Reality, The Macmillan Co., New York, 1929. Department of Philosophy and Religion University of Georgia
  • 1929
A calculus of individuals based on "connection"
  • B. L. Clarke
  • Philosophy, Computer Science
  • Notre Dame J. Formal Log.
  • 1981
Events, reference, and logical form
Goodman On Quality Classes In The AUFBAU
Concept of nature.
Lattices and Topological Spaces
...
1
2
...