Logique symbolique

3 cr.

3 cr. (3-0) Introduction aux concepts fondamentaux de la logique symbolique. Analyse du calcul des énoncés et calcul des prédicats (syntaxe formelle). Apprentissage des tests de validité : tables de vérité, arbres de consistance et déduction naturelle. Étude de la notion d'interprétation. RÉSULTATS D’APPRENTISSAGE : À la fin de ce cours, la personne étudiante sera en mesure de : comprendre les concepts de base en logique contemporaine; appliquer des habiletés d'analyse logique et des habiletés requises pour comprendre une partie importante de la littérature en philosophie analytique, qui présuppose une maîtrise de ces compétences.