Wenn gefragt würde: ist die
Negation || Verneinung in der Mathematik etwa in
2 + 2 ≠ 5 || ~(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 || die seinen Gebrauch vorschreiben.
Welche dieser Regeln machen das Zeichen „~” zur Verneinung?
Denn es ist klar daß gewisse Regeln die sich auf „~” beziehen für beide
Fälle die gleiche sind; z.B.
~~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”; & 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 vielleicht Schwefelsäure || etwa Spiritus zu erwischen. || ¤ auch die bestimmte
Flüssigkeit
z.B. Spiritus in der Hand zu
halten.