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 Ellipse 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