Wenn gefragt würde: ist die
Negation || Verneinung in der Mathematik, etwa in
non(2 + 2 =
5), die gleiche, wie die nicht-mathematischer Sätze?
so müßte erst bestimmt werden, was als
Charakteristikum
der || dieser
Verneinung
als solcher aufzufassen
ist.
Die Bedeutung eines Zeichens liegt ja
in den Regeln, nach denen es
verwendet wird || in den Regeln, die seinen Gebrauch
vorschreiben.
Welche dieser Regeln machen das Zeichen
“non”
112
zur Verneinung?
Denn es ist klar, daß gewisse Regeln, die sich auf
“non”
beziehen, für beide Fälle die gleichen sind;
z.B.
non-non-p
= p.
Man könnte ja auch fragen: ist die Verneinung eines Satzes
“ich sehe einen roten Fleck” die gleiche, wie die von
“die Erde bewegt sich in einer El
lipse um die
Sonne”; und die Antwort müßte auch
sein: Wie hast Du “Verneinung”
definiert, durch welche Klasse von Regeln? – daraus wird
sich ergeben, ob wir in beiden Fällen “die gleiche
Verneinung” haben.
Wenn die Logik allgemein von der Verneinung redet, oder einen
Kalkül mit ihr treibt, so ist die Bedeutung des Verneinungszeichens nicht
weiter festgelegt, als die Regeln seines
Kalküls.
Wir dürfen hier nicht vergessen, daß ein
Wort seine Bedeutung nicht als etwas, ihm ein für allemal verliehenes,
mit sich herumträgt, sodaß wir sicher sind, wenn
wir nach dieser Flasche greifen,
auch die bestimmte Flüssigkeit,
etwa Spiritus, zu erwischen. || auch die
bestimmte Flüssigkeit,
z.B. Spiritus, in der Hand zu
halten. ⇒
⋎ Siehe
S. 106 letzter Satz 113