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 2023 – 2 sections offertes
NRC 87788 Capacité maximale: 50 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 5 sept. 2023 au 15 déc. 2023
- Journée: Mardi
- Horaire: De 8h30 à 11h20
NRC 87790 Capacité maximale: 100 étudiants
Plage horaire
-
- Type: Sur Internet
- Dates: Du 5 sept. 2023 au 15 déc. 2023
Hiver 2023 – 1 section offerte
NRC 17732 Capacité maximale: 55 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 10 janv. 2023 au 21 avr. 2023
- Journée: Mardi
- Horaire: De 12h30 à 15h20
- Pavillon: Félix-Antoine-Savard
- Local: 062
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