[Top] [All Lists]

Re: [ontolog-forum] Spatial Extent of Abstract Entities?

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Sat, 25 May 2013 11:14:35 +0100
Message-id: <51a08f0b.8757b40a.4bcd.400d@xxxxxxxxxxxxx>

Dear William,

Just one thing.


Once you have done that though, you can do away with abstract individuals.

Never had them, never felt the loss, I would have been satisfied with

at time now, (that unique object that is president of the united states  is the same as that unique object that is Barak Obama.)

But I see that treating space and time equivelently, time is not an predicate on the assertion, but should be distributed, so one could say:

that unique object that was president of the unitied states at time  June 1962 is the same as that unique object that at time June 1945 was the captain of PT109.

MW: In 4D you would say that slightly differently, since JFK is him for the whole of his life and you are talking about different temporal parts of him here. So I would say JFK has a temporal part (or state) that is captain of PT109 in June 1945 and another temporal part (state) that was President of the United States in 1962. Note that there are 3 objects (the whole life and the two states) because they have different spatio-temporal extents (they are not coincident over all space and time).




Matthew West                            

Information  Junction

Tel: +44 1489 880185

Mobile: +44 750 3385279

Skype: dr.matthew.west




This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.
Registered office: 8 Ennismore Close, Letchworth Garden City, Hertfordshire, SG6 2SU.



Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

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