Strenge Logik

Die strenge Logik (engl.: strict logic) ist die Bezeichnung für die Logik der streng wahren Aussagen innerhalb der dialogischen Logik.

Streng wahre Aussagen

Aussagen heißen streng wahr, wenn es eine Gewinnstrategie für sie unter der Regel gibt, dass die Argumente des Gegners jeweils höchstens einmal angegriffen werden dürfen. Man greift eine vom anderen gesetzte Aussage an oder verteidigt sich gegen einen Angriff des anderen.

Die strenge Logik enthält weniger wahre Aussagen als die Intuitionistische Logik, ist aber verschieden vom Minimalkalkül Kolmogorows. Die strenge Logik ist entscheidbar.

Abgrenzungen

Die strenge Logik ist etwas anderes als die strikte Implikation und auch etwas anderes als die strenge Implikation von Ackermann (Logik des Entailments).

Ebenfalls unterschieden werden muss die strenge Logik von der so genannten Strengen Logik Walther Brünings.

Literatur

• Peter Schroeder-Heister: Logik, strenge. In: Jürgen Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie. Band 5, Metzler, Stuttgart / Weimar 2013, S. 82.
• Kuno Lorenz, Paul Lorenzen: Dialogische Logik. WBG, Darmstadt 1978, S. 55ff.
• Paul Lorenzen: Lehrbuch der konstruktiven Wissenschaftstheorie. BI-Wissenschaftsverlag, Mannheim u. a. 1987, ISBN 3-411-03154-9 (Metzler Reprint. Metzler, Stuttgart u. a. 2000, ISBN 3-476-01784-2), S. 65.