En raison de la crise du COVID-19, les informations ci-dessous sont susceptibles d’être modifiées,
notamment celles qui concernent le mode d’enseignement (en présentiel, en distanciel ou sous un format comodal ou hybride).
4 crédits
45.0 h
Q2
Enseignants
Verdée Peter;
Langue
d'enseignement
d'enseignement
Français
Thèmes abordés
- Les notions de loi logique et de raisonnement valide
- La logique classique : l'approche sémantique (la théorie des modèles), l'approche syntaxique (la théorie de la démonstration) et l'équivalence des deux approches quant au résultat
- Les limites de la logique classique
- Les racines historiques de la logique contemporaine
Contenu
Les sujets suivants seront abordés :
- Les réponses possibles à la question « qu’est-ce que la logique ? »
- La base mathématique : fonction, relation, ensemble, arbre, définition/preuve par récurrence
- La logique propositionelle : sémantique et axiomatique
- La logique prédicative : sémantique
- Problèmes de la logique classique
- Une logique pertinente et sa théorie de preuves diagrammatique
- Histoire de la logique : Aristote, les stoiciëns, Frege, Russell, Tarski, Gödel
Méthodes d'enseignement
En raison de la crise du COVID-19, les informations de cette rubrique sont particulièrement susceptibles d’être modifiées.
- Cours ex cathedra avec quelques exercices en petits groupes
- Travaux dirigés avec l'assistent
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
En raison de la crise du COVID-19, les informations de cette rubrique sont particulièrement susceptibles d’être modifiées.
L'évaluation finale en juin comporte :- pour 10%, le résultat obtenu lors des trois interrogations prévues en cours de quadrimestre;
- pour 30%, le résultat obtenu lors de l'examen écrit des TD en cours de quadrimestre (en mai).
- pour 60%, le résultat obtenu lors de l'examen écrit durant la session de juin. Cet examen est un examen à livre ouvert et se concentre surtout sur la compréhension du contenu du cours.
Bibliographie
- Syllabus écrit par l'enseignant
Faculté ou entité
en charge
en charge
EFIL
