Full text: Mathematik und Logik

Ü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.
	        
Waiting...

Note to user

Dear user,

In response to current developments in the web technology used by the Goobi viewer, the software no longer supports your browser.

Please use one of the following browsers to display this page correctly.

Thank you.