> On 16 Oct 2018, at 21:13, Brent Meeker <[email protected]> wrote: > > > > On 10/16/2018 7:40 AM, Bruno Marchal wrote: >> >> The problem of the “many-world” is that a “world” is not an easy concept >> that we could take for granted. > > But it's the concept used in modal logic.
Yes, but there a world is defined by an element of a set. The “worlds” of modal logic are quite abtract. They relate to the world of metaphysics like the gravitation center of the sun relate to the sun. But identifying the sun to a point makes sense, to study the orbit of earth, and the “world” of modal logic makes sense to prove the independence of modal logical formula. Bruno > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
