COURS // PHI3508 Logique intermédiaire

Message d'erreur

  • Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
  • Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
  • Notice : Only variables should be passed by reference dans horaires_cours_content() (ligne 167 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/custom/horaires/horaires.module).
  • Deprecated function : mb_strtolower(): Passing null to parameter #1 ($string) of type string is deprecated dans drupal_strtolower() (ligne 529 dans /DATA/sites/40618_Institutionnel_Registrariat/includes/unicode.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$id is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$authentication is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$status is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Deprecated function : Creation of dynamic property WSClientServiceDescription::$module is deprecated dans EntityAPIController->load() (ligne 256 dans /DATA/sites/40618_Institutionnel_Registrariat/sites/all/modules/entity/includes/entity.controller.inc).
  • Cycle : 1
  • Type de cours : Magistral
  • Nombre de crédits : 3
  • Discipline : Philosophie

Description

Les méthodes formelles les plus couramment utilisées par la philosophie contemporaine et des notions de métalogique. En particulier, les notions de modèle et de système axiomatique, en calcul des énoncés puis en calcul des prédicats. Les liens entre syntaxe et sémantique à travers les résultats classiques: théorème de déduction, théorème de complétude, décidabilité et indécidabilité. Aperçu de logiques non classiques: la logique modale et son interprétation sémantique, la logique intuitionniste, etc. Enfin, sur le plan pédagogique, on prévoira en classe un certain nombre d'exercices d'application.

Préalables académiques

[PHI1007 Introduction à la logique]

Programmes associés à ce cours

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.

Les modalités et horaires présentés sont à jour au moment de la recherche. Ils n'impliquent pas d'engagement ni d'obligation de la part de l'UQAM d'offrir ces cours. L'UQAM se réserve également le droit de modifier les modalités et les lieux des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)
Ce cours n'est pas offert lors de ce trimestre.
Retour en haut de page