Loading AI tools
Aus Wikipedia, der freien Enzyklopädie
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 meint dann eine Menge von Meinungen oder Glaubenssätzen. Ein Glaube wird somit als ein modaler Operator formalisiert:
Raymond Smullyan definiert die folgenden Typen von Schlussfolgernden (reasoner, im Folgenden wie in der Wissenslogik üblich „Agent“ genannt) in Bezug auf eine Menge von Glaubenssätzen .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.