[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 11:10:18 -0500
Message-id: <4D4198EA.5010700@xxxxxxxxxxx>
Dear Matthew,    (01)

One of the critical issues is what to do about quantifiers.    (02)

> I agree that generally 3+1D can be converted to 4D. However,
> Presentism is not even 3+1D.    (03)

In systems of temporal logic, there are versions that quantify
over time, and versions that have operators like Sometimes,
Always, Before, After, etc.    (04)

The ones that quantify over time, which I prefer, are the
easiest to convert to 4D.  And they are the most general,
since the other operators can be defined in terms of time.    (05)

The question of whether something exists at a time
different from the current now reduces to the issue
of whether the quantifiers commute; i.e., can you
interchange (Et) and (Ex), as you can in ordinary
versions of FOL?    (06)

My preference is to simplify the logic by allowing
the quantifiers to commute.    (07)

John    (08)

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

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