© 2013 LES MATHÉMATIQUES DU LIÈVRE - Tous droits réservés Nicolas ERDRICH   



LOGIQUE





EXPOSÉ SEMAINE DE CERVEAU : LA PENSÉE ET LE CALCUL

VIDÉOS

Les objets mathématiques sont-ils réels ?




Logique classique et paradoxes




Machines et pensée, René Descartes et Alan Turing




Fictions et logique (en bossant l'anglais au passage)

La non-référence des noms fictionnels et l'identité




Propositions fictionnelles et valeurs de vérité




Et pour quelques concepts de plus...

La loi de Leibniz : identité des indiscernables et indiscernabilité des identiques




Conditions nécessaires et suffisantes




Et pour les profs : une très belle présentation sur Gottlob Frege par Graham Priest




Et Francesco Berto parlant de paradoxes...