> On 18 Oct 2018, at 21:57, Brent Meeker <[email protected]> wrote: > > > > On 10/18/2018 8:11 AM, Bruno Marchal wrote: >>> 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. > > Just like arithmetic.
Arithmetic is one concrete world, compared to the notion of world used in modal logic. In fact, I can’t imagine something more concrete than the atomic arithmetical proposition. Our brain has a lot of work to do to make us believe the contrary. Bruno > > Brent > >> 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. -- 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.
