Aller au contenu

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.

Équivalente(s)

PHL3153