>... one could adopt a description-logical style
>of expression and distinguish between mere
>logical predication (F a) and natural-kind as a
>special relation of class membership (Kind a F),
>perhaps with an axiom which relates natural kinds
>to their weaker (merely extensional) associated
>predications:
>
>(forall (x y)(if (Kind x y)((propertyOf x) y) )
> (01)
Sorry, should be (02)
(forall (x y)(if (Kind x y)((propertyOf y) x) ) (03)
Pat (04)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|