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.
“Other people’s beliefs may be myths, but not mine.”
—Mason Cooley (b. 1927)