Aller au contenu principal

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).

3 Crédits

Cycle du cours

  • Premier cycle

Mode d'enseignement

  • Régulier

Responsables

  • Faculté de philosophie
  • Philosophie

Préalables

PHI-2006

Cette activité est contributoire dans:

Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.

Répartition hebdomadaire

  • 3h Cours
  • 0h Laboratoire ou travaux pratiques
  • 6h Travail personnel
  • 9h Total

Horaire

Pour vous inscrire, accédez à monPortail.

Hiver 2016 – 1 section offerte

NRC 20683 Capacité maximale: 30 étudiants

Hiver 2013 – 1 section offerte

NRC 20683 Capacité maximale: 30 étudiants