Re: modal logic and probability

2002-09-06 Thread Bruno Marchal
Wei Dai wrote: >How useful is modal logic in dealing with these unknowable and branching >futures? Modal logic is the logic of possibility and necessity, >but to make decisions you need to reason about probabilities rather than >modalities. This is true only for the antic aristotelian alethic mo

modal logic and probability

2002-09-05 Thread Wei Dai
On Wed, Sep 04, 2002 at 10:48:38AM -0700, Tim May wrote: > And, putting in a plug for modal/topos logic, the essence of nearly > every interpretation, whether MWI or Copenhagen or even Newtonian, is > that observers at time t are faced with unknowable and branching > futures. How useful is mod