Logique doxastique

La logique doxastique est un type de logique modale qui s'intéresse au raisonnement sur les croyances.

Types de raisonneurs

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

  1. (en) Raymond M. Smullyan, Logicians who reason about themselves (lire en ligne), p. 345
  • Portail de la logique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.