PHI-2006 Logique symbolique I
Description
La logique formelle traite de la validité des inférences, abstraction faite de leur contenu. Ce cours a pour objectif de clarifier en quoi consiste une inférence valide, d'enseigner à l'étudiant comment traduire une langue naturelle en langage formel et de l'initier à quelques méthodes permettant de juger de la validité des inférences.
Responsables
Faculté : Philosophie
Courriel : fp@fp.ulaval.ca
Cette activité est contributoire dans
Certificat en philosophie (cours à option)
3
Crédits
1er cycle
Horaire
En savoir plus sur les formules d'enseignement
Hiver 2025
Enseignant(e)s: Arturs Logins
Été 2024
Enseignant(e)s: Arturs Logins