(Es kann keine Wahrheitsfunktion von
fa sein, ohne
daß man es
weiß.)
Ich kann doch
einen Kalkül haben, in dem es nur ein
a-b-a, ein b-a-a und ein
a-a-b gibt –
–
anderseits aber einen, in welchem
eine bestimmte
Lage bedeutet, und
eine andere,
etc.
Und warum sollte ich nun nicht die
beiden so verbinden, daß man ein Zeichen
oder
etc. immer auf beide Weisen auffassen kann,
daß also dann
“a-b-a” aus
folgt,
etc
.?