COURS // PHI3508 Logique intermédiaire

Mes cours favoris

Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.

Trimestre Cours Groupe
  • 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 horaires présentés dans cette page 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 coordonnées des cours qu'elle offre.

Places disponibles réservées à votre programme
(Étudiants libres: entrez le code 9999)

Enseignant
  • Serge Robert

Horaire et lieu

Jour Date Heure Lieu Type
Mardi Du 7 janvier 2019
au 18 avril 2019 		De 14h00 à 17h00 SH-2580 | Campus de Montréal Cours magistral

Remarque
  • Avoir réussi le cours préalable PHI1007

Les horaires présentés dans cette page 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 coordonnées 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 horaires présentés dans cette page 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 coordonnées 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