| | | | |
Wenn gefragt würde: ist die Negation // Verneinung // in der Mathematik, etwa
in
non.neg(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. //
| | |