Archive année 2021-2022 Logique pour non-spécialistes - (Louis Rou ...

Ce cours est une initiation à la logique pour philosophes qui ne présuppose pas de connaissances préalables en logique ou en mathématiques. Le but est de présenter les concepts de base de la logique : qu’est-ce qu’un argument ? une inférence déductive ? comment définir la conséquence logique ? qu'est-ce qu’un quantificateur ? un connecteur logique ? Un modèle ? Nous répondrons à ces questions en introduisant la logique propositionnelle et la logique des prédicats ainsi qu’en présentant les principales méthodes de calcul associées à ces formalismes.
À l’issue de ce cours, vous connaîtrez la logique dite moderne, issue des travaux de Frege et Russell, présentée dans les notations standard contemporaines. La logique moderne est un outil de base dans de nombreuses disciplines scientifiques comme la linguistique, l’informatique, les mathématiques, les sciences cognitives et aussi en philosophie des sciences, en épistémologie, en métaphysique contemporaine. Ce cours permettra à chacun.e d’apprécier ces diverses applications.

Bibliographie indicative (le cours ne suivra pas de manuel):
- Quine 1984 Méthodes de logique (Armand Colin)
- L.F.T. Gamut 1990 Logic, Language and Meaning, tome 1 (University of Chicago Press)
- Goldfarb 2003 Deductive Logic
- Lepage 2010 Eléments de logique contemporaine (les presses de l'université de Montréal)
- Wagner 2014 Logique et philosophie. Manuel d’introduction pour les étudiants du supérieur (ellipses)
- Girard 2016 Le fantôme de la transparence (Allia)

Informations sur l'espace de cours

Rattachements à l'offre de formation