Doxastic logic

Doxastic logic is a type of logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means "belief." Typically, a doxastic logic uses 'ℬx' to mean "It is believed that x is the case," and the set \mathbb{B} denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator.

\mathbb{B}: {b_{1},b_{2},...,b_{n}}

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.[1]

Types of reasoners

To demonstrate the properties of sets of beliefs, Raymond Smullyan defines the following types of reasoners:

\forall p: \mathcal{B}p \to p
\exists p: \neg p \wedge \mathcal{B}p
\mathcal{B}[\neg\exists p ( \neg p \wedge \mathcal{B}p )]
or
\mathcal{B}[\forall p( \mathcal{B}p \to p) ]
A conceited reasoner with rationality of at least type 1 (see below) will necessarily lapse into inaccuracy.
\neg\exists p: \mathcal{B}p \wedge \mathcal{B}\neg p
or
\forall p: \mathcal{B}p \to \neg\mathcal{B}\neg p
\forall p: \mathcal{B}p \to \mathcal{BB}p
\exists p: \mathcal{B}p \wedge \mathcal{B\neg B}p
\forall p \forall q : \mathcal{B}(p \to q) \to \mathcal{B} (\mathcal{B}p \to \mathcal{B}q)
\forall p: \exists q \mathcal{B}(q \equiv ( \mathcal{B}q \to p))
If a reflexive reasoner of type 4 [see below] believes  \mathcal{B}p \to p , he or she will believe p. This is a parallelism of Löb's theorem for reasoners.
\exists p: \mathcal{B}\mathcal{B}p \wedge \neg\mathcal{B}p
\forall p: \mathcal{BB}p\to\mathcal{B}p
\forall p: \mathcal{B}(\mathcal{B}p \to p) \to \mathcal{B}p

Increasing levels of rationality

Gödel incompleteness and doxastic undecidability

Let us say an accurate reasoner is faced with the task of assigning a truth value to a statement posed to him or her. There exists a statement which the reasoner must either remain forever undecided about or lose his or her accuracy. One solution is the statement:

S: "I will never believe this statement."

If the reasoner ever believes the statement S, it becomes falsified by that fact, making S an untrue belief and hence making the reasoner inaccurate in believing S.

Therefore, since the reasoner is accurate, he or she will never believe S. Hence the statement was true, because that is exactly what it claimed. It further follows that the reasoner will never have the false belief that S is true. The reasoner cannot believe either that the statement is true or false without becoming inconsistent (i.e. holding two contradictory beliefs). And so the reasoner must remain forever undecided as to whether the statement S is true or false.

The equivalent theorem is that for any formal system F, there exists a mathematical statement which can be interpreted as "This statement is not provable in formal system F". If the system F is consistent, neither the statement nor its opposite will be provable in it.[1][4]

Inaccuracy and peculiarity of conceited reasoners

A reasoner of type 1 is faced with the statement "I will never believe this sentence." The interesting thing now is that if the reasoner believes he or she is always accurate, then he or she will become inaccurate. Such a reasoner will reason: "The statement in question is that I won't believe the statement, so if it's false then I will believe the statement. Because I am accurate, believing the statement means it must be true. So if the statement is false then it must be true. It's tautological that if a statement being false implies the statement, then that statement is true. Therefore the statement is true."

At this point the reasoner believes the statement, which makes it false. Thus the reasoner is inaccurate in believing that the statement is true. If the reasoner hadn't assumed his or her own accuracy, he or she would never have lapsed into an inaccuracy. Formally:

 1 \ \ S \equiv \lnot \mathcal{B}S [definition of S]
 2 \ \ (\lnot S \to S) \to S [elementary tautology]
 3 \ \ (\mathcal{B}S \to S) \to S [because ¬S ≡ ℬS]
 4 \ \ \mathcal{B}((\mathcal{B}S \to S) \to S) [reasoner believes all tautologies]
 5 \ \  \mathcal{B}(\mathcal{B}S \to S)  \to \mathcal{B}S [the reasoner is of type 1]
 6 \ \  \mathcal{B}(\mathcal{B}S \to S) [the reasoner is conceited]
 7 \ \  \mathcal{B}S [modus ponens 5 and 6]
 8 \ \  \lnot S [because ℬS ≡ ¬S]

Additionally, the reasoner is peculiar because he or she believes that he/she doesn't believe the statement (symbolically, ℬ(¬ℬS), which follows from ℬS because S ≡ ¬ℬS) even though he/she actually believes it.

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≡(ℬq→p) is provable in the system. Löb's theorem (in a general form) is that for any reflexive system of type 4, if ℬp→p is provable in the system, so is p.[1][4]

Inconsistency of the belief in one's stability

If a consistent reflexive reasoner of type 4 believes that he or she is stable, then he or she will become unstable. Stated otherwise, if a stable reflexive reasoner of type 4 believes that he or she is stable, then he or she will become inconsistent. Why is this? Suppose that a stable reflexive reasoner of type 4 believes that he or she is stable. We will show that he or she will (sooner or later) believe every proposition p (and hence be inconsistent). Take any proposition p. The reasoner believes ℬℬp→ℬp, hence by Löb's theorem he or she will believe ℬp (because he or she believes ℬr→r, where r is the proposition ℬp, and so he or she will believe r, which is the proposition ℬp). Being stable, he or she will then believe p.[1][4]

See also

References

  1. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 Smullyan, Raymond M., (1986) Logicians who reason about themselves, Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA), Morgan Kaufmann Publishers Inc., San Francisco (CA), pp. 341-352
  2. 1 2 3 4 5 6 7 8 9 10 http://wayback.archive.org/web/20070930165226/http://cs.wwc.edu/KU/Logic/Book/book/node17.html Belief, Knowledge and Self-Awareness Archived September 1, 2006, at the Wayback Machine.
  3. 1 2 3 4 5 6 7 8 9 10 http://wayback.archive.org/web/20070213054220/http://moonbase.wwc.edu/~aabyan/Logic/Modal.html Modal Logics Archived May 5, 2007, at the Wayback Machine.
  4. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 Smullyan, Raymond M., (1987) Forever Undecided, Alfred A. Knopf Inc.
  5. 1 2 Rod Girle, Possible Worlds, McGill-Queen's University Press (2003) ISBN 0-7735-2668-4 ISBN 978-0773526686

Further reading

This article is issued from Wikipedia - version of the Wednesday, March 02, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.