Die aufschichtende Behandlung der derivativen und der intuitionistischen Aussagenlogik

Zusammenfassung

Im 5. Abschnitt lernten wir die aufschichtende alternäre Logik kennen. Wir erfuhren (in § 93), inwiefern sie fast zwangläufig auf ein Entscheidungsverfahren der alternären Logik führt, das sich bezüglich seiner Handlichkeit mit dem der Wahrheitswertung durchaus messen kann. Bei der Betrachtung der derivativen Logik wurde für die derivative →∧⌝-Logik ein „entwickelndes Kodifikat“ vorgeführt, das ebenfalls ein Entscheidungsverfahren ermöglicht; jedoch Heß sich dieses Entscheidungsverfahren mindestens nicht ohne erhebliche Einbuße an übersichtlichkeit auf ∨ erweitern (s.‚Ausblick‘Abs. 2, S. 333). Nun macht sich aber gerade für die natürliche derivative Aussagenlogik und ebenso für die an sie anschließende intuitionistische Aussagenlogik — die keine Entscheidung durch eine Wertung zulassen (s. hierzu § 141) — das Bedürfnis nach Entscheidbarkeit auf Schritt und Tritt bemerkbar. Hier ist es nun wiederum die aufschichtende Kodifikation, die uns ein Entscheidungsverfahren an die Hand gibt, das auch praktisch wichtig werden wird. Es sei aber bereits hier betont, daß das Entscheidungsverfahren durchaus nicht das einzige Erträgnis der aufschichtenden Kodifikation ist. Ihre Bedeutsamkeit wird der Leser nach der Lektüre dieses Kapitels zu würdigen wissen.