Point-free foundation of geometry and multivalued logic
type: Item
instance of: scholarly article
title: Point-free foundation of geometry and multivalued logic
zbMATH Open document ID: 1194.03019
DOI: 10.1215/00294527-2010-024
author: Cristina Coppola
author: Giangiacomo Gerla
author: Annamaria Miranda
published in: Notre Dame Journal of Formal Logic
publication date: 2010-08-20T00:00:00Z
review text: \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''.
reviewed by: Victor V. Pambuccian
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 54E35
zbMATH DE Number: 5773619
zbMATH Keywords: foundation of geometry
zbMATH Keywords: point-free geometry
zbMATH Keywords: Whitehead
zbMATH Keywords: multi-valued logic
zbMATH Keywords: inclusion spaces of regions
zbMATH Keywords: contact relation
zbMATH Keywords: extension relation
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2010-024
OpenAlex ID: W2107628822
description: scientific article; zbMATH DE number 5773619