Welches ist der Beweis von
Е❘ ❘.Е❘ ❘ ❘ . ⊃ .
Е❘ ❘ ❘ ❘ ❘, der der Ausdruck unseres
Wissens ist, daß dies ein richtiger logischer Satz ist?
Er macht offenbar davon Gebrauch, daß man
(
∃x) … als
logische Summe behandeln kann.
Wir übersetzen etwa von dem Symbolismus (“wenn in jedem
Quadrat ein Stern ist, so sind zwei im ganzen
﹖
Rechteck”)
in den
Russell'schen.
Und es ist nicht, als gäben wir mit der Tautologie in dieser
Schreibweise einer Meinung Ausdruck, die uns plausibel erscheint und
(die
﹖) der Beweis dann bestätigt;
sondern, was uns plausibel erscheint ist, daß
dieser Ausdruck eine Tautologie (ein Gesetz der Logik) ist.