Epistemische Logik

Die epistemische Logik (von griechisch επιστήμη ‚Wissenschaft, Wissen‘), auch Wissenslogik, befasst sich mit Glauben und Wissen bei Individuen sowie Gruppen. Ziel von Untersuchungen mittels epistemischer Logik ist oft ein dynamisches oder flexibles Modell von Meinungs- und Wissenszuständen. Dieser Zweig der philosophischen Logik ist ein Teilbereich der Modallogik und fällt im Bereich von Glauben und Meinungen (Überzeugungen) häufig mit der doxastischen Logik zusammen.

Begriff

Die epistemische Logik ist eine die klassische Logik erweiternde philosophische Logik, die die elementare Aussagen- oder Prädikatenlogik um

einen Operator für das Wissen (Wissensoperator „W“) erweitert (= epistemische Logik im engeren Sinn (Logik des Wissens)) oder um weitere Operatoren aus der doxastischen Logik, z. B. für

Glauben (Überzeugt-sein (starker Glaube); Für-wahrscheinlich-halten (schwacher Glaube))^[1] oder
Für-möglich-halten^[2] (= epistemische Logik im weiteren Sinn)^[1] (Logik des Glaubens und des Wissens).

Die epistemische Logik in ihrer modernen Form untersucht die Verbindungen der epistemischen Modalitäten zu komplexeren Kalkülen. Die epistemische Logik zeigt damit die systematischen Zusammenhänge zwischen den Wissensformen auf, zum Beispiel dem vorausgesetzten Wissen für weiteres Für-möglich-halten oder der Selbstreflexion des Wissens, und rekonstruiert die grundlegenden Begriffe der Erkenntnistheorie in der Logik. Sie ist daran interessiert zu zeigen, wann eine Aussage jeweils als bewiesen gilt, wann sie geglaubt, behauptet, gewusst wird. Sie beschäftigt sich ebenso mit dem Begriffen Lüge und Irrtum und der Wahrscheinlichkeit. Die Übergänge zur Logik der Wahrscheinlichkeiten sind fließend.

Die epistemische Logik lässt sich nicht extensional, sondern allenfalls intensional interpretieren. Eine intensionale Semantik liegt in der Semantik der möglichen Welten vor^[3]. Die Grundidee dabei ist, dass jemand überzeugt ist, dass P, falls in jeder Welt, die er für möglich hält, P der Fall ist. Für genauere syntaktische und semantische Charakterisierungen der unterschiedlichen Systeme epistemischer bzw. doxastischer Logik vgl. Modallogik.

Beispiele

Beispiele für gültige und ungültige Aussagen aus der epistemischen Logik (im engeren Sinn)

Gültig: Wenn a weiß, dass P, dann ist P wahr.^[4]
Gültig: Wenn a weiß, dass P, und auch weiß, dass Q, dann weiß a, dass P und Q.
Ungültig: Ich weiß nicht, dass P Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Leftrightarrow} Ich weiß, dass nicht P.

Beispiele für gültige und ungültige Aussagen aus der doxastischen Logik

Gültig: Wenn a davon überzeugt ist, dass P und überzeugt ist, dass Q, dann ist a auch davon überzeugt, dass P und Q.
Gültig: a hält P für möglich, wenn er nicht davon überzeugt ist, dass P nicht der Fall ist.
Ungültig: Wenn a für wahrscheinlich hält, dass P und auch für wahrscheinlich hält, dass Q, dann hält a für wahrscheinlich, dass P und Q^[5].

Beispiele für in nur in manchen Systemen gültige Aussagen

Wenn a weiß, dass P, dann weiß a auch, dass er weiß, dass P. (Sogenanntes positives Introspektionsaxiom.)
Wenn a nicht weiß, dass P, dann weiß a, dass er nicht weiß, dass P. (Sogenanntes negatives Introspektionsaxiom.)

Anwendung in der Künstlichen Intelligenz

Es gibt eine Reihe von Ansätzen, eine epistemische Logik zu formalisieren und damit rechentechnisch anwendbar zu machen. Hintergrund ist das Bestreben zur Umsetzung von Schlussweisen, die auf Glauben und Wissen beruhen. Ein häufiger Ansatz ist es, von den Ausdrucksmöglichkeiten der Aussagen- oder der Prädikatenlogik auszugehen und zwei neue Operatoren (Modaloperatoren) für Glauben und Wissen einzuführen. Die Besonderheit dieser Operatoren besteht darin, dass sie das Vorhandensein eines Subjektes a voraussetzen, dessen Glauben oder Wissen sie auszudrücken erlauben:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G_a(P)} bedeutet so viel wie: Das Subjekt a glaubt an die Gültigkeit von P.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W_a(P)} bedeutet so viel wie: Das Subjekt a weiß, dass P gültig ist.

Um ein weiteres einfaches Beispiel für in (den meisten Systemen) der epistemischen Logik gültige Aussagen zu geben, sei hier noch die Beherrschung des modus ponens durch das Subjekt a genannt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle W_a(P) \wedge W_a(P \rightarrow Q) \rightarrow W_a(Q)}

(wenn a weiß, dass P und auch weiß, dass P Q impliziert, dann weiß a auch, dass Q).

Dabei können unterschiedliche Subjekte natürlich unterschiedliche Dinge glauben oder wissen, die sich sogar widersprechen können. Derartige logische Welten werden etwa in der künstlichen Intelligenz zur Realisierung von Multiagenten-Systemen eingesetzt.

Literatur

Georg Henrik von Wright: An Essay in Modal Logic. North-Holland Publishing Company, Amsterdam 1951.
Jaakko Hintikka: Knowledge and Belief. Ithaka 1962. Neu aufgelegt 2005, ISBN 978-1904987086
Jaakko Hintikka: The Logic of Epistemology and the Epistemology of Logic. Springer Netherland, Berlin 1989.
Wolfgang Lenzen: Glauben, Wissen und Wahrscheinlichkeit. Wien / New York, Springer 1980.
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi: Dynamic Epistemic Logic. Springer 2007 ISBN 978-1402058387
Ronald Fagin, Joseph Halpern, Yoram Moses, Moshe Y. Vardi: Reasoning about Knowledge. MIT Press 1995, ISBN 978-0262562003

Weblinks

Eintrag in der Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)

Quellen

↑ ^1,0 ^1,1 Vgl. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), doxastische Logik
↑ So Vorgängerversion. In den Quellen allerdings nicht genannt
↑ Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), Epistemische Logik
↑ Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), Epistemische Logik: „unumstrittenes Gesetz“
↑ vgl. Regenbogen/Meyer: Wörterbuch der philosophischen Begriffe (2005), Epistemische Logik

Dieser Artikel basiert ursprünglich auf dem Artikel Epistemische Logik aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar.

[Vgl_2005-1] 1,0 ^1,1 Vgl. Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), doxastische Logik

[2] So Vorgängerversion. In den Quellen allerdings nicht genannt

[3] Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), Epistemische Logik

[4] Regenbogen/Meyer, Wörterbuch der philosophischen Begriffe (2005), Epistemische Logik: „unumstrittenes Gesetz“

[5] vgl. Regenbogen/Meyer: Wörterbuch der philosophischen Begriffe (2005), Epistemische Logik

[1]

[2]

[3]

[4]

[5]