Handytarife

Die dialogische Logik 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.

Die Regeln für die Junktoren und Quantoren werden statt der herkömmlichen Wahrheitswerttafeln 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.

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.

Eine Besonderheit stellt die folgende effektive Rahmenregel dar. Sie lautet:

• Die jeweils zuletzt entstandene Verteidigungspflicht ist zuerst zu erfüllen. Da es gegen eine Verneinung keine Verteidigung gibt (s.u.), entfällt mit jeder erfolgten Verneinung die Möglichkeit für den Gegenspieler, Aussagen zu verteidigen, die vor der Verneinung angegriffen wurden.

Wenn die effektive Rahmenregel gilt, ist die dialogische Logik ein Modell der intuitionistischen Logik. Wenn sie nicht gilt, also wenn jede Aussage zu jedem Zeitpunkt des Dialogs verteidigt werden kann, ist sie ein Modell der klassischen Logik. Intuitionistische (effektive) Logik und klassisch-zweiwertige Logik lassen sich also durch Verwendung oder Wegnahme der effektiven Rahmenregel ineinander überführen.

Angriffs- und Verteidigungsregeln für die logischen Operatoren

Hier sind die Angriffs- und Verteidigungsregeln der dialogischen Logik aufgelistet:

Die letztgenannte Junktor-Operation wenn-dann wird hier Subjunktion, sonst meist Implikation genannt.

Quantorzeichen: (Einsquantor: “für ein”) bzw. (Allquantor: “für alle”)

Beispiele

Hier als einfaches Beispiel ein Dialog um . Die Aussage ist formal logisch wahr:

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 , dann für den nur klassisch wahren Satz .

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.

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 aus:

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 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 in der intuitionistischen Logik nicht zu beweisen. In der klassischen Logik hingegen gilt sie, wie die Beispiele zeigen.

Anwendungen

Umgekehrte Herleitungen

Ein abgeschlossener Dialog in der dialogische Logik entspricht einer umgedrehten (upside-down) Herleitung in einem Sequenzenkalkül (oder einem anderen Kalkül vom Gentzentyp). Es wird mit einer zusammengesetzten Behauptung angefangen und diese unter Einhaltung der Spielregeln auf Elementarsätze reduziert, anstatt dass umgekehrt aus elementaren Aussagen nach den Schlussregeln abgeleitet wird und am Ende die zu zeigende Aussage steht.

Intuitionismus und Quantenlogik

Interessant sind die speziellen Effekte, die bei der (intuitionistischen) Interpretation des Subjunktors () 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. Carl Friedrich von Weizsäcker hat einige dieser Regeln für die Interpretation der Quantenphysik durch zeitliche Logik aufgenommen. (Ein berühmtes vereinfachtes Beispiel der Quantenlogik von C.F. v. Weizsäcker: Während wir überlegen, ob der Mond untergeht oder nicht, geht er unter.)

Argumentationstheorie

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

• Jaakko Hintikka / Esa Saarinen: Game-Theoretical Semantics, Springer 1979, ISBN 9027709181
• Kamlah, W. und P. Lorenzen: Logische Propädeutik (oder) Vorschule des vernünftigen Redens. BI, Mannheim 1967, ²1973, Nachdruck 1990 & 1992; seit 1996 bei Metzler Stuttgart; ISBN 3-411-05227-9
• Lorenz, K. / P. Lorenzen: Dialogische Logik. WBG, Darmstadt 1978
• Lorenzen, P.: Lehrbuch der konstruktiven Wissenschaftstheorie. BI, Mannheim 1987, seit 2000 Metzler, Stuttgart ISBN 3-476-01784-2

Einen Überblick der neuen Entwicklungen in der dialogischen Logik (u.a. für freie, relevante, parakonsistente, modale, hybride, nicht normale und konnexe Logik) nach der Lorenzen-Lorenz Era findet man in

• http://plato.stanford.edu/entries/logic-dialogical/#Bib
• S. Rahman and L. Keiff, On how to be a dialogician. In Daniel Vanderken (ed.), Logic Thought and Action, Springer (2005), 359-408. ISBN 1-4020-2616-1.

Mehr und Ausführlicheres findet man in

• Inhetveen, R.: Logik: Eine dialog-orientierte Einführung (2003) ISBN 978-3937219028
• J. van Benthem Logic in Games. Elsevier (2006).
• L. Keiff “Introduction a la logique modale et hybride”. In M. Rebusqui & T. Tulenheimo (ed.), Logique et théorie de jeux”, Kimé, 2004, 89-102. ISSN 1281-2463.
• S. Rahman and H. Rückert (editors), New Perspectives in Dialogical Logic. Synthese 127 (2001) ISSN 0039-7857.
• Rahman S. “On Frege’s Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics”. In H. Wansing (ed.), Essays on Non-Classical Logic, World Scientific, New Jersey, London, Singapore, Hong Kong, 61-85, 2001.
• S. Rahman “ Non-Normal Dialogics for a Wonderful World and More”. In J. van Benthem, G. Heinzmann, M. Rebuschi and H. Visser (eds.) The Age of Alternative Logics. Springer (2006). ISBN 1-4020-5011-9.
• H. Rückert “Logiques dialogiques multivalentes”. In M. Rebusqui & T. Tulenheimo (ed.), Logique et théorie de jeux”, Kimé, 2004, 59-88. ISSN 1281-2463.
• H. Rückert “Why dialogical logic?”. In H. Wansing (ed.), Essays on Non-Classical Logic, World Scientific, New Jersey, London, Singapore, Hong Kong, 165-182, 2001.

„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)

Shahid Rahman: Plädoyer für Logik in der Rechtsinformatik

Kategorien: Logikkalkül | Konstruktivismus (Geistes- und Sozialwissenschaft)