PHI508 - Logique II

programmes offrant cette activité pédagogique (cours)

Baccalauréat en philosophie

Certificat en philosophie

Sommaire

Cycle
1er cycle
Crédits
3 crédits
Faculté/Centre
Faculté des lettres et sciences humaines
Particularités
Offert à 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