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
¤.
Und es ist nicht, als gäben wir mit der Tautologie in dieser Schreibweise einer Meinung Ausdruck, die uns
plausibel erscheint & (
die) der
Beweis dann bestätigt; sondern, was uns plausibel
erscheint
, ist, daß
jener || dieser
Ausdruck eine Tautologie (ein Gesetz der
Logik) ist.