[Top] [All Lists]

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

To: Christopher Menzel <cmenzel@xxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 11 May 2008 16:08:44 -0500
Message-id: <p0623090ac44d103e77fb@[]>
At 2:52 PM -0500 5/11/08, Christopher Menzel wrote:
>  > The papers I've seen on possible worlds seem to cover a wide variety 
>>  of
>>  other topics like, necessity, possibility, etc ...
>Yes, worlds (re-)entered the philosophical lexicon to provide an 
>intuitive underpinning to Kripke's formal semantics for modal logic.  
>Formally, the set of "possible worlds" in Kripke semantics is just a 
>set W of featureless objects whose role is basically to index a 
>collection of Tarski interpretations.  Since, in a Kripke model of a 
>given modal language, every sentence of the language is true or false 
>at any given element w of W, "possible world" is a reasonably natural 
>and intuitive label, as a possible world is, intuitively, a complete 
>"way things could be", a complete "alternative description" of reality.    (01)

>From which it also seems reasonable - still 
speaking intuitively - to say that a Tarski 
interpretation is a complete "way things can be" 
in the same sense, i.e. a (formal, mathematical 
object which stands for a) world. Right?    (02)

Pat    (03)

>>  http://www-csli.stanford.edu/~jperry/PHILPAPERS/posswld.pdf
>>  Would you happen to have a reference to an academic paper the 
>>  defines an
>>  interpretation as a world?
>Well, that's sort of mixing apples and oranges  Interpretations are 
>formal, mathematical models.  Worlds (unless stipulated otherwise) are 
>inherently, informal, philosophical entities.  Each bears similarities 
>to the other, but one can't *define* a formal notion in terms of an 
>informal one.
>>  CL model theory doesn't make the same claim: that an interpretation 
>>  is a world. Why?
>I'd say for the reason just noted.
>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
>    (04)

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
http://www.ihmc.us/users/phayes      phayesAT-SIGNihmc.us
http://www.flickr.com/pathayes/collections    (05)

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

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