Dialogische Logik

Die dialogische Logik (engl.: dialogical logic auch: game semantics) ist ein von den deutschen Logikern und Philosophen Kuno Lorenz und Paul Lorenzen entwickelter spieltheoretischer, semantiknaher Ansatz zur Logik. Die Motivation ist eine im Vergleich zum Ableiten in Logikkalkülen nähere Orientierung am menschlichen Argumentieren.

Durch den Rahmen der Dialogischen Logik wird der Anspruch erhoben, dass die Beteiligten im Gespräch keinen externen Schiedsrichter benötigen, sondern in Freiheit die Geltung von Aussagen selbst prüfen.

Die Regeln für die Junktoren und Quantoren werden als Dialogspiel konzipiert. Der Dialog wird allgemein durch Rahmenregeln und im Detail durch Angriffs- und Verteidigungsregeln für die logischen Operatoren bestimmt. Wahr heißt eine aus logischen Zeichen zusammengesetzte Aussage, wenn sie sich im Dialog immer gewinnen lässt. Formal wahr wird eine solche Aussage genannt, wenn sie stets gewonnen werden kann, ohne in einen Dialog über die Primaussagen (Elementarsätze) einzutreten.

Wird in den herkömmlichen Kalkülen von Elementarformeln ausgegangen und dann nach Kalkülregeln bis zum Endresultat abgeleitet, so geht man in der Dialogischen Logik genau andersherum vor: Es wird mit einer zusammengesetzten Behauptung angefangen und diese unter Einhaltung der Spielregeln auf Elementarsätze reduziert.

Rahmenregeln

1. Der Proponent (rechte Spalte als P notiert) beginnt den Dialog, indem er eine mit logischen Zeichen verknüpfte Aussage äußert.
2. Die Dialogpartner sind abwechselnd am Zug.
3. Das weitere Vorgehen besteht aus Angriffen und Verteidigungen.
4. Ein Angriff stellt ein Recht dar, eine noch angreifbare Aussage des Gegners anzugreifen.
5. Eine Verteidigung ist die Pflicht, sich auf eine angegriffene Aussage zu verteidigen, spätestens wenn man selber nicht mehr angreifen darf.
6. Die Angriffe und Verteidigungen sind in den Partikelregeln normiert.
7. Der Proponent hat gewonnen, wenn er eine angegriffene Elementaraussage (Primaussage oder Atomaussage) verteidigt hat oder wenn der Opponent (auf der linken Spalte mit O notiert) eine angegriffene Elementaraussage nicht verteidigt.

Effektive Rahmenregel

Man kann die Dialogische Logik schrittweise mit immer stärkeren Regeln ausstatten. Den Beginn machen meist die Regeln der Strengen Logik. Aussagen heißen streng wahr, wenn es für sie unter der Regel eine Gewinnstrategie gibt, dass die Argumente des Gegners jeweils höchstens einmal angegriffen werden dürfen.

Als nächsten Schritt kann die effektive Rahmenregel eingeführt werden, die besonders für die Interpretation der Subjunktion ( $A\rightarrow B$, wenn A dann B) relevant ist: Kein Spieler muss sich auf einen Angriff verteidigen, ehe nicht dieser Angriff seinerseits auf endlich viele Angriffe verteidigt wurde. Vor einem Angriff legt sich der jeweilige Angreifer selbst auf eine Maximalzahl von Angriffen fest.

Wenn die effektive Rahmenregel gilt, ist die dialogische Logik ein Modell der intuitionistischen Logik. Dadurch werden Aussagen für den Dialog zugelassen, deren Wahrheitswert nicht feststeht: etwa bei ungelösten Problemen der Mathematik, Aussagen über zukünftige Ereignisse oder über Unendliches.

Die klassisch-zweiwertige Logik lässt sich durch eine weitere Liberalisierung der Rahmenregeln dadurch erhalten, dass jede Aussage zu jedem Zeitpunkt des Dialogs verteidigt werden kann.

Angriffs- und Verteidigungsregeln für die logischen Operatoren

Hier sind die Angriffs- und Verteidigungsregeln der dialogischen Logik aufgelistet, wobei das Fragezeichen als Verteidigungsaufforderung gelesen werden soll:

Junktoren	Angriff	Verteidigung
$A\land B$	$L?$	$A$	(und)
$A\land B$	$R?$	$B$	(und)
$A\lor B$	$?$	$A$/$B$	(oder)
$\neg A$	$A?$	...	(nicht)
$A\rightarrow B$	$A?$	$B$	(wenn–dann)

Der letzte Junktor, wenn-dann, wird in der dialogischen Logik üblicherweise nicht Subjunktion, sonst Implikation genannt.

Quantoren	Angriff	Verteidigung
$\bigwedge x\;A(x)$	$n?$	$A(n)$
$\bigvee x\;A(x)$	$?$	$A(n)$

Quantorzeichen: $\bigvee$ (Einsquantor (auch Existenzquantor): „für (mindestens) ein“) bzw. $\bigwedge$ (Allquantor: „für alle“)

Beispiele

Hier als einfaches Beispiel ein Dialog um $a\rightarrow a$. Die Aussage ist formal logisch wahr:

$O$	$P$
	$a\rightarrow a$
$a?$		(Die Subjunktionbehauptung wird nach der Subjunktionsregel angegriffen: dafür wird die voranstehende Primaussage behauptet.)
	$a$	(Als Verteidigung wird die nachstehende Primaussage genannt, dies ist gleichzeitig auch eine Übernahme des $a$ der vorigen Zeile.)

$P$ kann den Dialog immer gewinnen, denn er kann $a$ übernehmen.

Im Folgenden weitere Beispiele, zunächst für den klassisch und intuitionistisch wahren Satz $A\rightarrow \neg \neg A$, dann für den nur klassisch wahren Satz $\neg \neg A\rightarrow A$.

Es wird hier auch bei Verteidigungen angegeben, gegen welchen Angriff sie sich richten. 1! heißt also „verteidigt sich gegen den Angriff unter 1“, und 1? bedeutet „greift die Aussage unter 1 an“. Klammern bezeichnen Züge, die unter Einhaltung der effektiven Rahmenregel nicht möglich sind.

		$O$		$P$
1.				$A\rightarrow \neg \neg A$
2.	$1?$	$A$	$2!$	$\neg \neg A$
3	$2?$	$\neg A$	$3?$	$A$
4	$3?$		$2?$

$P$ stellt in Schritt 3 eine Primaussage, nämlich $A$ auf, die $O$ in Schritt 2 schon behauptet hat. Nach den Regeln ist der Dialog damit für $P$ gewonnen.

Ganz anders sieht es für $\neg \neg A\rightarrow A$ aus:

		$O$		$P$
1.				$\neg \neg A\rightarrow A$
2.	$1?$	$\neg \neg A$	$2?$	$\neg A$
3.	$2?$	$A$	($2!$)	$A$

Im letzten Schritt verteidigt $P$ die Aussage unter 1, die $O$ in Schritt 2 angegriffen hat. Da $O$ nach Schritt 2 noch Aussagen von $P$ angegriffen hat, wäre die Verteidigung nur möglich, wenn die effektive Rahmenregel nicht gelten würde. Auch ein anderer Spielverlauf hilft nicht:

		$O$		$P$
1.				$\neg \neg A\rightarrow A$
2.	$1?$	$\neg \neg A$	$2!$	$A$
3.	$2?$		$2?$	$\neg A$
4.	$3?$	$A$	($3!$)	$A$

$O$ greift in Schritt 3 die Primaussage $A$ an. Obwohl $O$ diese Primaussage in Schritt 4 selbst einräumt, darf $P$ sich nicht mehr gegen diesen Angriff verteidigen, da inzwischen ein weiterer Angriff erfolgt ist.

Da der Proponent keinen Spielverlauf erzwingen kann, wo er unter Einhaltung der effektiven Rahmenregel gewinnt, ist die Aussage $\neg \neg A\rightarrow A$ in der intuitionistischen Logik nicht zu beweisen. In der klassischen Logik hingegen gilt sie, wie die Beispiele zeigen.

Anwendungen

Interessant sind die speziellen Effekte, die bei der (intuitionistischen) Interpretation des Subjunktors ($\rightarrow$) auftreten: Während des Dialogs sind auch nicht wahrheitsdefinite (eine Aussage ist entweder wahr oder falsch) Aussagen erlaubt. Der Wahrheitswert der Aussagen kann in einem Schwebezustand belassen bleiben. Bei der effektiven Rahmenregel wird der Satz vom ausgeschlossenen Dritten nicht vorausgesetzt. Erst bei Abschluss des Dialogs steht der Wahrheitswert der Gesamtaussage fest.

Führt man eine Rahmenregel ein, bei der eine Aussage später im Dialog nicht mehr zur Verfügung steht, so kann man aus der dialogischen Logik eine zeitliche Logik entwickeln. Carl Friedrich von Weizsäcker und Peter Mittelstaedt haben diese Regel für die Interpretation der Quantenphysik durch zeitliche Logik aufgenommen. Hier ein Beispiel: Während wir überlegen, ob der Mond untergeht oder nicht, geht er unter.

Weitere Anwendungen ergeben sich für die Argumentationstheorie, da die dialogische Logik im Verlauf des Dialogs aufzeigt, wer wann Beweislast für Tatsachenbehauptungen in Form von Elementaraussagen übernimmt.

Literatur

• Jürgen Mittelstraß, Christopher von Bülow (Hrsg.): Dialogische Logik. mentis 2015. ISBN 978-3-89785-639-4
• Kuno Lorenz: Logik, dialogische. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Band 2, Metzler, Stuttgart / Weimar 1995, S. 643ff.
• Jaakko Hintikka, Esa Saarinen: Game-Theoretical Semantics. Springer, 1979, ISBN 90-277-0918-1.
• Kuno Lorenz, Paul Lorenzen: Dialogische Logik. WBG, Darmstadt 1978
• Mathieu Marion: Why Play Logical Games? In: Unifying Logic, Language, and Philosophy. Springer, 2009, ISBN 978-1-4020-9373-9.
• S. Rahman, L. Keiff: On how to be a dialogician. In: Daniel Vanderken (Hrsg.): Logic Thought and Action. Springer, 2005, ISBN 1-4020-2616-1, S. 359–408.
• Rüdiger Inhetveen: Logik: Eine dialog-orientierte Einführung. 2003, ISBN 3-937219-02-1.
• J. van Benthem: Logic in Games. Elsevier, 2006.
• L. Keiff: Introduction à la logique modale et hybride. In: M. Rebusqui, T. Tulenheimo (Hrsg.): Logique et théorie de jeux. Kimé, 2004, S. 89–102. ISSN 1281-2463.
• S. Rahman: Non-Normal Dialogics for a Wonderful World and More. In: J. van Benthem, G. Heinzmann, M. Rebuschi, H. Visser (Hrsg.): The Age of Alternative Logics. Springer, 2006, ISBN 1-4020-5011-9.
• S. Rahman and N. Clerbout: Linking Games and Constructive Type Theory: Dialogical Strategies, CTT-Demonstrations and the Axiom of Choice. Springer-Briefs (2015)

https://www.springer.com/gp/book/9783319190624

• S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning or Equality in Action. A Plaidoyer for the Play level. Springer (2018).

https://www.springer.com/gp/book/9783319911489

• H. Rückert: Logiques dialogiques multivalentes. In: M. Rebusqui, T. Tulenheimo (Hrsg.): Logique et théorie de jeux. Kimé, 2004, S. 59–88. ISSN 1281-2463.
• J. Ehrensberger, C. Zinn: DiaLog – A System for Dialogue Logic. In: William McCune (Hrsg.): Proceedings of the 14th. Conference on Automated Deduction – CADE-14. (= Lecture Notes in Artificial Intel ligence. Band 1249). Springer, 1997, S. 446–460.
• C. Zinn: Colosseum – An Automated Theorem Prover for Intuitionistic Predicate Logic based on Dialogue Games. In: Position Papers of the International Conference on Analytic Tableaux and Related Methods (Tableaux-99). Technical Report, Saratoga Springs 1999, S. 133–147.

Weblinks

• Laurent Keiff: „Dialogical Logic“ in der Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)
• Wilfrid Hodges: „Logic and games“ in der Stanford Encyclopedia of Philosophy (englisch, inklusive Literaturangaben)
• Thomas Piecha: Dialogical Logic. In: The Internet Encyclopedia of Philosophy, 2015.
• Shahid Rahman: Plädoyer für Logik in der Rechtsinformatik
• Sahid Rahman, Helge Rückert: Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes, in: Philosophia Scientiæ, Bd. 3, no 3 (1998–1999), p. 145–170, online auf numdam.org