(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 –

a

––––––
b
*

––
a

– anderseits aber einen, in welchem

a

––––––
b
*

––
a

eine bestimmte Lage bedeutet, und

a

––
b
*

––––––
a

eine andere, etc. Und warum sollte ich nun nicht die beiden so verbinden, daß man ein Zeichen

a

––
b
*

––––––
a

oder

b

––
a
*

––––––
a

etc. immer auf beide Weisen auffassen kann, daß also dann “a-b-a” aus

a

–––
b
*

–––
a

folgt, etc.?