Doxastic logic

The doxastic logic is a modal logic, which formalized logical aspects of the faith or opining. The term " doxastic " comes from the ancient Greek doxa, " belief ". In a doxastic logic, a new operator is of type B (x ) is introduced, the intuitive meaning " It is believed that x is the case. " Bears. The amount then that means a lot of opinions or beliefs. A belief is thus formalized as a modal operator:

Types of faith

Raymond Smullyan defines the following types of circuit follower ends ( reasoner, hereinafter referred to as in the usual logic of knowledge called "Agent" ) with respect to a set of beliefs.

• Correct Agent ( accurate reasoner ): A correct agent who never thinks of a false belief.
• Incorrect Agent ( inaccurate reasoner ): An incorrect agent believes at least one false belief.
• Smug Agent ( conceited reasoner ): An agent is cocky when he believes that he is never incorrect.
• Consistent Agent ( consistent reasoner ): A consistent agent who never thinks of a belief and its negation.

• Logic
• Non-classical logic