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 December 2016
chercheur
chercheur
Mathematical field: 
logic
Keywords: 
Tarski, logique prépositionnelle, négation, quantificateur
AttachmentSize
File 5min-joray.mp430.18 MB

Partners

Irmar LMJL ENS Rennes LMBA LAREMA

Affiliation

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