Matrix representation of Husserl's part-whole-foundation theory
type: Item
instance of: scholarly article
title: Matrix representation of Husserl's part-whole-foundation theory
zbMATH Open document ID: 0728.03006
author: Richard Blecksmith
author: Gilbert Null
published in: Notre Dame Journal of Formal Logic
publication date: 1991-01-01T00:00:00Z
review text: After being axiomatized by S. Leśniewski and A. Tarski between 1916 and 1930 [cf. \textit{S. Leśniewski}, ``On the foundations of mathematics'', Topoi 2, 3-52 (1983) for an English translation], the theory of the part- whole relation has been a subject of intense research under the name of `mereology'. The first-order axiomatization in a language with two binary predicates of both the part-whole and the foundation relation, as suggested by \textit{E. Husserl} in his ``Logische Untersuchungen'' (1901), has been initiated by the second author [``A first-order axiom system for non-universal part-whole and foundation relations'', Essays in memory of Aron Gurwitsch (ed. Lester Embree), University Press of America, 463-483 (1983)] and is continued in this paper with a second aim of illustrating ``the use of Boolean matrices in representing the logical properties of one- and (mainly) two-place predicates over finite universes''. (Under the name of `incidence matrices' Boolean matrices have been used for the same purpose in finite projective geometry.)
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 4202229
zbMATH Keywords: part-whole relation
zbMATH Keywords: mereology
zbMATH Keywords: foundation relation
zbMATH Keywords: Boolean matrices
reviewed by: Victor V. Pambuccian
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093635670
OpenAlex ID: W2050875128
DOI: 10.1305/NDJFL/1093635670
description: scientific article; zbMATH DE number 4202229