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, 1992

Informations 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
EnseignantsAntonutti Marfori Marianna
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2024] L3K302 - Licence 3ème année Philosophie parcours Logique et culture scientifique (diploma-L3K302-2024)
Consultation des ressources uniquement : aucune cohorte inscrite.

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