Charakteristische Eigenschaften der intuitionistischen Aussagenlogik

Zusammenfassung

Die Aufgabeninterpretation des §130 war ursprünglich nicht für die derivative, sondern für die intuitionistische Aussagenlogik gedacht. Hierbei hegt die Auffassung zugrunde, die intuitionistische Aussagenform J3 ⌝a→a→b des § 134 (aus der das Axiom J1 durch Vordergliedtausch und Einsetzung hervorging, vgl. Bemerkung S. 344) stelle eine lösbare Aufgabenform dar. Wir betrachten zunächst die Teilform a→b: „führe die Lösung von b auf diejenige von a zurück“. ⌝a→a→b stellt die Aufgabe dar: „führe die obige Aufgabe auf das bloße Adabsurdum-Führen von a zurück“.