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:
“The a priori method is distinguished for its comfortable conclusions. It is the nature of the process to adopt whatever belief we are inclined to, and there are certain flatteries to the vanity of man which we all believe by nature, until we are awakened from our pleasing dream by rough facts.”
—Charles Sanders Peirce (1839–1914)
“Traditions are the “always” in life—the rituals and customs that build common memories for children, offer comfort and stability in good times and bad, and create a sense of family identity.”
—Marian Edelman Borden (20th century)