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.

Des questions sur ce cours? Inscrivez-vous aux cours

  • 3 Crédits

  • Cycle du cours

    • Premier cycle

  • Modes d'enseignement

    • Régulier

  • À l'horaire

    • Été 2024
    • Automne 2024
  • Cours pouvant être offert à distance

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 2024 – 1 section offerte

NRC 87870 Capacité maximale: 50 étudiants Enseignant: Arturs Logins

Plage horaire

    • Type: En classe
    • Dates: Du 3 sept. 2024 au 13 déc. 2024
    • Journée: Mardi
    • Horaire: De 9h à 11h50

Été 2024 – 1 section offerte

NRC 52717 Capacité maximale: 100 étudiants

Ce cours est offert à distance en mode asynchrone. Pour plus d'informations, consultez la page du cours à l'adresse www.distance.ulaval.ca.

Plage horaire

    • Type: Sur Internet
    • Dates: Du 6 mai 2024 au 16 août 2024

Hiver 2024 – 1 section offerte

NRC 17851 Capacité maximale: 100 étudiants

Ce cours est offert à distance en mode asynchrone. Pour plus d'informations, consultez la page du cours à l'adresse www.distance.ulaval.ca.

Plage horaire

    • Type: Sur Internet
    • Dates: Du 15 jan. 2024 au 26 avr. 2024