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.
Hiver 2026 – 1 section offerte
NRC 17487 Capacité maximale: 30 étudiants Enseignant: Arturs Logins
Plage horaire
-
- Type: Sur Internet
- Dates: Du 12 jan. 2026 au 24 avr. 2026
Restrictions à l'inscription
Programme
Ne doit pas être inscrit à:
- Baccalauréat en philosophie
Automne 2025 – 1 section offerte
NRC 87543 Capacité maximale: 50 étudiants
Plage horaire
-
- Type: En classe
- Dates: Du 2 sept. 2025 au 12 déc. 2025
- Journée: Lundi
- Horaire: De 9h à 11h50
- Pavillon: Félix-Antoine-Savard
Été 2025 – 1 section offerte
NRC 55612 Capacité maximale: 60 étudiants
Plage horaire
-
- Type: Sur Internet
- Dates: Du 5 mai 2025 au 18 jui. 2025