Cours transversal du Collège Doctoral, 2005 – 2006

Logique et Raisonnement Scientifique

1- Cours 1 : Introduction (séance du 6 février 2006) : Sommaire illustré et début de l’histoire : Aristote et les médiévaux, pdf

2- Cours 2 : séance du 20 février 2006 (matin) : Prolégomènes philosophiques, de Kant, Husserl, Cavaillès et quelques autres, pdf

3- Cours 3 : séance du 20 février (après-midi) : Logique et mathématiques (1) : de Frege aux antinomies, pdf

4- Cours 4 : séance du 6 mars : Logique et mathématiques (2) : l’autoréférence, la théorie des types (Russell), le programme de Hilbert, pdf

5- Cours 5 : séance du 13 mars : Logique et mathématiques (3) : de la vérité selon Tarski au théorème de Gödel, doc