ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Presentism (was Re: Ontology of Rough Sets)

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Thu, 27 Jan 2011 16:15:57 -0500
Message-id: <4D41E08D.1030000@xxxxxxxxxxx>
On 1/27/2011 2:32 PM, Christopher Menzel wrote:
> we simply need to be "ontologically promiscuous" (to borrow from the
> title of a lovely (and important) paper by Jerry Hobbs) about past and
> future objects and refer to them and quantify over them liberally and
> unabashedly.    (01)

I agree with that.    (02)

I also see no problem about quantifying over fictional and
mythological places and beings.  You just create a model
of them (use set theory, if you like), specify how they
interact, link them to your virtual reality software,
and quantify over them as you please.    (03)

All such things can be handled in the same way that
computer scientists quantify over data structures.    (04)

There is no difference in principle between letting
quantifiers range over the planned items in a bridge
that has not yet been built or the entities in some
hypothetical world or situation.    (05)

John    (06)

_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)

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