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 2025 – 1 section offerte
NRC 17783 Capacité maximale: 30 étudiants Enseignant: Arturs Logins
Plage horaire
-
- Type: Sur Internet
- Dates: Du 13 jan. 2025 au 25 avr. 2025
Restrictions à l'inscription
Programme
Ne doit pas être inscrit à:
- Baccalauréat en philosophie
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
- Local: 1245
Été 2024 – 1 section offerte
NRC 52717 Capacité maximale: 100 étudiants
Plage horaire
-
- Type: Sur Internet
- Dates: Du 6 mai 2024 au 16 août 2024