5.00 credits
45.0 h + 15.0 h
Q2
Teacher(s)
Language
French
Prerequisites
/
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
Learning outcomes
At the end of this learning unit, the student is able to :  
1 

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