lógica doxástica
Sign in to savesistema lógico que se ocupa del razonamiento acerca de las creencias
In the Vinony graph
Vinony's link graph records 43 inbound references to lógica doxástica, and connects out to epistemic modal logic, three-state logic and Löb's theorem.
Vinony files it under Belief, Belief revision and Epistemic logic.
Vinony links it to 13 Wikipedia language editions.
Article · Español
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.
Abstract from DBpedia / Wikipedia · CC BY-SA