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
>> 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)
>> 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
>> 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/
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/
>To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
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
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)