Lógica doxástica
De Wikipedia, a enciclopédia encyclopedia
Lógica doxástica é um tipo de lógica modal preocupada com o raciocínio sobre crenças. O termo doxástico é derivado do grego antigo δόξα (doxa), que significa "crença" ou "opinião". Tipicamente, uma lógica do tipo doxástico utiliza Bx para referir-se a "Acredita-se que x é o caso," e o conjunto denota um conjunto de crenças. Na lógica doxástica, a crença é tratada como um operador modal.
- : {}
Existe um paralelismo completo entre uma pessoa que acredita em proposições e um sistema formal que deriva proposições. Usando a lógica doxástica, é possível expressar a contrapartida epistêmica do Teorema da Incompletude de Gödel, assim como o Teorema de Löb, e outros resultados metalógicos em termos de crença.[1]