FOM: Cat.Thy as logic of wholes and parts.

Robert Tragesser RTragesser at compuserve.com
Sat Jan 24 06:02:37 EST 1998


        Give the applications of Cat
in life science,  physics,  computer
science,  the following _natural_
interpretation suggests itself:
        the logic of (in general, dynamic)
wholes and parts,  in contrast to
SET as the logic of unit-like objects
and collections of unit-like objects
(which collections are themselves are
unit-like and also are such that the
question How many? has a definite answwr
for them(the collections)).
        Read: A f-arrow B as "A
is an f-part of B".
                rtragesser



More information about the FOM mailing list