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:
“I sing, not arms and the hero, but the philosophic man: he who seeks in contemplation to discover the inner will of the world, in invention to discover the means of fulfilling that will, and in action to do that will by the so-discovered means.”
—George Bernard Shaw (1856–1950)
“To begin to use cultural forces for the good of our daughters we must first shake ourselves awake from the cultural trance we all live in. This is no small matter, to untangle our true beliefs from what we have been taught to believe about who and what girls and women are.”
—Jeanne Elium (20th century)