Lógica doxástica

Carta Común · N.º 495837

La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión B c p {\displaystyle B_{c}p\,} para significar "el razonador c cree que p es verdadero", y el conjunto B c {\displaystyle B_{c}\,} se refiere al conjunto de creencias de c. Existe un paralelismo completo entre los razonadores que creen en proposiciones y los sistemas matemáticos que demuestran proposiciones. Utilizando la lógica doxástica, se puede expresar el equivalente epistémico del teorema de la incompletitud de Gödel, como también el teorema de Löb, y otros resultados metamatemáticos.​

Leer en Wikipedia