Doxasdische Logig

Dialegd: Schbaimarisch

Die doxasdische Logig isch ä Modali Logig, wu logische Aschbegd vum Glaawe odda Määne formalisierd. De B'griff „doxasdisch“ kummd vum aldgrieschische doxa, was „de Glaawe“ heßd. Inde doxasdische Logig werdn Obarador ${\mathcal {B}}_{c}x$ odda kerza ${\mathcal {B_{c}x}}$ als Nodazjon oigfiehrd, wu die B'daidung „Die Person $\mathbb {c}$ glaabd, dass $\mathbb {x}$ de Fall isch.“ hodd. Die Meng $\mathbb {B}$ hodd donn alle Määnunge unn Glaawenssedz unn $\mathbb {B_{c}}$: {$b_{1},b_{2},...,b_{n}$} isch donn die Meng vun Iwwazaischunge $b_{1},b_{2},...,b_{n}$ vunde Person $\mathbb {c}$. Inde doxasdische Logig werren Iwwazaischunge alsn modale Obarador b'hondeld.

De Raymond Smullyan hodd g'zaischd, dasses ä vollschdendischi Parallelided zwische Laid, wu on Aussache glaawen unn madhemadische Sischdem, wu Ausache b'waisen hodd. Womma Glaawe als Modalided b'hondeld, krischdma epistemische Gescheschdigg vun Uendschaidbakaidsergebnisse inde Medamadhemdig.

Lidaradur

• Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge, 1986, Proceedings of the 1986 Conference, ISBN: 978-0-934613-04-0, DOI: 10.1016/C2013-0-07695-5