Note from June 29, 2020
Although we do not yet know how long the social distancing related to the Covid-19 pandemic will last, and regardless of the changes that had to be made in the evaluation of the June 2020 session in relation to what is provided for in this learning unit description, new learnig unit evaluation methods may still be adopted by the teachers; details of these methods have been - or will be - communicated to the students by the teachers, as soon as possible.
Although we do not yet know how long the social distancing related to the Covid-19 pandemic will last, and regardless of the changes that had to be made in the evaluation of the June 2020 session in relation to what is provided for in this learning unit description, new learnig unit evaluation methods may still be adopted by the teachers; details of these methods have been - or will be - communicated to the students by the teachers, as soon as possible.
5 credits
45.0 h + 15.0 h
Q2
Teacher(s)
Verdée Peter;
Language
French
Main themes
- Concepts of logical law and valid reasoning
- Classical logic: the semantic approach (model theory), the syntactic approach (proof theory) and how the two approaches are equivalent in terms of results
- The limits of classical logic
- The historical roots of contemporary logic
Aims
At the end of this learning unit, the student is able to : | |
| 1 |
|
The contribution of this Teaching Unit to the development and command of the skills and learning outcomes of the programme(s) can be accessed at the end of this sheet, in the section entitled “Programmes/courses offering this Teaching Unit”.
Content
The following topics will be addressed:
- Possible answers to the question "What is logic?"
- The mathematical basis: function, relation, set, tree, recursive definition / recursive proof
- Propositional logic: semantics and axioms
- Predicate logic: semantics
- Problems of classical logic
- A relevant logic and its diagrammatic proof theory
- History of logic: Aristotle, the Stoics, Frege, Russell, Tarski, Gödel
Teaching methods
- Ex cathedra course with some exercises in small groups
- Practical exercices with the assistant
Evaluation methods
The final evaluation in June encompasses
- For 10%: the result obtained by three announced tests during the quadrimester
- For 30%: the result obtained by the written exam of the supervised exercises part of the course during the quadrimester (in May).
- For 60% the result obtained by the written exam in the June examination period. This exam is an open book exam and mainly evaluates the understanding of the contents of the course.
Bibliography
- Syllabus écrit par l'enseignant
Teaching materials
- Syllabus écrit par l'enseignant
Faculty or entity
EFIL
