Eine Schlussregel heißt zulässig in Bezug auf einen Kalkül, wenn jede Formel des Kalküls, die in dem Kalkül mit Verwendung dieser Regel hergeleitet werden kann, bereits auch ohne Verwendung dieser Regel hergeleitet werden kann.
Auf diese Weise lassen sich Gültigkeitsbeweise von Regeln durchführen: Ist eine Regel wie etwa die Schnittregel in einem Kalkül zulässig, also eliminierbar, so ist sie in dem Kalkül gültig.
Literatur Bearbeiten
- Peter Schroeder-Heister: zulässig/Zulässigkeit In: Jürgen Mittelstraß: Enzyklopädie Philosophie und Wissenschaftstheorie. Zweite Auflage. Band 8, Metzler 2018, S. 683.
- Paul Lorenzen: Einführung in die operative Logik und Mathematik. Springer, Berlin u. a., 1955, 2. Auflage 1969, weitere Nachdrucke 1994