Die alte Schreibweise war fa ∙ fb ∙ fc ∙
~(∃xyzu) ∙ fx ∙ fy ∙ fz ∙
fu,
die neue Schreibweise wäre
fa ≡ t ∙ fb ≡ t ∙ fc ≡ t
∙ fd ≡ cont. fe ≡
cont. etc
.
das heißt ab
er einfach:
fa ∙ fb ∙ fc ∙
~ fd ∙ ~ fe
etc
.
fa ∙ fb ∙ ~fc
∙ ~fd … ∙
g
e ∙ g
h ∙
~gi ∙ ~gl ⊃
⊃ (∃R) (a,b) R
(e,h)
D.h. f &
g sind ähnlich wenn ihnen ähnliche
Extensionen passen.
– Wie aber zeigt man die
Ähnlichkeit der
Extensionen?
So: Ich stelle eine Regel auf nach der ich je
zwei Extensionen auf ihre
Ähnlichkeit prüfen kann, durch eine Zuordnung die ich an den Zeichen
tatsächlich vollziehe.
Diese Zuordnung ist nach einer gewissen Regel gebaut & diese Regel
muß die formale Reihe enthalten, oder sagen wir die
allgemeine
Form dieser Zuordnung also die
variable
Zuordnung.