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”)
![](illspace)
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.