4.00 crédits
45.0 h
Q2
Cette unité d’enseignement n’est pas accessible aux étudiants d’échange !
Enseignants
Langue
d'enseignement
d'enseignement
Français
> English-friendly
> English-friendly
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
Acquis
d'apprentissage
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
| 1 | Maîtriser les notions de base de la logique |
| 2 | Pouvoir appliquer ces notions à des raisonnements concrets (en langage formel et informel) |
| 3 | Pouvoir situer ces notions dans leur contexte philosophique et historique Ability to apply these concepts to concrete reasoning (in formal and informal language) |
| 4 | Être en mesure de développer une attitude critique par rapport aux techniques de la logique |
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
Cours ex cathedra avec quelques exercices en petits groupes
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
L'évaluation finale en juin comporte :
- pour 10%, le résultat obtenu lors des trois interrogations prévues en cours de quadrimestre;
- pour 90%, 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
Support de cours
- Syllabus écrit par l'enseignant et certains textes disponibles sur Moodle
Faculté ou entité
en charge
en charge
