- So we have P, the negation of P is written ~P (not-P)
- The negation of ~P or not not-P will be written as ~~P
Now in classical logic ~~P=P
But in paralogic, ~~P = P and some nondeterminate remainder. This remainder will be written as *.
~~P = P*
The operation of the double negation is homologous to the operation of the empty set: it “spontaneously generates” an excess. In the action of the empty set upon the thing, it is as though the thing is doubly negated, once from the outside (the cut or hollowing that unglues the thing from being) and once from the inside (the minimal difference from itself) … we could say that an object is really an object*. … The object* — whether material object, linguistic object, or subject — is always more than one, but not quite two. 39