Re: modal logic and possible worlds

From: Russell Standish <>
Date: Tue, 13 Aug 2002 16:41:58 +1000 (EST)

Bruno probably does, but I'll put my spin on it. Each distinguishable
"world" is a description*, which is a conjunction of propositions "I
have green eyes _and_ I live in Sydney _and_ the twin towers were
destroyed by airliners on 11/9/2002 _and_ ...", and as such is a
proposition. I'm not completely convinced that one can simply apply
modal logic to the set of all descriptions in this way, but it does
have some plausibility.


* This is the case in the Schmidhuber and Tegmark ensembles, but not
so obviously true of Deutsch's Multiverse.

Wei Dai wrote:
> Now I'm lost again. Again A is a world not a proposition so what would "A
> or not-A" mean even if A and B are comparable?
> If anyone else understand the point Tim is making please help me out...

A/Prof Russell Standish Director
High Performance Computing Support Unit, Phone 9385 6967, 8308 3119 (mobile)
UNSW SYDNEY 2052 Fax 9385 6965, 0425 253119 (")
Room 2075, Red Centre
            International prefix +612, Interstate prefix 02
Received on Mon Aug 12 2002 - 23:48:42 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST