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.
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.
