Peut-on définir la négation dans un fragment positif de la logique propositionnelle ayant comme seul connecteur primitif le biconditionnel ? A. Tarski apporta une réponse positive à cette question dans sa thèse de doctorat en 1928. Mais sa solution ne fut jamais véritablement exploitée. Elle permet pourtant encore aujourd'hui de dégager des vues originales et inattendues sur nos notions élémentaires de logique dont nous verrons un aperçu.