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:
“We that are bound by vows and by promotion,
With pomp of holy sacrifice and rites,
To teach belief in good and still devotion,
To preach of heaven’s wonders and delights—
Yet, when each of us in his own heart looks,
He finds the God there far unlike his books.”
—Fulke Greville (1554–1628)
“Chastity is the cement of civilization and progress. Without it there is no stability in society, and without it one cannot attain the Science of Life.”
—Mary Baker Eddy (1821–1910)