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 | 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 |
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-K5R50715 - Philosophie histoire des sciences formelles B |
Chemin complet | > Année 2024-2025 > Paris 1 > Philosophie > Master 2 Recherche Logique et philosophie des sciences > Semestre 3 > UE2 Enseignements spécifiques > Philosophie histoire des sciences formelles B |
Élément pédagogique | UP1-C-ELP-K5R50715 - Philosophie histoire des sciences formelles B |
Chemin complet | > Année 2024-2025 > Paris 1 > Philosophie > Master 2 Recherche Logique et philosophie des sciences > Semestre 3 > UE1 Enseignement fondamentaux > Philosophie histoire des sciences formelles B |