Und meine Meinung ist die, daß die grammatischen Regeln über die Negation, z.B. ~~p = p, zur Erklärung der Bedeutung von ‚~’ gebraucht
werden könnten: daß die Regeln eine solche Erklärung wären; & daß daher ihre Wirkung gerade das wäre, was man das Verständnis des Negationszeichens nennt. Und das wäre die Beziehung dieses Verständnisses zu den grammatischen Regeln. (Wobei ‚Wirkung’ nicht kausal zu verstehen ist.)