Lógica doxástica
sistema lógico que se ocupa del razonamiento acerca de las creencias / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Lógica doxástica?
Resumir este artículo para un niño de 10 años
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 para significar "el razonador c cree que p es verdadero", y el conjunto
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.[1]