I write for 2 hours today.
Bunge's ontology has clear definitions of Class, Kind, and Natural Kind. However, Wand Storey and Webber (1999) claim that he also has a structure called a subclass. I am unable to find it. Wand Storey and Weber rely on the notion of a subclass to be able to handle relationships that are not optional. I'm not sure what the implications of this is. Perhaps it is just one more evidence of how far they are from bunge's ontology.
Subscribe to:
Post Comments (Atom)
3 comments:
Corollary 3.4 on page 143 is the equivalent of subtypes.
Post a Comment