Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means "belief." Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator.
-
- : {}
There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other metalogical results in terms of belief.
Read more about Doxastic Logic: Types of Reasoners, Increasing Levels of Rationality, Gödel Incompleteness and Doxastic Undecidability, Inconsistency and Peculiarity of Conceited Reasoners, Self Fulfilling Beliefs, Inconsistency of The Belief in One's Stability
Famous quotes containing the word logic:
“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
—Henry David Thoreau (18171862)