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:
“An unlicked bear”
—Trans. by Johanna Prins.
Dutch expression meaning “a boor”: from the old belief that bear cubs are licked into shape by their mothers.
“Every nation ... whose affairs betray a want of wisdom and stability may calculate on every loss which can be sustained from the more systematic policy of its wiser neighbors.”
—James Madison (1751–1836)