5 minutes Lebesgue

Pierre Joray, Définir la négation

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
13 Décembre 2016
chercheur
chercheur
Domaine mathématique: 
logique
Mots clefs: 
Tarski, logique prépositionnelle, négation, quantificateur
Fichier attachéTaille
Fichier 5min-joray.mp430.18 Mo

Partenaires

Irmar LMJL ENS Rennes LMBA LAREMA

Tutelles

ANR CNRS Rennes 1 Rennes 2 Nantes INSA Rennes INRIA ENSRennes UBO UBS Angers UBL