Aller au menu | Aller au contenu | Aller à la recherche
Bibliothèques
Rejoignez-nous sur
Rejoignez-nous sur
| Volume horaire total | 24 |
|---|---|
| Volume horaire CM | 24 |
Déplier tout le contenu Plier tout le contenu
Contenu
Master 1 - Semestre 1 - Année universitaire 2012-2013
Enseignant : Jean-Baptiste JOINET
Thème du cours : Logique et mathématiques
Ce cours abordera dans une perspective à la fois conceptuelle, historique et technique, les approches classiques et contemporaines des liens entre logique et mathématiques.
Une attention particulière sera accordée aux enjeux philosophiques du programme logiciste (Frege, Russell) et du programme formaliste (Hilbert), ainsi qu’aux critiques intuitionistes (Poincaré, Brouwer) et aux développements constructivistes ultérieurs voire contemporains.
Enseignant : Jean-Baptiste JOINET
Thème du cours : Logique et mathématiques
Ce cours abordera dans une perspective à la fois conceptuelle, historique et technique, les approches classiques et contemporaines des liens entre logique et mathématiques.
Une attention particulière sera accordée aux enjeux philosophiques du programme logiciste (Frege, Russell) et du programme formaliste (Hilbert), ainsi qu’aux critiques intuitionistes (Poincaré, Brouwer) et aux développements constructivistes ultérieurs voire contemporains.
Bibliographie
- Jean Largeault (dir.), « Intuitionisme et théorie de la démonstration », collection “Mathesis”, Vrin, Paris, 1992
- Jean Largeault (dir.), « Logique mathématique (Textes) », collection U, Armand Colin, Paris, 1970
- François Rivenc et Philippe de Rouilhan (dir.), « Logique et fondements des mathématiques. Anthologie (1850-1914) », collection Bibliothèque scientifique, Payot, Paris, 1992
- Jean van Heijenoort (ed.), « A Source Book in Mathematical Logic (1879-1931) », Harvard University Press, Cambridge, 1990.
- Divers documents pédagogiques pourront par ailleurs être distribués durant les séances de cours (ou mis en ligne)
Ce cours fait partie des formations suivantes :
Master 1 Sciences humaines et sociales, mention Histoire
Semestre : - UFR : Faculté des Lettres et Civilisations
Master Sciences humaines et sociales, mention Philosophie, spécialité Histoire de la philosophie
Niveau d'entrée : Bac + 3 | Niveau de sortie : Bac + 5
Semestre : - UFR : Faculté de Philosophie
Master Sciences humaines et sociales, mention Philosophie, spécialité Philosophie contemporaine
Niveau d'entrée : Bac + 3 | Niveau de sortie : Bac + 5
Semestre : - UFR : Faculté de Philosophie
Master 1 Arts, Lettres, Langues mention Lettres, spécialité Langues, littératures et civilisations des Mondes anciens
Semestre : - UFR : Faculté des Lettres et Civilisations
Renseignements pratiques
Equipe pédagogique
Jean-Baptiste JOINET
