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

  title={Space, points and mereology. On foundations of point-free Euclidean geometry},
  author={Rafal Gruszczynski and A. Pietruszczak},
  journal={Logic and Logical Philosophy},
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… Expand
A point-free construction of the classical one-dimensional continuum, with an interval structure based on mereology and either a weak set theory or a logic of plural quantification, demonstrating the independence of “indecomposability” from a nonpunctiform conception is developed. Expand
The Classical Continuum without Points Geo ¤ rey Hellman and
We develop a point-free construction of the classical onedimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quanti…cation. In someExpand
A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures
It is proved that in the class of Urysohn spaces with countable chain condition, to every topologically interpreted representative of a point in the sense of Grzegorczyk’s corresponds exactly one point of a space. Expand
The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids
In  the paper "Full development of Tarski's geometry of solids" Gruszczynski and Pietruszczak have obtained the full development of Tarski’s geometry of solids that was sketched in [14, 15]. In thisExpand
A comparison of two systems of point-free topology
This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented anExpand
Continuity of Motion in Whitehead’s Geometrical Space
The paper explores a neglected conception in the foundations of spacetime theories, namely the conception of gunk, point-free spaces inaugurated by De Laguna and Whitehead. Despite theExpand
The Relations of Supremum and Mereological Sum in Partially Ordered Sets
This paper is devoted to mutual relationship between the relations of mereological sum and least upper bound (supremum) in partially ordered sets. We are mainly interested in the following problem:Expand
The Multi-location Trilemma
The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalismExpand
Determinables, location, and indeterminacy
It is argued that some well known principles of location turn out to be instances of principles relating determinables and determinates and one such counterexample in particular is used as an argument against disjunctivism. Expand


Full Development of Tarski's Geometry of Solids
It is shown that in order to prove theorems stated in [20, 21] one must enrich Tarski's theory with a new postulate asserting that the universe of discourse of the geometry of solids coincides with arbitrary mereological sums of balls, i.e., with solids. Expand
A Pointless Theory of Space Based on Strong Connection and Congruence
We present a logical theory of space where only tridimensional regions are assumed in the domain. Three distinct primitives are used to describe their mereological, topological and morphologicalExpand
Pointless Metric Spaces
This paper proposes and examines a system of axioms for the pointless space theory in which “regions”, “inclusion”. Expand
Pieces of mereology
In this paper we will treat mereology as a theory of some structures that are not axiomatizable in an elementary language (one of the axioms will contain the predicate ‘belong’ (‘∈’) and we will useExpand
Axioms, Algebras and Topology
Axiomatic theories provide a very general means for specifying the logical properties of formal concepts by interpreting logical operations as functions of these formal symbols corresponding to the formal symbols of the theory. Expand
Pieri's Structures
We present basic notions of Pier's system of geometry in an intuitive way and from a heuristic point of view, trying to focus on the "essence" of Italian mathematician's constructions. However, it isExpand
Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point
Two definitions of point in a system in which the inclusion relation and the relation of being separated were assumed as prim- itive are compared. Expand
Axiomatizability of geometry without points
The aim of this paper is to make more precise the well-known conviction that geometry may be built without speaking about points. In the first section we prepare some general syntactical theoremsExpand
Region-Based Topology
  • P. Roeper
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1997
A topological description of space is given, based on the relation of connection among regions and the property of being limited. A minimal set of 10 constraints is shown to permit definitions ofExpand
The Calculus of Individuals and Its Uses
An unfortunate dependence of logical formulation upon the discovery and adoption of a special physical theory, or the presumption that such a suitable theory could in every case be discovered in the course of time, indicates serious deficiencies in the ordinary logistic. Expand