In Praise of Love est constituée de deux néons représentant chacun une tautologie : une proposition qui est toujours vraie, par construction, par nécessité ou en vertu de sa forme logique.

La proposition de gauche utilise le quantificateur universel \(\forall\) (« pour tout »), tandis que celle de droite utilise le quantificateur existentiel \(\exists\) (« il existe ») et la négation \(\sim\). 

\(\forall x \ (x=x)\)  : « Toute chose est identique à elle-même ».

\(\sim\exists \sim(x=x)\) : « Il n’existe pas de chose non identique à elle-même ».

Voilà ce que disent, sous forme symbolique, ces néons.

La question que pose l’œuvre est de savoir si ces deux affirmations disent la même chose.

En savoir +