739
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”
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. //