K4041915 - Logique pour non-spécialistes - Cours magistral

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

Nom Logique pour non-spécialistes - (Louis Rouillé)
Nom abrégé UP1-C-ELP-K4041915-02 - (Louis Rouillé)
EnseignantsRouille Louis
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2021] UFR 10 - Matière (M1-S1) : Logique pour non-spécialistes (groups-matiK4041915-2021)
Consultation des ressources uniquement : aucune cohorte inscrite.

Rattachements à l'offre de formation

Élément pédagogique UP1-C-ELP-K4041915 - Logique pour non-spécialistes
Chemin complet > Année 2021-2022 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 1 > UE3 enseignement spécifique > Option philosophie des sciences > Logique pour non-spécialistes