Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie

3.2 Ableitungsbegriff und deduktive Konsequenzschaft 137

eine Ableitung von ^r-VξΔ^^l aus {^l^Λξ-Δ^^l}. Dies lasst sich durch eine informelle Be-
trachtung nachvollziehen. Dazu sei die Sequenz zunachst mit einem Kommentar verse-
hen, der anschlieβend erlautert wird.

Kommentar: In der zweiten Spalte von rechts sind wie ublich die Regeln (vgl. Abschnitt
3.1), nach denen der bereits geauβerte Anfangsabschnitt der Sequenz fortgesetzt werden
darf, sowie die jeweiligen Pramissenzeilen vermerkt. Ganz rechts auβen stehen jeweils
die Zeilennummern der Zeilen, deren Aussagen in der Beschrankung von ⅛[³'¹] auf den
Nachfolger der aktuellen Zeilennummer verfugbar sind. Man beachte, dass dabei die in
^[³∙¹]Γi (1 ≤ i ≤ 10) jeweils verfugbaren Aussagen und Annahmen eindeutig bestimmt
sind.

Sodann gilt, dass etwa die Folgerung in Zeile 8 nur nach PB und die Folgerung in Zeile
9 nur nach NE korrekt ist, wobei die Pramissenzeilen eindeutig bestimmt sind. In Zeile 8
ist NE deswegen ausgeschlossen, weil einerseits die in Zeile 2 angenommene Aussage in
⅛[³'¹]∣'8 noch verfugbar ist, so dass 1 als Eroffnungsannahme fur NE ausfallt, wahrend
andererseits 3 als Eroffnungsannahme fur NE ausfallt, weil die dort angenommene Aus-
sage in ⅛[³'¹]f8 an dieser Stelle nicht verfugbar ist. Umgekehrt ist in 9 PB ausgeschlossen
(und NE moglich), weil die Ersatzannahme in Zeile 2 in ⅛[³'¹]∣'9 an dieser Stelle (und
uberhaupt) nicht mehr verfugbar ist.

Uberpruft man auch alle anderen Zeilen, so uberzeugt man sich leicht davon, dass ⅛[³'¹]
∈ RGS∖{0}. Die Menge der insgesamt in ⅛[³'¹] verfugbaren Annahmen ist eindeutig be-
stimmt und bestimmbar, da man nach Definition 2-26, Definition 2-28, Definition 2-29

<<   <   111   112   113   114   115   116   117   >   >>