Doxastic Logic - Inconsistency of The Belief in One's Stability

Inconsistency of The Belief in One's Stability

If a consistent reflexive reasoner of type 4 believes that he or she is stable, then he or she will become unstable. Stated otherwise, if a stable reflexive reasoner of type 4 believes that he or she is stable, then he or she will become inconsistent. Why is this? Suppose that a stable reflexive reasoner of type 4 believes that he or she is stable. We will show that he or she will (sooner or later) believe every proposition p (and hence be inconsistent). Take any proposition p. The reasoner believes BBp→Bp, hence by Löb's theorem he or she will believe Bp (because he or she believes Br→r, where r is the proposition Bp, and so he or she will believe r, which is the proposition Bp). Being stable, he or she will then believe p.

Read more about this topic:  Doxastic Logic

Famous quotes containing the words belief and/or stability:

    Religion was nearly dead because there was no longer real belief in future life; but something was struggling to take its place—service—social service—the ants’ creed, the bees’ creed.
    John Galsworthy (1867–1933)

    The message you give your children when you discipline with love is “I care too much about you to let you misbehave. I care enough about you that I’m willing to spend time and effort to help you learn what is appropriate.” All children need the security and stability of food, shelter, love, and protection, but unless they also receive effective and appropriate discipline, they won’t feel secure.
    Stephanie Marston (20th century)