L'objet du cours est d'introduire à la logique comprise comme théorie de la preuve, et à explorer différents liens fructueux entre la logique et d'autres disciplines : philosophie, sémantique, pragmatique, psychologie. Ce cours permettra à l'étudiant d'acquérir des bases solides en logique propositionnelle et en logique des prédicats, ainsi qu'un premier aperçu en logique modale, logique épistémique, sémantique formelle, pragmatique formelle, et autres ramifications contemporaines de la discipline.

Informations sur l'espace de cours

Nom	Semestre 1 - Logique pour non-spécialistes
Nom abrégé	UP1-PROG-ELP-K404S119-01 - Logique pour non-spécialistes
Enseignants	Thommen Tristan
Groupes utilisateurs inscrits	Consultation des ressources, participation aux activités : No enrolled cohort. Consultation des ressources uniquement : No enrolled cohort.

Rattachements à l'offre de formation

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