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 2025 – 1 section offerte
NRC 87543 Capacité maximale: 50 étudiants Enseignant: Arturs Logins
Plage horaire
-
- Type: En classe
- Dates: Du 2 sept. 2025 au 12 déc. 2025
- Journée: Lundi
- Horaire: De 9h à 11h50
Hiver 2025 – 1 section offerte
NRC 17783 Capacité maximale: 30 étudiants
Plage horaire
-
- Type: Sur Internet
- Dates: Du 13 jan. 2025 au 25 avr. 2025
Automne 2024 – 1 section offerte
NRC 87870 Capacité maximale: 50 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 3 sept. 2024 au 13 déc. 2024
- Journée: Mardi
- Horaire: De 9h à 11h50
- Pavillon: Charles-De Koninck