Logo Université Laval Logo Université Laval
EN

Cours en classe

PHI-2127 - Logique symbolique II

Ce cours a pour objectif d’initier l’étudiant à la logique modale propositionnelle et à la logique modale du premier ordre. Ces dernières lui permettent d’évaluer la validité de certaines formes d’arguments qui ne peuvent être prises en compte à l’aide de la logique classique. À l’issue du cours, l’étudiant est en mesure d'utiliser judicieusement différents systèmes logiques en fonction des notions modales qu'on désire formaliser (par ex. : aléthiques, doxastiques, déontiques ou temporelles).

Plan de cours

Retour à la liste