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.
“Both Eliot and Pound condense; their best verse is weighted—Pound’s, with sensual experience primarily, and Eliot’s with beliefs. Where the mind’s life is concerned the senses produce images, and beliefs produce dramatic cries. The condensation is important.”
—R.P. Blackmur (1904–1965)