Logique I
Ce cours est une introduction à la logique symbolique. Nous étudierons les deux outils de calcul logique fondamentaux, à savoir le calcul des propositions et le calcul des prédicats de premier ordre. Nous aborderons ces calculs par le biais de méthodes sémantiques (tables de vérité, matrices de vérité) et syntaxiques (arbres de consistance, déduction naturelle).
Crédits:
3
Langue:
Français
Faculté:
Philosophie
Professeur:
À venir
Session:
Hiver
Time:
Lundi, 13h30-16h20
*Sujet au changement
Room Number:
À venir
Année universitaire:
2018-19
Niveau:
premier cycle
Cote de cours:
DPHI 1103
Programme:
Bacc. ès-arts en philosophie avec mineure en éthique
Bacc. ès-arts avec concentration en philosophie
Bacc. ès Arts avec double spécialisation en philosophie et en théologie
Bacc. en théologie mineur en philosophie
Bachelor of Arts with Honours in Theology and Philosophy
Bacc. ès-arts avec conc. conjointe en philosophie et en théologie
Baccalauréat en philosophie
Baccalauréat en philosophie avec mineure en éthique
Certificat d'études en philosophie
Certificat d'études en philosophie (éthique appliquée)
Certificat en philosophie et en théologie
Interest Courses in Philosophy