[Top] [All Lists]

Re: [ontolog-forum] The Relation Between Logic and Ontology in Metaphysi

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 16 Mar 2007 11:46:37 -0500
Message-id: <p0623090ac2207a263e33@[]>
>... 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
>(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)

<Prev in Thread] Current Thread [Next in Thread>