PHI508 - Logique II
Présentation
Sommaire
- Cycle
- 1er cycle
- Crédits
- 3 crédits
- Faculté ou centre
- Faculté des lettres et sciences humaines
- Particularités
- Cours offerts à tous
Cible(s) de formation
Approfondir les méthodes de calcul de la logique du premier ordre ainsi que les questions soulevées en philosophie de la logique.
Contenu
Poursuivre plus avant les méthodes d'analyse vues dans le cours d'introduction à la logique : logique du premier ordre, calcul des prédicats, et amorcer une réflexion sur d'autres logiques, dont les logiques modales, les logiques floues. Métathéorie : complétude, consistance, décidabilité, etc. Problèmes de philosophie de la logique, l'intuitionnisme et le constructivisme.