[Top] [All Lists]

Re: [ontolog-forum] [Obo-relations] Heterarchy & Hierarchy, oh my my

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sat, 3 May 2008 14:22:11 -0500
Message-id: <47EA83AB-4B44-4FF4-BA4B-75F157BE13E1@xxxxxxxx>
On May 3, 2008, at 12:23 AM, Alan Ruttenberg wrote:
> On May 2, 2008, at 4:23 PM, Christopher Menzel wrote:
>>> Even under Barry Smith and Pierre Grenon's definition (from 
>>> , a universal "is an entity with a spatiotemporal existence which  
>>> is yet distinct from its extension (the set of its instances) at  
>>> any given time." (page 1, 2nd paragraph).
>> They really say that?  So NATURAL NUMBER has a spatio-temporal
>> existence?
> No, NATURAL NUMBER, isn't admitted in to their ontologies. At least  
> not yet.    (01)

Or ever -- that would require removing the "spatiotemporal existence"  
condition, right?  So if NATURAL NUMBER might at some point be  
admitted, then at some point they will have to remove said condition.   
But then why is it even there in the first place?    (02)

I have to say, I find the the "spatiotemporal existence" condition in  
a definition of "universal" utterly baffling.  Why build such a strong  
philosophical prejudice into the entire framework from the git-go?   
Barry and Pierre, are you *that* certain of your insight into  
reality's Ultimate Nature?    (03)

> (not endorsing that, just pointing out that the inconsistency you  
> suggest doesn't happen).    (04)

Check.    (05)

-chris    (06)

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    (07)

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