Doxastic Logic

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:

    The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!
    Thomas Merton (1915–1968)