Philosophie de la logique - Le programme de Hilbert et la naissanc ...

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