Master parcours Littérature et philosophie

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

2- Logique pour non spécialistes (4,5 ECTS)    K4041915

Qu’il s’agisse de définir le contenu empirique d’une théorie, les conditions auxquelles deux théories scientifiques sont équivalentes, encore la nature du raisonnement expérimental, il est difficile d’y voir clair si l’on ne dispose pas de quelques outils logiques. En outre, de nombreux arguments ou doctrines ayant eu un impact considérable en philosophie des sciences aux XXe et XXIe siècles s’appuient sur des concepts, des techniques, ou des résultats relevant de la logique formelle, par exemple le théorème de Beth, pour ce qui concerne les débats sur la réduction de la psychologie aux neurosciences. L’objectif de ce cours est ainsi d’introduire aux concepts, techniques et résultats fondamentaux de la logique classique, et de quelques logiques non classiques, en visant spécifiquement leurs applications en philosophie des sciences. 

Bibliographie indicative

Boolos, Georges, Jeffrey, Richard, et Burgess, John (2007) Computability and Logic, Cambridge, Cambridge University Press.

Halvorson, Hans (2020) How logic works. A user’s guide, Princeton, Princeton University Press.

Halvorson, Hans (2019) The logic in the philosophy of science, Cambridge, Cambridge University Press.

Lepage, François (2010) Éléments de logique contemporaine, Montréal, Presses de l’Université de Montréal.

Priest, Graham (2008) From If to Is. Introduction to non-classical logic, Oxford, Oxford University Press.

Wagner, Pierre (2014) Logique et Philosophie, Paris, Ellipses.

Voir la page complète

Voir la page complète

Voir la page complète

2- Philosophie de la connaissance et du langage   

(parcours Philo. contemporaine) (4,5 ECTS) K4040915

Voir la page complète

1- Philosophie générale des sciences (4.5 ECTS)                                                   K4040315

Histoire et philosophie de la logique et des mathématiques(S1, UE2)

Résumé

L’accent sera mis sur les questions suivantes (entre autres): comment peut-on justifier le rejet d’une loi logique? Ce refus peut-il se fonder uniquement sur des arguments de nature mathématique? Si d’autres arguments, conceptuels et philosophiques, sont en plus nécessaires, quels sont-ils? De la logique et des mathématiques, laquelle de ces deux disciplines est première? Quels rapports entretiennent les notions d’effectivité humaine et de calculabilité mécanique? Etc.

Bibliographie

Des textes, ainsi qu'une bibliographie plus complète, seront donnés sur l'EPI du cours.

Dummett M. Elements of Intuitionism. Clarendon Press.

Largeault J. Intuition et intuitionisme. Vrin. 

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

1- Histoire et philosophie d’une science particulière A :

Une histoire conceptuelle de la théorie de l’évolution

(4,5 ECTS)   K4040715 

Histoire et philosophie d’une science particulière (S1, UE2) : Philosophie de la biologie et de la médecine

Le cours examinera la manière dont l’adoption d’un point de vue théorique oriente l’étude des phénomènes biologiques, la conception du normal et du pathologique, ainsi que les pratiques médicales et les politiques d’intervention en santé publique.

La première partie du cours (M. Mossio) décrira les principes fondamentaux de la théorie de l’autonomie biologique - héritière contemporaine de la tradition organiciste, que l’on fait remonter au moins à Kant - qui caractérise les êtres vivants comme des systèmes autonomes, capables d’exister en établissant “leur propre normes”. On montrera comment penser le vivant par le prisme de l’autonomie revient à adopter un point de vue original sur la question de l’identité, de l’agentivité, de la finalité et de la normativité, ainsi que de l’évolution. 

Dans la seconde partie (A. Soulier), qui portera sur le rôle de la théorie en médecine et en santé publique, nous examinerons en quoi le recours à des théorisations alternatives d’un même phénomène (comme le bien-être, l’incorporation biologique du social ou l’addiction) influence non seulement la recherche mais aussi la prise en charge en clinique et en santé publique. Nous examinerons comment tout au long du continuum qui va du laboratoire à la construction de politiques de santé, les théories qu’elles soient explicitement formulées ou qu’elles interviennent en arrière-plan des choix méthodologiques orientent les pratiques médicales et définissent ultimement ce que nous entendons par “santé”.

Bibliographie

Fassin, D. (2008). Faire de la santé publique. Éditions de l'École des hautes études en santé publique.

Gayon, J. et Ricqlès, Armand de (éd) (2010). Les fonctions : des organismes aux artefacts. Paris, PUF (notamment l’introduction, et les chapitres de la première partie).

Harding, S. G. (Ed.). (1987). Feminism and methodology: Social science issues. Indiana University Press.

Longino, H. E. (2013). Studying human behavior. In Studying Human Behavior. University of Chicago Press.

Moreno, A. et Mossio, M. (2015). Biological Autonomy. Springer. 

Varela, F. (1989). Autonomie et Connaissance. Essai sur le vivant. Seuil.

Voir la page complète

1- Histoire et philosophie d’une science particulière B :

    philosophie des sciences cognitives

    (4,5 ECTS)  K4041715

Philosophie des sciences cognitives

Ce cours propose une introduction au dialogue entre la philosophie et les autres disciplines des sciences cognitives (en particulier la psychologie, les neurosciences et l’anthropologie) à travers l’étude de plusieurs questions controversées qui chacune remettent en cause un aspect de la théorie historiquement dominante de l’esprit. Après une introduction des éléments essentiels de cette théorie, des points de vue méthodologiques qui la sous-tendent, et de certains arguments importants en sa faveur, le cours abordera des problèmes récemment débattus : la question de la modularité du système perceptuel, la question du rôle des représentations dans la cognition, l’architecture de l’esprit humain, le problème dit “du cadre”, et le rôle des structures sociales dans le développement de la cognition humaine.

Éléments de bibliographie :

-Clarke, Andy, Mindware: An Introduction to the Philosophy of Cognitive Science, Oxford University Press, 2014

-Weiskopf, Daniel and Adams, Fred, An Introduction to the Philosophy of Psychology, Cambridge University Press, 2015

-Fisette, Denis et Poirier, Pierre (dir.), Philosophie de l’esprit, Vrin, 2002, 2 vol. (en particulier les textes de Dretske, Fodor et Van Gelder)

-Bermudez, José Luis (dir.), Philosophy of Psychology: Contemporary Readings, Routledge, 2005 (en particulier les textes de Marr, Dennett, Fodor et Carruthers)

-Bermudez, José Luis, Philosophy of Psychology: A Contemporary Introduction, Routledge, 2005

-Andler, Daniel, “Philosophie des sciences cognitives”, in Barberousse, Anick, Bonnay, Denis et Cozic, Michael (dir.), Précis de philosophie des sciences, Vuibert, 2011 (http://andler.dec.ens.fr/pdf/110.pdf)

-Davies, Martin, “An Approach to Philosophy of Cognitive Science” in Jackson, Frank et Smith, Michael (dir.), The Oxford Handbook of Contemporary Philosophy, Oxford University Press, 2005 (http://www.mkdavies.net/Martin_Davies/CogSci_files/CogSciApproach.pdf)

Voir la page complète

Voir la page complète

Voir la page complète

1- Philosophie générale des sciences (5 ECTS)      K4040115

Philosophie générale des sciences (S1, UE1)

Concepts fondamentaux de la philosophie des sciences

Ce cours de philosophie des sciences introduit à certaines problématiques classiques de la discipline, aussi bien épistémologiques que métaphysiques : l’explication et les lois, la causalité, le réalisme scientifique, les genres naturels. Il abordera pour finir des questions relatives aux valeurs en sciences, et la différence entre science en train de se faire et littérature scientifique, en considérant les échanges entre histoire des sciences post-kuhnienne et philosophie analytique des sciences. Il vise ainsi à expliquer pourquoi la science est la plus fiable source de savoir sur la réalité, et en même temps pourquoi la position scientiste est radicalement fausse.

Evaluation

Mini mémoire sur un sujet relatif au cours, choisi avec l’accord de l’enseignant. 

Bibliographie :

• Anouk Barberousse, Denis Bonnay et Mikael Cozic, Précis de philosophie des sciences, Vuibert 2011.
• Anouk Barberousse, Max Kistler, Pascal Ludwig, La philosophie des sciences au XXe siècle, Flammarion, Collection Champs Université, 2000.
• Carl Hempel, Philosophy of Natural Science, Prentice Hall, 1966, trad. Eléments d'épistémologie, A. Colin, 1972.
• Philippe Hunema Pourquoi ? Une question pour découvrir le monde. Paris : Flammarion, 2020
• Thierry Hoquet, Francesca Merlin (dirs.) Précis de philosophie de la biologie. Paris: Vuibert, 2016
• Heather Douglas. “Inductive Risk’“. Philosophy of science, 2000
• Marion Vorms. Qu’est ce qu’une théorie scientifique. Paris, Vuibert, 2015
• Isabelle Drouet. Causalité et inférence. Paris, Vuibert, 2016.

Voir la page complète

Voir la page complète

Voir la page complète

3- Théorie de la calculabilité (3 ECTS)   K4041515

Dans ce cours on se propose d’étudier, d’un point de vue formel, des notions comme celles de calcul et d’algorithme. Plus précisément, il s’agira de fournir une analyse logico-mathématique de notions qui concernent l’exécution d’une action de manière purement mécanique, c’est-à-dire sans faire appel à des formes d’intuition ou d’ingéniosité quelconques. Les instruments privilégiés pour poursuivre cette étude seront les fonctions récursives, suivant la tradition de K. Gödel et S.C. Kleene. Après avoir défini la classe de ces fonctions, on démontrera des théorèmes qui les concernent. D’une part, on établira des résultats positifs, comme la possibilité de ramener chacune de ces fonctions à une certaine forme normale, en donnant ainsi la possibilité d’avoir un modèle abstrait et universel de représentation des processus mécaniques de calcul. De l’autre, on établira des résultats négatifs – ou mieux limitatifs –, comme l’impossibilité de décider à l’avance si chaque processus mécanique s’arrêtera ou pas.

Bibliographie : 

• Polycopié distribué en cours, couvrant l’ensemble du programme et contenant une sélection d’exercices.
• Boolos, G., Burgess, J. & Jeffrey, R. (2007). Computability and Logic (5ème édition). Cambridge: Cambridge University Press.
• van Dalen, D. (2001). Algorithms and decision problems: A crash course in recursion theory. Dans D.M. Gabbay et F. Guenthner (dir.), Handbook of Philosophical Logic (2ème édition), Vol. 1, p. 245-311. Dordrecht: Kluwer. 
• van Dalen, D. (2004). Logic and Structure (5ème édition). Berlin: Springer (chap. 8).
• Epstein, R.L. & Carnielli, W.A. (2008). Computability: Computable functions, logic and the foundations of mathematics (3ème édition). Socorro (New Mexico): Advanced Reasoning Forum.
• Odifreddi, P. & Cooper, B. (2012). “Recursive functions”. Dans E.N. Zalta (dir.), The Stanford Encyclopedia of Philosophy, <http://plato.stanford.edu/entries/recursive-functions/>.
• Odifreddi, P. (1989). Classical Recursion Theory. Amsterdam: Elsevier.
• Rogers, H. (1987). Theory of Recursive Functions and Effective Computability. Cambridge (Mass.): MIT Press.

       Terwijn, S. (2008). Éléments de théorie de la calculabilité, trad. fr. M. Cadilhac, manuscrit, <http://www.math.ru.nl/~terwijn/publications/syllabus_fr.pdf>.

Voir la page complète

2- Théorie de la démonstration (3 ECTS)    K4041315

Résumé 

Variantes et fragments de la déduction naturelle classique du premier ordre. Propriétés des preuves sans coupures. Elimination des coupures et applications : démonstrations de cohérence et d'indépendance, constructivité (le cas intuitionniste: arithmétique de Heyting ; aspects constructifs de la logique classique : déduction naturelle multi-conclusions).

Bibliographie

Un polycopié et des exercices seront donnés sur l'EPI du cours. 

David R., Nour K., Raffalli C., Introduction à la logique : Théorie de la démonstration, Dunod, Paris,2001. 

Negri S., von Plato J., Structural proof theory, Cambridge University Press, 2001.

Prawitz D., Natural Deduction, Almquist et Wiksell, Stockholm, 1965. Réédition Courier Dover Publications, 2006. 

Voir la page complète

2- Théorie des ensembles (4,5 ECTS)   K4040515

Théorie des ensembles (S1, UE2)

Au cours du 19e siècle, une crise profonde toucha les mathématiques dans leurs fondements, soulevant plusieurs questions concernant la nature de cette discipline et le statut ontologique de ses entités. Cela a engendré le programme de Hilbert envisageant une axiomatisation complète des mathématiques. Dans le cours, nous présenterons l’univers ensembliste développé par Cantor à travers lequel certaines  réponses  ont été envisagées.

La théorie des ensembles est en fait la science de l’infini ou au moins de sa manifestation mathématique. Nous analyserons notamment les infinis différents ( !), la construction des ordinaux et des cardinaux, ainsi que leurs arithmétiques, dont la distinction est exigée dans le cas infini. Aux travaux précurseurs de Cantor succédèrent plusieurs tentatives de formalisation de la théorie des ensembles. Nous verrons les motivations à la source de ces entreprises,  puis étudierons la plus célèbre : l’axiomatique de Zermelo-Fraenkel, en portant un regard attentif sur l’axiome du choix, un axiome à l’efficacité mathématique indéniable mais à la légitimité parfois contestée.

Bibliographie

• K. J. B. Devlin, The joy of sets : Fundamentals of contemporary set theory. Springer, 1993.
• Patrick Dehornoy, Théorie des ensembles, Introduction à une théorie de l’infini et des grans cardinaux, Calvage et Mounet, 2017.
• Mirna Džamonja, Théorie des ensembles pour les philosophes, Éd. universitaire européenne, 2017.
• Mirna Džamonja, Fast Track to Forcing, Cambridge University Press, 2020.
• H. B. Enderton, Elements of set theory. Academic Press, 1977.

Voir la page complète

2- Théorie des modéles (3 ECTS)   K4041115

Ce cours propose d’introduire à la théorie des modèles classique. L’approche dite « modèle-théorique » de la logique classique vise à caractériser les structures qui satisfont les théories du premier ordre de manière à pouvoir les comparer (en l’occurrence leurs propriétés sémantiques et mathématiques, comme leur expressivité, leur nombre, leur taille, etc.). Tout à fin de mieux les classer et de comprendre leur globalité. Dans ce cours, nous partirons d’un langage interprété pour la logique du premier ordre, présenterons un théorème de complétude dans ce cadre, puis étudierons les résultats les plus fondamentaux, positifs ou négatifs, de la théorie des modèles classique : définissabilité, compacité, théorème de Löwenhein-Skolem et ses conséquences, interpolation, caractérisation de Lindström, etc.

Bibliographie indicative:

-C.C Chang and H.J Keisler, Model Theory, 3rd Ed., Dover Books 2012
-Wilfrid Hodges, A Shorter Model Theory, Cambridge University Press, 1997. 
-Jouko Väänänen, Models and Games, Cambridge University Press, 2011

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

2- Logique pour non spécialistes (4,5 ECTS)    K4041915

Qu’il s’agisse de définir le contenu empirique d’une théorie, les conditions auxquelles deux théories scientifiques sont équivalentes, encore la nature du raisonnement expérimental, il est difficile d’y voir clair si l’on ne dispose pas de quelques outils logiques. En outre, de nombreux arguments ou doctrines ayant eu un impact considérable en philosophie des sciences aux XXe et XXIe siècles s’appuient sur des concepts, des techniques, ou des résultats relevant de la logique formelle, par exemple le théorème de Beth, pour ce qui concerne les débats sur la réduction de la psychologie aux neurosciences. L’objectif de ce cours est ainsi d’introduire aux concepts, techniques et résultats fondamentaux de la logique classique, et de quelques logiques non classiques, en visant spécifiquement leurs applications en philosophie des sciences. 

Bibliographie indicative

Boolos, Georges, Jeffrey, Richard, et Burgess, John (2007) Computability and Logic, Cambridge, Cambridge University Press.

Halvorson, Hans (2020) How logic works. A user’s guide, Princeton, Princeton University Press.

Halvorson, Hans (2019) The logic in the philosophy of science, Cambridge, Cambridge University Press.

Lepage, François (2010) Éléments de logique contemporaine, Montréal, Presses de l’Université de Montréal.

Priest, Graham (2008) From If to Is. Introduction to non-classical logic, Oxford, Oxford University Press.

Wagner, Pierre (2014) Logique et Philosophie, Paris, Ellipses.

Voir la page complète

Voir la page complète

Voir la page complète

2- Philosophie de la connaissance et du langage   

(parcours Philo. contemporaine) (4,5 ECTS) K4040915

Voir la page complète

1- Philosophie générale des sciences (4.5 ECTS)                                                   K4040315

Histoire et philosophie de la logique et des mathématiques(S1, UE2)

Résumé

L’accent sera mis sur les questions suivantes (entre autres): comment peut-on justifier le rejet d’une loi logique? Ce refus peut-il se fonder uniquement sur des arguments de nature mathématique? Si d’autres arguments, conceptuels et philosophiques, sont en plus nécessaires, quels sont-ils? De la logique et des mathématiques, laquelle de ces deux disciplines est première? Quels rapports entretiennent les notions d’effectivité humaine et de calculabilité mécanique? Etc.

Bibliographie

Des textes, ainsi qu'une bibliographie plus complète, seront donnés sur l'EPI du cours.

Dummett M. Elements of Intuitionism. Clarendon Press.

Largeault J. Intuition et intuitionisme. Vrin. 

Voir la page complète

Voir la page complète

Voir la page complète

1- Histoire et philosophie d’une science particulière A :

Une histoire conceptuelle de la théorie de l’évolution

(4,5 ECTS)   K4040715 

Histoire et philosophie d’une science particulière (S1, UE2) : Philosophie de la biologie et de la médecine

Le cours examinera la manière dont l’adoption d’un point de vue théorique oriente l’étude des phénomènes biologiques, la conception du normal et du pathologique, ainsi que les pratiques médicales et les politiques d’intervention en santé publique.

La première partie du cours (M. Mossio) décrira les principes fondamentaux de la théorie de l’autonomie biologique - héritière contemporaine de la tradition organiciste, que l’on fait remonter au moins à Kant - qui caractérise les êtres vivants comme des systèmes autonomes, capables d’exister en établissant “leur propre normes”. On montrera comment penser le vivant par le prisme de l’autonomie revient à adopter un point de vue original sur la question de l’identité, de l’agentivité, de la finalité et de la normativité, ainsi que de l’évolution. 

Dans la seconde partie (A. Soulier), qui portera sur le rôle de la théorie en médecine et en santé publique, nous examinerons en quoi le recours à des théorisations alternatives d’un même phénomène (comme le bien-être, l’incorporation biologique du social ou l’addiction) influence non seulement la recherche mais aussi la prise en charge en clinique et en santé publique. Nous examinerons comment tout au long du continuum qui va du laboratoire à la construction de politiques de santé, les théories qu’elles soient explicitement formulées ou qu’elles interviennent en arrière-plan des choix méthodologiques orientent les pratiques médicales et définissent ultimement ce que nous entendons par “santé”.

Bibliographie

Fassin, D. (2008). Faire de la santé publique. Éditions de l'École des hautes études en santé publique.

Gayon, J. et Ricqlès, Armand de (éd) (2010). Les fonctions : des organismes aux artefacts. Paris, PUF (notamment l’introduction, et les chapitres de la première partie).

Harding, S. G. (Ed.). (1987). Feminism and methodology: Social science issues. Indiana University Press.

Longino, H. E. (2013). Studying human behavior. In Studying Human Behavior. University of Chicago Press.

Moreno, A. et Mossio, M. (2015). Biological Autonomy. Springer. 

Varela, F. (1989). Autonomie et Connaissance. Essai sur le vivant. Seuil.

Voir la page complète

1- Histoire et philosophie d’une science particulière B :

    philosophie des sciences cognitives

    (4,5 ECTS)  K4041715

Philosophie des sciences cognitives

Ce cours propose une introduction au dialogue entre la philosophie et les autres disciplines des sciences cognitives (en particulier la psychologie, les neurosciences et l’anthropologie) à travers l’étude de plusieurs questions controversées qui chacune remettent en cause un aspect de la théorie historiquement dominante de l’esprit. Après une introduction des éléments essentiels de cette théorie, des points de vue méthodologiques qui la sous-tendent, et de certains arguments importants en sa faveur, le cours abordera des problèmes récemment débattus : la question de la modularité du système perceptuel, la question du rôle des représentations dans la cognition, l’architecture de l’esprit humain, le problème dit “du cadre”, et le rôle des structures sociales dans le développement de la cognition humaine.

Éléments de bibliographie :

-Clarke, Andy, Mindware: An Introduction to the Philosophy of Cognitive Science, Oxford University Press, 2014

-Weiskopf, Daniel and Adams, Fred, An Introduction to the Philosophy of Psychology, Cambridge University Press, 2015

-Fisette, Denis et Poirier, Pierre (dir.), Philosophie de l’esprit, Vrin, 2002, 2 vol. (en particulier les textes de Dretske, Fodor et Van Gelder)

-Bermudez, José Luis (dir.), Philosophy of Psychology: Contemporary Readings, Routledge, 2005 (en particulier les textes de Marr, Dennett, Fodor et Carruthers)

-Bermudez, José Luis, Philosophy of Psychology: A Contemporary Introduction, Routledge, 2005

-Andler, Daniel, “Philosophie des sciences cognitives”, in Barberousse, Anick, Bonnay, Denis et Cozic, Michael (dir.), Précis de philosophie des sciences, Vuibert, 2011 (http://andler.dec.ens.fr/pdf/110.pdf)

-Davies, Martin, “An Approach to Philosophy of Cognitive Science” in Jackson, Frank et Smith, Michael (dir.), The Oxford Handbook of Contemporary Philosophy, Oxford University Press, 2005 (http://www.mkdavies.net/Martin_Davies/CogSci_files/CogSciApproach.pdf)

Voir la page complète

Voir la page complète

Voir la page complète

1- Philosophie générale des sciences (5 ECTS)      K4040115

Philosophie générale des sciences (S1, UE1)

Concepts fondamentaux de la philosophie des sciences

Ce cours de philosophie des sciences introduit à certaines problématiques classiques de la discipline, aussi bien épistémologiques que métaphysiques : l’explication et les lois, la causalité, le réalisme scientifique, les genres naturels. Il abordera pour finir des questions relatives aux valeurs en sciences, et la différence entre science en train de se faire et littérature scientifique, en considérant les échanges entre histoire des sciences post-kuhnienne et philosophie analytique des sciences. Il vise ainsi à expliquer pourquoi la science est la plus fiable source de savoir sur la réalité, et en même temps pourquoi la position scientiste est radicalement fausse.

Evaluation

Mini mémoire sur un sujet relatif au cours, choisi avec l’accord de l’enseignant. 

Bibliographie :

• Anouk Barberousse, Denis Bonnay et Mikael Cozic, Précis de philosophie des sciences, Vuibert 2011.
• Anouk Barberousse, Max Kistler, Pascal Ludwig, La philosophie des sciences au XXe siècle, Flammarion, Collection Champs Université, 2000.
• Carl Hempel, Philosophy of Natural Science, Prentice Hall, 1966, trad. Eléments d'épistémologie, A. Colin, 1972.
• Philippe Hunema Pourquoi ? Une question pour découvrir le monde. Paris : Flammarion, 2020
• Thierry Hoquet, Francesca Merlin (dirs.) Précis de philosophie de la biologie. Paris: Vuibert, 2016
• Heather Douglas. “Inductive Risk’“. Philosophy of science, 2000
• Marion Vorms. Qu’est ce qu’une théorie scientifique. Paris, Vuibert, 2015
• Isabelle Drouet. Causalité et inférence. Paris, Vuibert, 2016.

Voir la page complète

Voir la page complète

3- Théorie de la calculabilité (3 ECTS)   K4041515

Dans ce cours on se propose d’étudier, d’un point de vue formel, des notions comme celles de calcul et d’algorithme. Plus précisément, il s’agira de fournir une analyse logico-mathématique de notions qui concernent l’exécution d’une action de manière purement mécanique, c’est-à-dire sans faire appel à des formes d’intuition ou d’ingéniosité quelconques. Les instruments privilégiés pour poursuivre cette étude seront les fonctions récursives, suivant la tradition de K. Gödel et S.C. Kleene. Après avoir défini la classe de ces fonctions, on démontrera des théorèmes qui les concernent. D’une part, on établira des résultats positifs, comme la possibilité de ramener chacune de ces fonctions à une certaine forme normale, en donnant ainsi la possibilité d’avoir un modèle abstrait et universel de représentation des processus mécaniques de calcul. De l’autre, on établira des résultats négatifs – ou mieux limitatifs –, comme l’impossibilité de décider à l’avance si chaque processus mécanique s’arrêtera ou pas.

Bibliographie : 

• Polycopié distribué en cours, couvrant l’ensemble du programme et contenant une sélection d’exercices.
• Boolos, G., Burgess, J. & Jeffrey, R. (2007). Computability and Logic (5ème édition). Cambridge: Cambridge University Press.
• van Dalen, D. (2001). Algorithms and decision problems: A crash course in recursion theory. Dans D.M. Gabbay et F. Guenthner (dir.), Handbook of Philosophical Logic (2ème édition), Vol. 1, p. 245-311. Dordrecht: Kluwer. 
• van Dalen, D. (2004). Logic and Structure (5ème édition). Berlin: Springer (chap. 8).
• Epstein, R.L. & Carnielli, W.A. (2008). Computability: Computable functions, logic and the foundations of mathematics (3ème édition). Socorro (New Mexico): Advanced Reasoning Forum.
• Odifreddi, P. & Cooper, B. (2012). “Recursive functions”. Dans E.N. Zalta (dir.), The Stanford Encyclopedia of Philosophy, <http://plato.stanford.edu/entries/recursive-functions/>.
• Odifreddi, P. (1989). Classical Recursion Theory. Amsterdam: Elsevier.
• Rogers, H. (1987). Theory of Recursive Functions and Effective Computability. Cambridge (Mass.): MIT Press.

       Terwijn, S. (2008). Éléments de théorie de la calculabilité, trad. fr. M. Cadilhac, manuscrit, <http://www.math.ru.nl/~terwijn/publications/syllabus_fr.pdf>.

Voir la page complète

2- Théorie de la démonstration (3 ECTS)    K4041315

Résumé 

Variantes et fragments de la déduction naturelle classique du premier ordre. Propriétés des preuves sans coupures. Elimination des coupures et applications : démonstrations de cohérence et d'indépendance, constructivité (le cas intuitionniste: arithmétique de Heyting ; aspects constructifs de la logique classique : déduction naturelle multi-conclusions).

Bibliographie

Un polycopié et des exercices seront donnés sur l'EPI du cours. 

David R., Nour K., Raffalli C., Introduction à la logique : Théorie de la démonstration, Dunod, Paris,2001. 

Negri S., von Plato J., Structural proof theory, Cambridge University Press, 2001.

Prawitz D., Natural Deduction, Almquist et Wiksell, Stockholm, 1965. Réédition Courier Dover Publications, 2006. 

Voir la page complète

2- Théorie des ensembles (4,5 ECTS)   K4040515

Théorie des ensembles (S1, UE2)

Au cours du 19e siècle, une crise profonde toucha les mathématiques dans leurs fondements, soulevant plusieurs questions concernant la nature de cette discipline et le statut ontologique de ses entités. Cela a engendré le programme de Hilbert envisageant une axiomatisation complète des mathématiques. Dans le cours, nous présenterons l’univers ensembliste développé par Cantor à travers lequel certaines  réponses  ont été envisagées.

La théorie des ensembles est en fait la science de l’infini ou au moins de sa manifestation mathématique. Nous analyserons notamment les infinis différents ( !), la construction des ordinaux et des cardinaux, ainsi que leurs arithmétiques, dont la distinction est exigée dans le cas infini. Aux travaux précurseurs de Cantor succédèrent plusieurs tentatives de formalisation de la théorie des ensembles. Nous verrons les motivations à la source de ces entreprises,  puis étudierons la plus célèbre : l’axiomatique de Zermelo-Fraenkel, en portant un regard attentif sur l’axiome du choix, un axiome à l’efficacité mathématique indéniable mais à la légitimité parfois contestée.

Bibliographie

• K. J. B. Devlin, The joy of sets : Fundamentals of contemporary set theory. Springer, 1993.
• Patrick Dehornoy, Théorie des ensembles, Introduction à une théorie de l’infini et des grans cardinaux, Calvage et Mounet, 2017.
• Mirna Džamonja, Théorie des ensembles pour les philosophes, Éd. universitaire européenne, 2017.
• Mirna Džamonja, Fast Track to Forcing, Cambridge University Press, 2020.
• H. B. Enderton, Elements of set theory. Academic Press, 1977.

Voir la page complète

2- Théorie des modéles (3 ECTS)   K4041115

Ce cours propose d’introduire à la théorie des modèles classique. L’approche dite « modèle-théorique » de la logique classique vise à caractériser les structures qui satisfont les théories du premier ordre de manière à pouvoir les comparer (en l’occurrence leurs propriétés sémantiques et mathématiques, comme leur expressivité, leur nombre, leur taille, etc.). Tout à fin de mieux les classer et de comprendre leur globalité. Dans ce cours, nous partirons d’un langage interprété pour la logique du premier ordre, présenterons un théorème de complétude dans ce cadre, puis étudierons les résultats les plus fondamentaux, positifs ou négatifs, de la théorie des modèles classique : définissabilité, compacité, théorème de Löwenhein-Skolem et ses conséquences, interpolation, caractérisation de Lindström, etc.

Bibliographie indicative:

-C.C Chang and H.J Keisler, Model Theory, 3rd Ed., Dover Books 2012
-Wilfrid Hodges, A Shorter Model Theory, Cambridge University Press, 1997. 
-Jouko Väänänen, Models and Games, Cambridge University Press, 2011

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

1- Complétude et indécidabilité (3 ECTS) K4041215 

Le but de ce cours est de démontrer plusieurs théorèmes célèbres d'incomplétude et d'indécidabilité et d'en discuter l'interprétation et les conséquences philosophiques.

Le cœur du cours consiste en la démonstration de deux théorèmes importants : le premier théorème d'incomplétude de Gödel (qui affirme en substance que toute théorie axiomatique de l'arithmétique qui est cohérente et « suffisamment forte » est incomplète, au sens où il existe des énoncés de son langage qu'elle ne permet ni de démontrer ni de réfuter), et un théorème d'indécidabilité apparenté (d'après lequel toute théorie vérifiant les hypothèses précédentes est indécidable, au sens où il n'existe pas de procédure algorithmique permettant, étant donné un énoncé de son langage, de déterminer en un temps fini si celui-ci y est ou n'y est pas démontrable). La démonstration de ces théorèmes est très instructive et introduit des idées et outils essentiels en logique mathématique, qui, entre autres, font le lien entre étude des systèmes formels et théorie de la calculabilité. 

Nous aborderons également le second théorème d'incomplétude de Gödel et le théorème d'indéfinissabilité de la vérité de Tarski, et discuterons la signification et la portée des résultats démontrés.

Quoique ce ne soit pas absolument indispensable (quelques rappels seront fournis), une familiarité préalable avec la théorie de la calculabilité, qui fait l'objet d'un cours au premier semestre, est recommandée. Des notes de cours seront fournies.

Indications bibliographiques

Smith, Peter. An Introduction to Gödel's Theorems. 2e édition, Cambridge : CUP, 2013.

Cori, René et Lascar, Daniel. Logique mathématique, vol. 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Paris : Dunod, 2003.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

1- Logique des modalités K4040415

Logique des modalités (S2, UE2)

Résumé 

Le terme logique modale est aujourd’hui employé pour indiquer une domaine d’investigation très vaste et très varié.  Dans ce domaine on a pourtant isolé

un certain nombre de systèmes qui représentent la base et le fondement de tout étude concernant la logique modale. Nous allons analyser ces systèmes dans le détail. 

- d’un point de vue formel, nous allons étudier les principaux systèmes de logique modale à travers trois diverses formalisations : les axiomes à la Hilbert, la sémantique de mondes possibles et les systèmes de preuves. Nous allons examiner les relations entre ces trois différentes formalisations et nous allons aussi mettre en relief le lien avec la logique du premier ordre.

- d’un point de vue conceptuel, nous allons introduire les principales interprétations liées à nos systèmes de logique modale. Nous allons commencer par le concept de nécessité et de possibilité, puis nous allons nous arrêter sur une interprétation en termes d’obligation et de permission. Finalement nous allons consacrer une analyse approfondie à une interprétation épistémique, c’est-à-dire en termes de connaissance et de croyance. Cette dernière interprétation nous permettra de dire quelques mots sur les derniers développements de logique modale, à savoir la logique dynamique.

Bibliographie

1. Blackburn, M. de Rijke, et Y. Venema.  Modal Logic. Cambridge University Press,  2001.
2. van Ditmarsch,  W. van der Hoek, et B. Kooi.  Dynamic Epistemic Logic. Springer, 2008.
3. Fitting et R. L. Mendelsohn.  First-Order Modal Logic. Springer, 1998
4. E. Hughes et M. J. Cresswell.  A New Introduction to Modal Logic. Routledge,  1996
5. Garson,  Modal Logic, The Stanford Encyclopedia of Philosophy (Spring 2016 Edition), Edward N. Zalta (ed.)
6. Poggiolesi. Gentzen Calculi for Modal Propositional Logic. Springer, 2010.

Voir la page complète

1- Logique et fondements de l’informatique (3 ECTS) K4041415

Voir la page complète

Voir la page complète

1- Philosophie de la connaissance et du langage

(cours du parcours Philosophie contemporaine).

K4040615

Cours de mise à niveau : "Histoire de la philosophie : introduction au problème de la connaissance"

Le cours de mise à niveau en philosophie s’adresse aux étudiant(e)s qui souhaitent s’inscrire en  Master 2 « LoPhiSC » alors qu’ils n’ont pas suivi le cursus classique, de la licence au Master 1 de philosophie ; il s’agit notamment des étudiant(e)s d’origine scientifique ou qui ont un parcours en histoire de l’art. L’objectif est de fournir aux étudiant(e)s concernés les éléments de base d’un cours d’histoire de la philosophie et de philosophie générale. Ce cours est organisé en une série de leçons au cours desquelles nous examinons quelques-uns des principaux systèmes de philosophie et nous introduisons et analysons un choix de problèmes classiques en philosophie. Sont également offerts dans cet enseignement une initiation à la recherche bibliographique en philosophie, une formation aux exercices classiques de la réflexion philosophique (dissertation philosophique, explication de textes). Certaines séances sont consacrées à des exercices pratiques effectués à partir de sujets de philosophie générale. On demande aux étudiant(e)s de lire une liste limitée mais significative d’œuvres majeures tirées de l’histoire de la philosophie. Les étudiant(e)s rédigent dissertations et commentaires de textes qui font l’objet d’une évaluation. 

Cet enseignement de mise à niveau en philosophie est aussi le lieu où les étudiant(e)s peuvent poser toutes sortes de questions relatives à des points qu’ils ne maîtrisent pas et qui seraient présupposés dans les séminaires de master 2 qu’ils suivent par ailleurs. À titre indicatif, voici quelques-uns des sujets qui ont été abordés au cours des séances données les années précédentes : 

- Physis et culture grecque : les Présocratiques 

- Méthode et sagesse socratique 

- Science et dialectique chez Platon 

- L’âme, le vivant selon Aristote 

- Science et métaphysique chez Descartes 

- Déterminisme et liberté : Spinoza, Leibniz 

- La révolution copernicienne en philosophie : Kant

- Idée de progrès et philosophies de l'histoire : Condorcet, Hegel 

- La philosophie comme thérapeutique selon Wittgenstein 

- Le rationalisme critique de Popper 

- Canguilhem et l'histoire des sciences 

- Foucault et l'archéologie du savoir ; etc... 

Bibliographie

Des indications bibliographiques détaillées seront données au début de ce cours. Nous conseillons aux étudiant(e)s de lire, dès avant le début du cours, quelques-uns des livres suivants, que nous indiquons à titre d’exemples d’ouvrages particulièrement adaptés aux premières séances de ce travail de mise à niveau en philosophie : 

• Hadot, Pierre, Qu’est-ce que la philosophie antique ? Paris, Gallimard, Folio-essais, 1995.
• Collectif, Un siècle de philosophie. 1900-2000, Paris, Gallimard, Folio-essais, 2000.
• Les Présocratiques, Pléiade, Gallimard, 1988.

Platon, L’apologie de Socrate, Paris, Garnier-Flammarion.

Voir la page complète

Voir la page complète

Voir la page complète

1- Histoire et philosophie d’une science particulière C :

philosophie de la biologie

(6 ECTS) K4041015

Analyse philosophique de la relation nature-nurture dans les sciences biomédicales : dichotomie ou interdépendance ?

Quel est la part des gènes et de l’environnement, de l’innée et de l’acquis, dans la construction d’un organisme vivant ? Autrement dit, quelle est la contribution de la nature et de la nurture (culture) dans la détermination de ce qu’il est ?  Dans ce cours nous développerons une analyse philosophique de la relation entre nature et nurture dans les sciences biologiques et médicales à partir de la moitié du XIXe siècle jusqu’à aujourd’hui. Notre objectif sera d’évaluer la pertinence de ces questions, de saisir la signification et le rôle épistémologique de chacun de ces deux concepts au sein des théories et modèles, et l’évolution de leur relation par rapport aux avancées des sciences biologiques et médicales, tout particulièrement dans l’étude du développement et du comportement humains. Nous nous interrogerons aussi sur les enjeux soulevés par la relation nature-nurture dans la sphère sociétale, et sur comment sa conception peut avoir un impact dans les débats sur l’origine de certains traits et comportements humains tels que les capacités cognitives ou l’agressivité. 

Quelques éléments bibliographiques :

Keller, E. F. (2010). The mirage of a space between nature and nurture. Duke University Press.

Lock, M. M., & Palsson, G. (2016). Can science resolve the nature/nurture debate?. John Wiley & Sons.

Paul, D. B. (1998). The politics of heredity: Essays on eugenics, biomedicine, and the nature-nurture debate. SUNY press.

Pigliucci, M. (2001). Phenotypic plasticity: beyond nature and nurture. JHU Press.Tabery, J. (2014). Beyond versus: The struggle to understand the interaction of nature and nurture. MIT Press.

Voir la page complète

1- Histoire et philosophie d’une science particulière D :

philosophie de la physique

(6 ECTS) K4040815

Philosophie de la physique

Dans ce cours d’introduction à la philosophie de la physique, nous nous intéresserons à différents problèmes soulevés par la physique contemporaine, et en particulier par la théorie de la relativité, la mécanique quantique et la physique statistique. Nous aborderons notamment les questions suivantes : Quelle est la nature de l’espace et du temps ? Qu’est-ce que l’espace-temps ? Comment doit-on concevoir la matière ? Comment interpréter la mécanique quantique ? Peut-on expliquer la flèche du temps ? Qu’est-ce que le déterminisme en physique ? 

Bibliographie

• Albert, D. Quantum Mechanics and Experience. Harvard University Press 1992.
• Barberousse, A., « Philosophie de la Physique » in, Précis de philosophie des sciences (dir. Barberousse, Bonnay, Cozic), Vuibert, 2011.
• Boyer-Kassem, T., Qu’est-ce que la mécanique quantique ? Vrin, 2015.
• Einstein, A., La Théorie de la relativité restreinte et générale, Dunod, 2000.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

1- Théorie de la connaissance (6 ECTS) K4040215

Raisonnement scientifique et raisonnement judiciaire : données, hypothèses, preuves

Comment, sur la base d’un ensemble de données initialement disparates, en vient-on à formuler, élaborer, et finalement à adopter — au moins temporairement — des hypothèses ? À partir de quel moment est-il légitime de considérer que les données parlent suffisamment en faveur d’une certaine hypothèse pour accepter cette dernière, et en rejeter d’autres ? Quelle(s) décision(s), théorique(s) ou pratique(s) une telle acceptation implique-t-elle ?

La théorie de la connaissance, quand elle traite de ces questions, se concentre presque exclusivement sur l’enquête scientifique : le cœur des théories dites « de la confirmation » consiste ainsi à élucider la manière dont les théories scientifiques sont soutenues par les données empiriques. L’objectif de ce cours est d’aborder un ensemble de questions relatives au raisonnement sur la base de données ou raisonnement probatoire (evidential reasoning) par le biais d’une analyse comparée entre raisonnement scientifique et raisonnement judiciaire. Plus précisément, il vise à éclairer d’un nouveau jour certains aspects du raisonnement scientifique au moyen d’une étude du raisonnement probatoire dans le domaine judiciaire, depuis l’enquête criminelle jusqu’au jugement rendu par le juge ou le jury — étude qui puisera des éléments de réflexion aussi bien en droit français qu’en Common Law.

Après avoir rappelé quelques éléments fondamentaux des théories de la confirmation (problème de l’induction, approche hypothéthico-déductive, approche bayésienne), on abordera en particulier les thèmes suivants :

1. La notion de donnée : que nous enseigne à ce sujet la réflexion juridique sur les différents types de preuve (testimoniale, tangible, scientifique, etc.), leur crédibilité, leur pertinence, leur admissibilité ?
2.  L’acceptation des hypothèses : que nous enseignent les différents types de standards de preuve (ou de règles de conviction) en usage selon les juridictions, les notions de charge de la preuve et de présomptions, sur l’acceptation des hypothèses scientifiques (et en particulier la notion significativité statistique en science) ? Comment les seuils d’acceptation des hypothèses varient-ils selon le contexte — juridique ou scientifique ? Comment, de ce point de vue, la réflexion sur le juridique permet-elle de repenser le rôle des valeurs dans l’enquête scientifique ?
3. Le statut du témoignage et le rôle des experts : que nous enseigne une analyse du témoignage au tribunal, et plus particulièrement de celui des experts et des recommandations qui leur sont faites (notamment en ce qui concerne l’expression de résultats statistiques) sur la communication de l’incertitude, et plus généralement le statut de la parole publique des scientifiques ?

Le cours s’appuiera sur des articles et ouvrages de philosophie, ainsi que sur des sources juridiques. La bibliographie ci-dessous concerne presque exclusivement les références philosophiques.

Bibliographie

• Bouchard, F. (2016). “The Roles of Institutional Trust and Distrust in Grounding Rational Deference to Scientific Expertise”, Perspectives on Science, vol. 24 (5) : 582-608.
• Cohen L. J. (2002). Should a jury say what it believes or what it accepts? In Knowledge and language. Selected Essays of L. Jonathan Cohen. Boston studies in the philosophy of science (Vol. 227), ed. and with an introduction by James Logue. Springer.
• Cozic, M. "Confirmation et induction", Précis de philosophie des sciences, Vuibert.
• Douglas, Heather. (2008), “The Role of Values in Expert Reasoning.” Public Affairs Quarterly 22 (1): 1–18.
• Earman, J. et Salmon, W. (1999). “The confirmation of scientific hypotheses”, in Salmon M. et al. Introduction to the philosophy of science, Indianapolis & Cambridge: Hackett publishers. 
• Friedman, J. (2017). Why suspend judging? Noûs, 51(2), 302–326.
• Gelfert, A. (2014). A Critical Introduction to Testimony (London: Bloomsbury Publishing).
• Goldman, Alvin. 2001. “Experts: Which Ones Should You Trust?”, Philosophy and Phenomenological research, 63:1, 85-110
• Hardwig, John (1985). "Epistemic Dependence," Journal of Philosophy 82: 335-49.
• Hempel, Carl. (1965). “Science and Human values”, Aspects of scientific explanation and other essays in the philosophy of science
• Howson, C. et Urbach, P. (1993). Scientific Reasoning: The Bayesian Approach, 2nd edition. Chicago: Open Court.
• John, S. (2011). “Expert Testimony and Epistemological Free-Riding: The MME Controversy”, The Philosophical Quarterly 61: 496–517.
• John, Stephen. (2015). “The example of the IPCC does not vindicate the value free ideal”, Synthese.
• Picinali, Federico. (2013). Two Meanings of 'Reasonableness': dispelling the 'floating' Reasonable Doubt, The Modern Law Review.
• Roberts, P. et Zuckerman, A. (2010). Criminal evidence, Oxford University Press.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

1- Complétude et indécidabilité (3 ECTS) K4041215 

Le but de ce cours est de démontrer plusieurs théorèmes célèbres d'incomplétude et d'indécidabilité et d'en discuter l'interprétation et les conséquences philosophiques.

Le cœur du cours consiste en la démonstration de deux théorèmes importants : le premier théorème d'incomplétude de Gödel (qui affirme en substance que toute théorie axiomatique de l'arithmétique qui est cohérente et « suffisamment forte » est incomplète, au sens où il existe des énoncés de son langage qu'elle ne permet ni de démontrer ni de réfuter), et un théorème d'indécidabilité apparenté (d'après lequel toute théorie vérifiant les hypothèses précédentes est indécidable, au sens où il n'existe pas de procédure algorithmique permettant, étant donné un énoncé de son langage, de déterminer en un temps fini si celui-ci y est ou n'y est pas démontrable). La démonstration de ces théorèmes est très instructive et introduit des idées et outils essentiels en logique mathématique, qui, entre autres, font le lien entre étude des systèmes formels et théorie de la calculabilité. 

Nous aborderons également le second théorème d'incomplétude de Gödel et le théorème d'indéfinissabilité de la vérité de Tarski, et discuterons la signification et la portée des résultats démontrés.

Quoique ce ne soit pas absolument indispensable (quelques rappels seront fournis), une familiarité préalable avec la théorie de la calculabilité, qui fait l'objet d'un cours au premier semestre, est recommandée. Des notes de cours seront fournies.

Indications bibliographiques

Smith, Peter. An Introduction to Gödel's Theorems. 2e édition, Cambridge : CUP, 2013.

Cori, René et Lascar, Daniel. Logique mathématique, vol. 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Paris : Dunod, 2003.

Voir la page complète

Voir la page complète

Voir la page complète

Voir la page complète

1- Logique des modalités K4040415

Logique des modalités (S2, UE2)

Résumé 

Le terme logique modale est aujourd’hui employé pour indiquer une domaine d’investigation très vaste et très varié.  Dans ce domaine on a pourtant isolé

un certain nombre de systèmes qui représentent la base et le fondement de tout étude concernant la logique modale. Nous allons analyser ces systèmes dans le détail. 

- d’un point de vue formel, nous allons étudier les principaux systèmes de logique modale à travers trois diverses formalisations : les axiomes à la Hilbert, la sémantique de mondes possibles et les systèmes de preuves. Nous allons examiner les relations entre ces trois différentes formalisations et nous allons aussi mettre en relief le lien avec la logique du premier ordre.

- d’un point de vue conceptuel, nous allons introduire les principales interprétations liées à nos systèmes de logique modale. Nous allons commencer par le concept de nécessité et de possibilité, puis nous allons nous arrêter sur une interprétation en termes d’obligation et de permission. Finalement nous allons consacrer une analyse approfondie à une interprétation épistémique, c’est-à-dire en termes de connaissance et de croyance. Cette dernière interprétation nous permettra de dire quelques mots sur les derniers développements de logique modale, à savoir la logique dynamique.

Bibliographie

1. Blackburn, M. de Rijke, et Y. Venema.  Modal Logic. Cambridge University Press,  2001.
2. van Ditmarsch,  W. van der Hoek, et B. Kooi.  Dynamic Epistemic Logic. Springer, 2008.
3. Fitting et R. L. Mendelsohn.  First-Order Modal Logic. Springer, 1998
4. E. Hughes et M. J. Cresswell.  A New Introduction to Modal Logic. Routledge,  1996
5. Garson,  Modal Logic, The Stanford Encyclopedia of Philosophy (Spring 2016 Edition), Edward N. Zalta (ed.)
6. Poggiolesi. Gentzen Calculi for Modal Propositional Logic. Springer, 2010.

Voir la page complète

1- Logique et fondements de l’informatique (3 ECTS) K4041415

Voir la page complète