Was nennen wir, z.B., Schlüsse bei Russell (Principia Mathematica), oder bei Euklid? Soll ich sagen: die Übergänge von einem Satz zum nächsten? Aber wo steht der Übergang? – Nun ich sage bei Russell folge dieser Satz aus jenem, wenn sie in seinen ‘Beweisen’ || Beweisen in der & der Ordnung stehen, & wenn ich den einen aus dem andern mittels seiner Schlußregeln gewinnen kann. – Wird das letztere experimentell festgestellt? Ja! Denn ich schreibe gewisse Zeichenfolgen hin, richte mich dabei nach gewissen Schemen – dabei ist freilich wesentlich, daß
ich keines || kein Zeichen übersehe, oder daß es sonst wie abhanden kommt – kommt bei diesem Vorgang dann das & das heraus, so sage ich, es folge.
Ich kann aber auch sagen, ich habe damit kein Experiment gemacht. Denn, wenn 2 & 2 Äpfel nur mehr 3 Äpfel geben, d.h. wenn 3 Äpfel da liegen nachdem ich 2 & dann wieder 2 hingelegt || 2 und 2 hingelegt habe, sage ich nun nicht: 2 & 2 ist also doch nicht immer 4; sondern: einer muß irgendwie weggekommen sein.