PHI-2006 Logique symbolique I
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é de philosophie
- Philosophie
Cette activité est contributoire dans:
Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.
Répartition hebdomadaire
- 3h Cours
- 1h Laboratoire ou travaux pratiques
- 5h Travail personnel
- 9h Total
Horaire
Pour vous inscrire, accédez à monPortail.
Automne 2021 – 1 section offerte
NRC 87967 Capacité maximale: 50 étudiants
Plages horaires
-
- Type: En classe
- Dates: Du 30 août 2021 au 10 déc. 2021
- Journée: Jeudi
- Horaire: De 12h30 à 15h20
- Pavillon: Félix-Antoine-Savard
- Local: 062
-
- Type: Atelier
- Dates: Du 13 sept. 2021 au 10 déc. 2021
- Journée: Lundi
- Horaire: De 10h15 à 11h05
- Pavillon: Félix-Antoine-Savard
- Local: 062
Automne 2020 – 1 section offerte
NRC 87820 Capacité maximale: 56 étudiants
Plages horaires
-
- Type: Sur Internet
- Dates: Du 31 août 2020 au 11 déc. 2020
-
- Type: Classe virtuelle synchrone
- Dates: Du 31 août 2020 au 11 déc. 2020
- Journée: Jeudi
- Horaire: De 12h30 à 15h20
-
- Type: Atelier
- Dates: Du 14 sept. 2020 au 11 déc. 2020
- Journée: Lundi
- Horaire: De 10h30 à 11h20