On 03 Mar 2014, at 04:55, LizR wrote:
So does reflexive (alpha R alpha) mean that all universes are only
accessible to themselves, or does it mean that all universes are
accessible to themselves and possibly, but not necessarily, to each
other?
Good question. Mathematician are literalist, so when we say:
<<A Kripke multiverse (W, R) is said reflexive if R is reflexive.
alpha R alpha, for all alpha in W.>>
It means that for all alpha, we have alpha R alpha.
And you cannot deduce from this, that ~(alpha R beta) when alpha R beta.
For example, a (W, R) can be both reflexive and transitive.
You can also derive that if R is reflexive then R is ideal. If R is
reflexive, there is no cul-de-sac, as all worlds can access *at least
one world*, itself.
OK?
Bruno
--
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
http://iridia.ulb.ac.be/~marchal/
--
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
