Yet another excerpt from *The Book of Real and Imaginary Drugs*. I achieved a new high in self promotion.

**The Double Negator**

If you are a geometer, you draw pictures. But what do you do if you are a logician? I guess you can still draw pictures, like proof trees and so on, but these wouldn’t be pictures of the objects you work on. Intuitively, this is obvious. We say “I can draw a triangle.” not “I can draw a triangle picture. ” On the other hand one cannot draw a tautology.

So we have a natural question here: In logic, what is the verb that corresponds to *draw*? I think it is easy to answer this question once we look at some standard terminology in mathematical logic: *sentence, term, syntax, parsing, . . . *As the reader has hopefully guessed, the verb I am talking about is *write.*

Now let us make things more interesting. It is a well known historical fact that Maurice Princet, a mathematician and an associate of Picasso, had some role in the birth of cubism. For the ones who ask for visual evidence, here is a page from a book by Maurice Princet,

and here is a cubist painting by Braque.

The resemblance is obvious.

Now suppose that we put a logical writing instead of Princet’s geometrical drawing. What sort of literary work can we put instead of Braque’s painting? Honestly, I do not know an example. I know mathematical writings, for instance produced bu Oulipo. There are self referential books too. But non of the texts I have read so far is linked to a branch of mathematical logic like Braque’s painting is linked to higher dimensional geometry.

What I know, though, is a drug called double negator which enhances ones creativity in this hypothetical literature. Just as LSD affects the way you see colors, double negator affects the way you reason. In order to explain the details we need some material from mathematical logic, namely the Goedel-Gentzen translation.

Goedel-Gentzen translation is a transformation on the set of first order sentences. It is defined inductively as follows. If is an atomic sentence, then its translation, denoted by , is defined to be . So if is “I love you.” then is “It’s not true that I don’t love you.” Conjunction, implication, negation and universal quatification commute with the translation, that is we have

is ,

is ,

is ,

is .

For disjunctions we have

is .

Finally, the existential quantifier is translated as follows:

is .

A person who uses double negator perceives the Goedel-Gentzen translation of each sentence. As we have seen in the “I love you.” example, this induces a kind of paranoia. However, this does not cause contradictory conclusions or delusions because of the following theorem: If a set of sentences proves a sentence in classical logic then proves in intuitionistic logic.

If you use LSD, you look at objects with bright colors to have a vibrant experience. And if you us double negator, you read a text with a rigid logical structure. This is exactly what we are going to do.

Here is a proposition from Spinoza’s *Ethica Ordine Geometrico Demonstrata*, an ethics book written in the style of Euclid.

**PROPOSITION V.** *There cannot exist in the universe two or more substances having the same nature or attribute.*

Ignoring the modality coming from *can* we can write this sentence like this.

where stands for attribute and stands for nature. Here is the Goedel-Gentzen translation of this sentence.

And here is the same text perceived by someone who used the double negator.

**PROPOSITION V. ***It is not true that the following sentence is false: For any two substances it is not true that both the the sentence “it is not true that the substances are not unequal” and the negation of the sentence “either it is not true that the attributes of the substances are not unequal, or it is not true that the natures of the substances are not unequal” hold.
*