Point-free foundation of geometry and multivalued logic
\textit{A. N. Whitehead} introduced in [The concept of nature. Cambridge: Cambridge University Press (1920; JFM 47.0049.03)] and in [An enquiry concerning the principles of natural knowledge. Cambridge: Cambridge University Press (1919; JFM 47.0049.02)] a variant of mereology (the part-whole theory) based on \textit{events} and the \textit{extension} relation. Moving closer to a point-free geometry, he later replaced in [Process and reality. Cambridge: Cambridge University Press (1929; JFM 55.0035.03)] the notion of extension by that of \textit{contact between two regions}. In this paper, the authors reformulate Whitehead's philosophically worded theory into one in first-order logic, discarding superfluous axioms, and show that the move from an extension-based to a connection-based theory was necessary, given that ``while it is possible to define the inclusion from the connection relation the converse fails. They also show that by reinterpreting the inclusion-based theory as a theory in multi-valued (in fact, \([0,1]\)-valued) logic, it is possible to define the contact relation in terms of the extension relation in the resulting fuzzy structures called ``graded inclusion spaces of regions.
- Multi-valued Logic for a Point-Free Foundation of Geometry
- Mereological foundations of point-free geometry via multi-valued logic
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Point-free foundation of geometry looking at laboratory activities
- Space, points and mereology. On foundations of point-free Euclidean geometry
- Connection structures: Grzegorczyk's and Whitehead's definitions of point
- Forking geometry on theories with an independent predicate
- Whitehead's mereotopology and the project of formal ontology
- Mereological foundations of point-free geometry via multi-valued logic
- Multi-valued Logic for a Point-Free Foundation of Geometry
- Space, points and mereology. On foundations of point-free Euclidean geometry
- A comparison of two systems of point-free topology
- scientific article; zbMATH DE number 4120169 (Why is no real title available?)
- Whitehead and Russell on points
- Special issue on point-free geometry and topology. An introduction
- Point-free foundation of geometry looking at laboratory activities
- Points as higher-order constructs: Whitehead's method of extensive abstraction
- Point-free geometry, ovals, and half-planes
This page was built for publication: Point-free foundation of geometry and multivalued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q989422)
