/ ü  
     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üsste 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, dass 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 Elipse um die Sonne”; und die Antwort müsste 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, dass ein Wort seine Bedeutung nicht als etwas, ihm ein für allemal verliehenes, mit sich herumträgt, sodass 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