Lexikon der Argumente

 

Berka I 268
Negation/Dialogische Logik/Lorenzen: wird i a vom Proponenten P behauptet, so hat er verloren, wenn Opponent O die Behauptung a aufstellt und erfolgreich verteidigt.
Pointe: Genau dadurch entsteht die intuitionistische Logik.
Intuitionistische Logik/Lorenzen: zu A v i A existiert nämlich keine Gewinnstrategie.
>Dialogische Logik.
Bsp

O P

A v i A
? A I i A
? I A

I 269
Man setze hier für die Variable A eine Aussage derart, dass O einen Beweis von ihr kennt, P aber nicht.
Gewinnstrategie/Negation/dialogische Logik/Lorenzen: zur Erläuterung zeige ich noch, dass es dagegen für
i i (A v i A)
eine Gewinnstrategie gibt.

O P
i i (A v i A)

i (A v i A) A v i A
? i A
A A v i A
? A ⁽¹⁾


1. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, in: Infinitistic Methods, (1961), 193-200