COURS // PHI1007 Introduction à la logique
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
Introduction à la manipulation des instruments formels de la logique contemporaine. Dans un premier temps, on aborde l'étude systématique du calcul des énoncés: - les notions de table de vérité, de tautologie, de dérivation, etc.; - insistance sur la distinction entre approche syntaxique et approche sémantique. Dans un deuxième temps, on aborde le calcul des prédicats. En plus de s'initier aux méthodes de la pensée formelle, l'étudiant sera amené à comprendre les enjeux théoriques et philosophiques de la formalisation et à voir d'une manière générale les rapports qu'entretiennent logique et philosophie. Enfin, sur le plan pédagogique, on prévoira en classe un certain nombre d'exercices d'application.
Horaire - Automne 2024
Enseignant |
|
Horaire et lieu
| Jour | Date | Heure | Lieu | Type |
|---|---|---|---|---|
| Lundi |
Du 3 septembre 2024 au 16 décembre 2024 |
De 14h00 à 17h00 | V-2410 | Campus de Montréal | Cours magistral |
