4 credits

45.0 h

Q2

Teacher(s)

Verdée Peter;

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

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 courses with some exercices in small groups

Evaluation methods

The final evaluation in June encompasses

- For 10%: the result obtained by three announced tests during the quadrimeste
- For 90% 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**