FILO1215 - Logique
Crédits ECTS :
4
Professeur :
Mode d'enseignement :
Présentiel, deuxième quadrimestre, 45 heures de théorie.
Horaire :
Langues d'enseignement :
Français
Objectifs d'apprentissage :
Le cours vise à initier les étudiants à la logique contemporaine.
Prérequis et corequis / Modules de cours optionnels recommandés :
Aucun
Contenu de l'activité :
Principaux thèmes abordés au cours : Logique classique et logique moderne ; Analyse du langage et fonctions propositionnelles ; Logique des propositions non analysées (théorie des fonctions de vérité) et logique des propositions analysées (logique des prédicats monadiques et logique des relations); Implications strictes et logique modale ; Aperçu des logiques plurivalentes et non standard.
Activités d'apprentissages prévues et méthodes d'enseignement :
Exposé ex cathedra accompagné d'exercices résolus au cours.
Méthodes d'évaluation :
Examen écrit
Bibliographie :
Fournie au cours.
Autres informations :
Aucune
Années d'études :
|