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



LOGIQUES ET PHILOSOPHIE






SEMAINE DU CERVEAU : LA PENSÉE ET LE CALCUL

EXPOSÉ

LA PENSÉE ET LE CALCUL
"A QUOI PENSENT LES ROBOTS ?"
"SOMMES-NOUS DES SIMULATIONS ? L'argument de la simulation de Nick Bostrom"



PHILOSOPHIE DES MATHÉMATIQUES



"La philo en petits morceaux : Les escargots font-ils des maths ?"
"La philo en petits morceaux : La logique est-elle barbante ?"
"What are numbers" par Kit Fine



PRINCIPES LOGIQUES

La loi de Leibniz : identité des indiscernables et indiscernabilité des identiques
Conditions nécessaires et suffisantes



HISTOIRE DE LA LOGIQUE

Gottlob Frege par Graham Priest



Fictions et logique



La non-référence des noms fictionnels et l'identité
Propositions fictionnelles et valeurs de vérité
Et Francesco Berto parlant de paradoxes...