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.
>
>-chris
>
>
>_________________________________________________________________
>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)
|