Wenn ich sage "p ist möglich", heißt das "'p' hat einen Sinn"? Redet jener Satz von der Sprache, sodaß also für seinen Sinn die Existenz eines Satzzeichens ("p") wesentlich ist? (Dann wäre er ganz unwichtig.) Aber will er nicht vielmehr das sagen, was "p ∨ \~p" zeigt? Entspricht nicht mein Studium der Zeichensprache dem Studium der Denkprozesse, welches die Philosophen für die Philosophie der Logik immer für so wesentlich hielten? – Nur verwickelten sie sich immer in unwesentliche psychologische Untersuchungen und eine analoge Gefahr gibt es auch bei meiner Methode. 11. 11 .14. Da "a = b" kein Satz, "x = y" keine Funktion ist, so ist eine "Klasse x̂ (x = x)" ein Unding und ebenso die sogenannte Nullklasse. (Man hatte übrigens immer schon das Gefühl, daß überall da, wo man sich in Satzkonstruktionen mit x = x, a = a, etc. half, daß es sich in allen solchen Fällen um ein sich-heraus-schwindeln handelte; so wenn man sagte "a existiert", heißt "(∃x)x = a".) Dies ist falsch: da die Definition der Klassen selbst die Existenz der wirklichen Funktionen verbürgt. Wenn ich nun eine Funktion von der Nullklasse auszusagen scheine, so sage ich, daß diese Funktion von allen Funktionen wahr ist, welche null sind – und dies kann ich auch dann sagen, wenn keine Funktion null ist. Ist x ≠ x. ≡~x.~ ϕx identisch mit \(x).\~ϕx ? Gewiß! Der Satz deutet auf die Möglichkeit, daß es sich so und so verhält.