ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontological Assumptions of FOL

To: Ingvar Johansson <ingvar.johansson@xxxxxxxxxxxxxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Tue, 20 Mar 2007 10:00:45 -0500
Message-id: <p06230907c225a399f1b3@[10.100.0.26]>
>Pat Hayes schrieb:
>>
>>  Well, I can see a lot of problems with this. If
>>  you believe, for example, that all spatiotemporal
>>  entities are in some sense physical, you will get
>>  into trouble.
>
>Let me from my philosophical corner just add one long sentence: No
>famous philosophical ontologist who posits physical (material) things in
>space and time has argued that everything that exists in space and time
>is physical (material); for instance, many claim that property instances
>*inhere in* physical things, but this does not mean that these
>spatiotemporal instances *are* physical entities.    (01)

Possibly. Nevertheless, frankly, the opinion of 
famous philosophical ontologists on matters like 
this is of less interest than what actual written 
and deployed formal ontologies say about it. One 
can reasonably claim, and indeed ontologies have 
claimed, that anything spatiotemporal has a 
spatiotemporal extent, and any spatiotemporal 
extent contains a kind of physical stuff, so...    (02)

BTW, what exactly does 'inhere' mean? Apparently 
X may inhere in Y and Y have a quality that X 
lacks (physicality), so why does it follow that 
if X inheres in Y and Y is spatiotemporal, that X 
is spatiotemporal? (Probably we should take this 
offline, if you feel like replying :-)    (03)

Pat    (04)


>/Ingvar J
>
>--
>Ingvar Johansson
>IFOMIS, Saarland University
>      home site: http://ifomis.org/
>      personal home site:
>      http://hem.passagen.se/ijohansson/index.html 
>
>
>
>_________________________________________________________________
>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
>    (05)


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