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
Mathematical field:
logic
Keywords:
Tarski, logique prépositionnelle, négation, quantificateur
Attachment | Size |
---|---|
![]() | 30.18 MB |