Logique doxastique
La logique doxastique est un type de logique modale qui s'intéresse au raisonnement sur les croyances.
Types de raisonneurs[modifier | modifier le code]
Pour démontrer les propriétés des ensembles de croyances, Raymond Smullyan définit des types de raisonneurs[1].
Par exemple, le raisonneur juste ne croit que des choses vraies et le raisonneur normal croit qu'il croit tout ce qu'il croit.
Notes et références[modifier | modifier le code]
- (en) Raymond M. Smullyan, Logicians who reason about themselves (lire en ligne), p. 345