Self Fulfilling Beliefs
For systems, we define reflexivity to mean that for any p (in the language of the system) there is some q such that q≡(Bq→p) is provable in the system. Löb's theorem (in a general form) is that for any reflexive system of type 4, if Bp→p is provable in the system, so is p.
Read more about this topic: Doxastic Logic
Famous quotes containing the words fulfilling and/or beliefs:
“If you make a vow to the LORD your God, do not postpone fulfilling it; for the LORD your God will surely require it of you, and you would incur guilt.”
—Bible: Hebrew, Deuteronomy 23:21.
“Airplanes are invariably scheduled to depart at such times as 7:54, 9:21 or 11:37. This extreme specificity has the effect on the novice of instilling in him the twin beliefs that he will be arriving at 10:08, 1:43 or 4:22, and that he should get to the airport on time. These beliefs are not only erroneous but actually unhealthy.”
—Fran Lebowitz (b. 1950)