Re: modal logic KTB (a.k.a. B)

From: <dfzone-everything.domain.name.hidden>
Date: Tue, 4 Mar 2008 13:20:10 +0100 (CET)

> The idea is to identify an accessible world with possible results of
> experiments. Symmetry then entails that if you do an experiment which
> gives some result, you can repeat the experience and get those results
> again. You can come back in the world you leave. It is an intuitive and
> informal idea which is discussed from time to time in the literature.

I do not understand. What are the atomic propositions at each world?
Suppose the atomic propositions are what I currently know on a physical
system. Now suppose that I am in a world where I know (more or less) the
momentum of a particle. I then measure its position and thus move in
another world. It is now unlikely that the particle has the same momentum
(due the the uncertainty principle). Thus, if I measure again its
momentum, I might go back but I cannot be sure I will go back to the same
previous world. It is true that I can measure again the position and get
the same result, but it is because of reflexivity, not because of
symmetry. Why do you say this is entailed by symmetry? This might be
because you define the worlds of the frame in another way...

> I suggest you consult the Orthologic paper by Goldblatt 1974, if you
are
> interested.

Unfortunately I have no access to this article. Can you advise me a paper
available on internet where this idea is discussed?



      _____________________________________________________________________________
Ne gardez plus qu'une seule adresse mail ! Copiez vos mails vers Yahoo! Mail http://mail.yahoo.fr

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Tue Mar 04 2008 - 07:20:38 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST