Institut de Recherche sur l'Enseignement des Mathématiques de Paris

Mercredi 16 mai 2018 Jean-Yves BEZIAU - «Le principe de contradiction est-il déductible de la loi fondamentale de la pensée xx=x? » à 14h

Dans cette conférence j'analyserai la proposition (IV du chapitre 3 des Lois de la Pensée) de Boole suivant laquelle le principe de contradiction est déductible de la loi fondamentale de la pensée xx=x. Je discuterai en particulier du symbolisme utilisé par Boole et de comment il peut être compris par rapport à la logique moderne (théorie des modèles, théorie des ensembles, logique propositionnelle).