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.