Lògica doxàstica
From Wikipedia, the free encyclopedia
La lògica doxàstica (del grec antic δόξα, doxa, "creença") és una lògica modal que s'ocupa del raonament sobre les creences. Típicament, una lògica doxàstica utilitza l'expressió per significar "el raonador c creu que p és veritable", i el conjunt es refereix al conjunt de creences de c.
Hi ha un paral·lelisme complet entre els raonadors que creuen en proposicions i els sistemes matemàtics que demostren proposicions. Utilitzant la lògica doxàstica, es pot expressar l'equivalent epistèmic del teorema d'incompletesa de Gödel, com també el teorema de Lob, i altres resultats matemàtics.[1]