5˙301
Hat die Logik Grundbegriffe, so
mü
ssen sie von einander unabhängig
sein.
Ist ein Grundbegriff eingeführt so muß er in
allen Verbindungen eingeführt sein worin er überhaupt
vorko
mmt.
Man kann
ihn also nicht zuerst für eine Verbindung, dann
, nocheinmal
für eine andere einf
ühren.
Z.B.: Ist die
Verneinung eingeführt so mü
ssen wir
33
sie jetzt in Sätzen von der Form
~p ebenso verstehen,
als || wie in Sätzen wie
~(p
⌵ q) (oder (Еx).~φx)
u.a..
Wir dürfen sie nicht erst
für die eine Klasse von F
ällen, dann
für die andere einführen denn es bliebe dann
zweifelhaft ob ihre Bedeutung in beiden Fällen die gleiche
wäre und es wäre kein Grund vorhanden in beiden Fällen
die selbe Art der Zeichenverbindung zu benützen.
(Kurz, für die Einführung der Urzeichen gilt
mutatis m
utandis dasselbe was
Frege
(
Grundgesetze der Arithmetik) für die Einführung
von Zeichen durch Definitionen gesagt hat.)