Le 13 février 2012
Description de l'activité pédagogique | |
PHI 508Logique II | 3 cr. |
Objectif(s)Approfondir les méthodes de calcul de la logique du premier ordre ainsi que les questions soulevées en philosophie de la logique. | |
ContenuPoursuivre 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. | |