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.