K5R50715 - Philosophie histoire des sciences formelles B - Cours magistral;K5R50715 - Philosophie histoire des sciences formelles B - Cours magistral

L'explanation mathématique

Les explications mathématiques sont au cœur de la pratique scientifique et de notre compréhension du monde. Mais qu'est-ce qu'une explication mathématique précisément, et quel rôle joue-t-elle dans nos connaissances scientifiques et mathématiques ?

Le riche développement de l'étude de l'explication mathématique au cours des deux dernières décennies a produit différentes approches de ce notion, ainsi que de nouveaux arguments en faveur du réalisme et de l'antiréalisme mathématique. Ce cours se propose d'étudier la nature de l'explication mathématique en mathématiques et l'impact que ce débat a eu sur le débat réalisme vs antiréalisme dans la philosophie des mathématiques.

Nous aborderons des questions telles que : qu'est-ce qu'une explication véritablement mathématique, et quels types d'objets mathématiques peuvent constituer une explication (preuves, théories, méthodes de preuve, etc.) ? Comment la notion de preuve explicative peut-elle être caractérisée, et quelle est sa relation avec d'autres types de preuves, telles que les preuves pures ? Existe-t-il des méthodes de preuve qui sont toujours explicatives ou non explicatives, par exemple les preuves par induction ? L’acceptation d'explications véritablement mathématiques nous engage-t-elle à l'existence d'objets mathématiques ?

Bibliographie indicative:

A. Arana. Idéaux de preuve : explication et pureté. Dans Précis de philosophie de la logique et des mathématiques Vol. 2: Philosophie des mathématiques (dir. A. Arana et M. Panza), Éditions de la Sorbonne, 2021.

A. Baker. Are there Genuine Mathematical Explanations of Physical Phenomena?, Mind 114: 223–238, 2005.

P. Kitcher. Explanatory unification. Philosophy of Science 48:507–531, 1981.

M. Lange. Because Without Cause: Non-causal Explanations in Science and Mathematics. Oxford University Press, 2017.

M. Leng. Mathematical Explanation. Dans Mathematical Reasoning and Heuristics (dir. C. Cellucci and D. Gillies), King's College Publications, 2005.

P. Mancosu. Mathematical Explanation: Problems and Prospects. Topoi 20:97–117, 2001.

P. Mancosu. The Philosophy of Mathematical Practice. Oxford University Press, 2008 (surtout les chapitres 5 et 6).

J. Saatsi. On the ‘Indispensable Explanatory Role’ of Mathematics. Mind 125(500):1045–1070, 2016.

M. Steiner. Mathematical Explanation. Philosophical Studies 34:135–151, 1978.

Informations sur l'espace de cours

Nom Archive année 2024-2025 Philosophie histoire des sciences formelles B - M2 philosophie des mathématiques 2024-2025
Nom abrégé UP1-C-ELP-K5R50715-07 - M2 philosophie des mathématiques 2024-2025
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2024] UFR 10 - Matière (M2-S1) : Philosophie histoire des sciences formelles B (groups-matiK5R50715-2024)
Consultation des ressources uniquement : aucune cohorte inscrite.

Rattachements à l'offre de formation

Aucun rattachement ROF pour cet espace de cours.

Accessibility

Background Colour Background Colour

Font Face Font Face

Font Kerning Font Kerning

Image Visibility Image Visibility

Line Height Line Height

1.2

Link Highlight Link Highlight

Text Alignment Text Alignment

Font Size Font Size

1

Letter Spacing Letter Spacing

0

Text Colour Text Colour

Paragraph Width Paragraph Width

0