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 makes use of class-theoretic notions without however adopting any comprehension axioms. The geometry developed within this framework roughly corresponds to the "line spaces" known from the literature; cf. (1, p. 155). The basic ideas of the system are presented in the article's Introduction within a historical context. After a brief presentation of the logical and mereological framework adopted, a "pregeometry" is described in which only the notion of convexity but no further axiom is added to that background framework. Pregeometry is extended to the full system in three steps. First the notion of a line segment is explained as the convex hull of the mereological sum of two points. In a second step two axioms are added which describe what it means for a thus determined line segment to be "straight". In the final step we deal with the order of points on a line segment and define the notion of a line. The presentation of the geometric system is concluded with a brief consideration of the geometrical principles known by the names of Peano and Pasch. Two additional topics are treated in short sections at the end of the article: (1) the introduction of coordinates and (2) the idea of a "geometrical algebra".
Parthood and Convexity as the Basic Notions of a Theory of Space
Published 2015 in LQMR@FedCSIS
ABSTRACT
PUBLICATION RECORD
- Publication year
2015
- Venue
LQMR@FedCSIS
- Publication date
2015-10-11
- Fields of study
Mathematics, Computer Science
- Identifiers
- External record
- Source metadata
Semantic Scholar
CITATION MAP
EXTRACTION MAP
CLAIMS
- No claims are published for this paper.
CONCEPTS
- No concepts are published for this paper.
REFERENCES
Showing 1-43 of 43 references · Page 1 of 1
CITED BY
- No citing papers are available for this paper.
Showing 0-0 of 0 citing papers · Page 1 of 1