[Top] [All Lists]

Re: [ontolog-forum] A different approach to ontology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sun, 11 May 2008 17:19:44 -0500
Message-id: <A7BFE700-4341-41DD-B9DF-B0411C171D94@xxxxxxxx>
On May 11, 2008, at 4:05 PM, Pat Hayes wrote:
At 11:44 AM -0400 5/11/08, rick@xxxxxxxxxxxxxx wrote:
The papers I've seen on possible worlds seem to cover a wide variety of other topics like, necessity, possibility, etc ...


Yes. Modal logics require a single interpretation to encompass many 'worlds' at once, with
relations on them. Hence the term 'possible world' comes up rather often. Each of these
defines a single interpretation in the conventional sense, if you work through the semantics: each one determines the truth of all non-modal sentences of the language.

Some of the modal ones as well (as Pat knows) if the accessibility relation is reflexive.  Of course, the idea is not so much to consider each "world" individually but all of them together: all the worlds jointly determine the truth values of all modal and nonmodal sentences alike at each world.


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

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