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.

IRMAR
URL de Vidéo distante
Niveau
recherche
Mathematical field
logique
Keywords
Tarski
logique prépositionnelle
négation
quantificateur