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 belief of our Reason is an Exercise of Faith, and Faith is an Act of Reason.”
—Joseph Glanvill (1636–1680)
“No one can doubt, that the convention for the distinction of property, and for the stability of possession, is of all circumstances the most necessary to the establishment of human society, and that after the agreement for the fixing and observing of this rule, there remains little or nothing to be done towards settling a perfect harmony and concord.”
—David Hume (1711–1776)