Hi Bruno,

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.

What's wrong?


Reply via email to