K3020219 - Philosophie de la logique - Travaux Dirigés
Le programme de Hilbert et la naissance de la logique contemporaine 2024-2025
Des changements profonds survenus dans les mathématiques au cours du XIXe siècle, ainsi que des nouvelle exigences philosophiques et techniques, conduisent à une approche axiomatique des théories, à une étude formelle de la notion de preuve et à la naissance de la théorie de la démonstration et de la théorie des modèles. Ce cours se propose de retracer les étapes principales du développement de la logique et des débats philosophiques qui y sont associés au tournant du XXe siècle.Le cours partira de la controverse entre Frege et Hilbert concernant la relation entre cohérence et existence dans le contexte de leurs conceptions différentes des axiomes et définitions. On poursuivra en discutant l’évolution du projet épistémologique hilbertien. Cette dernière consiste à justifier les mathématiques sur la base des méthodes finitistes en démontrant la non-
contradiction des axiomes, ce qui amènera Hilbert à jeter le bases de la théorie de la démonstration, montrant ainsi son désaccord avec l’approche intuitionniste de Brouwer. En conclusion, on énoncera les théorèmes d’incomplétude de Gödel en présentant brièvement leur impact sur le programme hilbertien.
Extrait de la bibliographie
S. Gandon, “La fondation des mathématiques : Kant et après”, dans A. Arana et M. Panza, dir., Précis de philosophie de la logique et des mathématiques, vol. 2 : Philosophie des mathématiques, chap. 2, (surtout les section 4 et 5), Editions de la Sorbonne, à paraître.
Correspondance entre Frege et Hilbert, traduction française dans F. Rivenc et P. de Rouilhan,, dir., Logique et fondements des mathématiques. Anthologie (1850-1914), Payot, 1992Informations sur l'espace de cours
Nom | Philosophie de la logique - Le programme de Hilbert et la naissance de la logique contemporaine 2024-2025 |
Nom abrégé | UP1-C-ELP-K3020219-06 - Le programme de Hilbert et la naissance de la logique contemporaine 2024-2025 |
Enseignants | Antonutti Marfori Marianna |
Groupes utilisateurs inscrits | Consultation des ressources, participation aux activités :
|
Rattachements à l'offre de formation
Élément pédagogique | UP1-C-ELP-K3020219 - Philosophie de la logique |
Chemin complet | > Année 2024-2025 > Paris 1 > Philosophie > Licence 3e année Philosophie parc. logique et culture scien. > Semestre 6 > UE1 Fondamentale S6 > Philosophie de la logique |