Composante
UFR de philosophie (UFR10)
Volume horaire
26h
Période de l'année
Automne
Description
2- Logique pour non spécialistes (4,5 ECTS) K4041915
Pierre Saint-Germier |
Mercredi 17h-19h |
Halbwachs |
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.