Doxastische Logik

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: : {}