Space, points and mereology. On foundations of point-free Euclidean geometry

Logic and Logical Philosophy 18 (2):145-188 (2009)
  Copy   BIBTEX

Abstract

This article is devoted to the problem of ontological foundations of three-dimensional Euclidean geometry. Starting from Bertrand Russell’s intuitions concerning the sensual world we try to show that it is possible to build a foundation for pure geometry by means of the so called regions of space. It is not our intention to present mathematically developed theory, but rather demonstrate basic assumptions, tools and techniques that are used in construction of systems of point-free geometry and topology by means of mereology and Whitehead-like connection structures. We list and briefly analyze axioms for mereological structures, as well as those for connection structures. We argue that mereology is a good tool to model so called spatial relations. We also try to justify our choice of axioms for connection relation. Finally, we briefly discuss two theories: Grzegorczyk’s point-free topology and Tarski’s geometry of solids

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Special Issue on Point-Free Geometry and Topology.Cristina Coppola & Giangiacomo Gerla - 2013 - Logic and Logical Philosophy 22 (2):139-143.
Spheres, cubes and simple.Stefano Borgo - 2013 - Logic and Logical Philosophy 22 (3):255-293.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.
Thomas Reid and non-euclidean geometry.Amit Hagar - 2002 - Reid Studies 5 (2):54-64.
The Bifurcation Approach to Hyperbolic Geometry.Abraham A. Ungar - 2000 - Foundations of Physics 30 (8):1257-1282.
Intuitionistic Overlap Structures.Francesco Ciraulo - 2013 - Logic and Logical Philosophy 22 (2):201-212.

Analytics

Added to PP
2013-11-24

Downloads
318 (#61,362)

6 months
46 (#86,684)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rafał Gruszczyński
Nicolaus Copernicus University
Andrzej Pietruszczak
Nicolaus Copernicus University

Citations of this work

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Extended Simples, Unextended Complexes.Claudio Calosi - 2023 - Journal of Philosophical Logic 52 (2):643-668.
The classical continuum without points.Geoffrey Hellman & Stewart Shapiro - 2013 - Review of Symbolic Logic 6 (3):488-512.

View all 8 citations / Add more citations

References found in this work

The Calculus of Individuals and Its Uses.Henry S. Leonard & Nelson Goodman - 1940 - Journal of Symbolic Logic 5 (3):113-114.
Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
Pointless metric spaces.Giangiacomo Gerla - 1990 - Journal of Symbolic Logic 55 (1):207-219.

View all 6 references / Add more references