A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Doxastic logic is a type of logic concerned with reasoning about beliefs.
The term doxastic derives from the Ancient Greek δόξα (doxa, "opinion, belief"), from which the English term doxa ("popular opinion or belief") is also borrowed. Typically, a doxastic logic uses the notation to mean "It is believed that 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.[1]
Types of reasoners
To demonstrate the properties of sets of beliefs, Raymond Smullyan defines the following types of reasoners:
- Accurate reasoner:[1][2][3][4] An accurate reasoner never believes any false proposition. (modal axiom T)
- Consistent reasoner:[1][2][3][4] A consistent reasoner never simultaneously believes a proposition and its negation. (modal axiom D)
- Normal reasoner:[1][2][3][4] A normal reasoner is one who, while believing also believes they believe p (modal axiom 4).
- A variation on this would be someone who, while not believing also believes they don't believe p (modal axiom 5).
- Peculiar reasoner:[1][4] A peculiar reasoner believes proposition p while also believing they do not believe Although a peculiar reasoner may seem like a strange psychological phenomenon (see Moore's paradox), a peculiar reasoner is necessarily inaccurate but not necessarily inconsistent.
- Reflexive reasoner:[1][4] A reflexive reasoner is one for whom every proposition has some proposition such that the reasoner believes .
- If a reflexive reasoner of type 4 believes , they will believe p. This is a parallelism of Löb's theorem for reasoners.
- Rewritten in de re form, this is logically equivalent to:
- This implies that:
- This shows that a conceited reasoner is always a stable reasoner (see below).
- Unstable reasoner:[1][4] An unstable reasoner is one who believes that they believe some proposition, but in fact do not believe it. This is just as strange a psychological phenomenon as peculiarity; however, an unstable reasoner is not necessarily inconsistent.
- Stable reasoner:[1][4] A stable reasoner is not unstable. That is, for every if they believe then they believe Note that stability is the converse of normality. We will say that a reasoner believes they are stable if for every proposition they believe (believing: "If I should ever believe that I believe then I really will believe "). This corresponds to having a dense accessibility relation in Kripke semantics, and any accurate reasoner is always stable.
- Modest reasoner:[1][4] A modest reasoner is one for whom for every believed proposition , only if they believe . A modest reasoner never believes unless they believe . Any reflexive reasoner of type 4 is modest. (Löb's Theorem)
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative
Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších
podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky
použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk