Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means 'belief. ' Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set <math>\mathbb{B}</math> denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. <math>\mathbb{B}</math>: {<math>b_{1},b_{2},...

PropertyValue
dbpprop:abstract
  • Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means 'belief. ' Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set <math>\mathbb{B}</math> denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. <math>\mathbb{B}</math>: {<math>b_{1},b_{2},... ,b_{n}</math>} There is complete parallelism between a person who believes propositions and a formal system that derives propositions. Using doxastic logic, one can express the epistemic counterpart of Gödel's incompleteness theorem of metalogic, as well as Löb's theorem, and other mathematical results in terms of belief.
  • Die doxastische Logik ist eine Modale Logik, welche logische Aspekte des Glaubens oder Meinens formalisiert. Der Begriff "doxastisch" stammt vom altgriechischen doxa, der Glaube. In einer doxastischen Logik wird ein neuer Operator der Art B(x) eingeführt, der intuitiv die Bedeutung "Es wird geglaubt, dass x der Fall ist. " trägt. Die Menge <math>\mathbb{B}</math> meint dann eine Menge von Meinungen oder Glaubenssätzen. Ein Glaube wird somit als ein modaler Operator formalisiert: <math>\mathbb{B}</math>: {<math>b_{1},b_{2},... ,b_{n}</math>}
  • La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión <math>B_c p \,</math> para significar "el razonador c cree que p es verdadero", y el conjunto <math>B_c \,</math> 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.
dbpprop:hasPhotoCollection
dbpprop:reference
rdfs:comment
  • Doxastic logic is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means 'belief. ' Typically, a doxastic logic uses 'Bx' to mean "It is believed that x is the case," and the set <math>\mathbb{B}</math> denotes a set of beliefs. In doxastic logic, belief is treated as a modal operator. <math>\mathbb{B}</math>: {<math>b_{1},b_{2},...
  • Die doxastische Logik ist eine Modale Logik, welche logische Aspekte des Glaubens oder Meinens formalisiert. Der Begriff "doxastisch" stammt vom altgriechischen doxa, der Glaube. In einer doxastischen Logik wird ein neuer Operator der Art B(x) eingeführt, der intuitiv die Bedeutung "Es wird geglaubt, dass x der Fall ist. " trägt. Die Menge <math>\mathbb{B}</math> meint dann eine Menge von Meinungen oder Glaubenssätzen.
  • La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión <math>B_c p \,</math> para significar "el razonador c cree que p es verdadero", y el conjunto <math>B_c \,</math> se refiere al conjunto de creencias de c.
rdfs:label
  • Doxastic logic
  • Doxastische Logik
  • Lógica doxástica
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of