Über innere Folgerichtigkeit.
b
weiter zu verfolgen. Um einen anhörbaren Stamm für haltbar
erklären zu können, muß man die Gewißheit haben, daß aus ihm
keine Widersprüche zweiter Stufe hergeleitet werden können.
Wie gelangt man zu einer solchen Gewißheit? Diese Frage kann
ich nicht allgemein beantworten; für das Aufsuchen von
Widersprüchen zweiter Stufe kann ich eine bestimmte, alle Stämme
umfassende Anleitung nicht geben J ).
Um die Sachlage schärfer hervortreten zu lassen, erinnere ich
daran, daß ein Widerspruch zweiter Stufe in einem Stamm A da
durch entsteht, daß eine aus A gezogene Folgerung B in Wider
spruch gerät entweder mit einer anderen Folgerung S oder mit
einer Stelle in A selbst. Im ersten Fall bildet der Stamm A zu
sammen mit der Folgerung S eine neue Zusammenstellung, die ich
wieder als einen Stamm auffassen kann und mit B bezeichnen
will. Die aus A gezogene Folgerung B wird zu einer Folgerung
aus B, der Widerspruch zwischen B und S zu einem Widerspruch
zwischen B, und einer Stelle in B. Damit ist der erste Fall auf
den viel einfacheren zweiten zurückgeführt, auf den Widerspruch
zwischen einer aus dem Stamm gezogenen Folgerung und einer
Stelle im Stamm selbst: es wäre dann nur festzustellen, ob aus
dem Stamm B eine Folgerung hergeleitet werden kann, die einer
Stelle in B widerstreitet. Und schon für diese einfachere Art von
Widersprüchen zweiter Stufe gilt, was ich oben für beide Arten
ausgesprochen habe: Für das Aufsuchen solcher Widersprüche kann
ich eine alle Stämme umfassende Anleitung nicht geben.
Wenn übrigens eine Anleitung für das Aufsuchen von Wider
sprüchen zweiter Stufe von der einfacheren Art bekannt wäre, so
wäre selbst dann die Aufgabe für die andere Art nicht gelöst.
Denn indem ich für den Stamm A in der obigen Weise den ersten
Fall auf den zweiten zurückführte, mußte ich nicht bloß den
Stamm A als gegeben behandeln, sondern auch den durch Anfügen
von 8 an A entstehenden Stamm B; es müßte somit außer A
noch S gegeben sein. In Wahrheit soll die Folgerung S ebenso
wenig gegeben sein, wie die Folgerung B, sondern einzig und
allein der zu prüfende Stamm A.
Nun zu den Widersprüchen zweiter Stufe von der einfacheren
Art. Die Frage lautet: Ein Stamm A ist vorgeiegt; kann aus ihm
eine Folgerung B hergeleitet werden, die irgendeinem im Stamm
vorkommenden Satz widerstreitet? Auch für die so eingeschränkte
Frage kann ich eine allgemein brauchbare Anleitung zum Auflinden
der Antwort nicht geben. Ich kann sogar, ohne hieran etwas zu
b Vgl.: Veränderliche und Funktion, S. 154.