On 8/11/05, Bruno Marchal <[EMAIL PROTECTED]> wrote:
I am having a problem understanding this axiom:
> (...) Lob formula (B(Bp->p)->Bp), the main axiom of the modal logic
> of self-reference (G)
> can be interpreted as showing that some form of honest placebo effect
> works! But this is something I am still taking with some grain of salt.
> See the book "Forever Undecided" to see Smullyan exploiting the working
> of some self-fulfilling beliefs.
Suppose p = "it is raining today"
B(Bp->p) is true because I believe that if I believe it is raining today
it IS raining today, since If I believe it is raining today it is because
I have gone outside and seen that it is raining today, or I believe my
source of information for that matter.
But it doesn't follow from that that I do believe that it is raining today.
It happens by the way that I don't believe it is raining today, because
I can see a beutiful sun outside.