Matrix representation of Husserl’s part-whole-foundation theory

Abstract

This paper pursues two aims, a general one and a more specific one. The general aim is to introduce and illustrate the use of Boolean matrices in representing the logical properties of one-and (mainly) two-place predicates over small finite universes, and hence of providing matrix characterizations of finite models for sets of axioms containing such predicates. This method is treated only to the extent required to pursue the more specific aim, which is to consider axiomatic systems involving the part-whole relation together with a relation of foundation employed by Husserl. © 1991, Duke University Press. All Rights Reserved.