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 |
---|
Description du cours
- 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]
Horaire - Hiver 2021
Les modalités d’enseignement des cours du trimestre d’hiver 2021 sont maintenant à jour.
Enseignant |
|
Horaire et lieu
Jour | Date | Heure | Lieu | Type |
---|---|---|---|---|
Vendredi |
Du 14 janvier 2021 au 28 avril 2021 |
De 14h00 à 17h00 | Cours magistral |
Remarque |
|
Horaire - Été 2021
L’UQAM met actuellement à jour les horaires de cours pour le trimestre d'été 2021. Les modalités d’enseignement seront disponibles au plus tard le 8 mars prochain.
Horaire - Automne 2021
L’UQAM met actuellement à jour les horaires de cours pour le trimestre d'automne 2021. Veuillez ne pas tenir compte des informations actuellement affichées quant aux modalités d’enseignement. Ces modalités seront bientôt précisées en fonction de l’évolution de la situation actuelle et des directives gouvernementales.