Welches ist der Beweis von é!! & é!!!
C é!!!!!, der der Ausdruck unseres
Wissens ist, dass dies ein richtiger logischer Satz ist
?
Er macht offenbar davon Gebrauch, dass man
(Ex) … 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, dass dieser Ausdruck eine
Tautologie (ein Gesetz der Logik) ist.