# Logic

lfilo1250  2020-2021  Louvain-la-Neuve

Logic
Due to the COVID-19 crisis, the information below is subject to change, in particular that concerning the teaching mode (presential, distance or in a comodal or hybrid format).
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 Understanding of fundamental concepts in logic Ability to apply these concepts to concrete reasoning (in formal and informal language) Ability to place these concepts in their philosophical and historical context Ability to develop a critical attitude to the techniques of 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

Due to the COVID-19 crisis, the information in this section is particularly likely to change.

• Ex cathedra course with some exercises in small groups
• Practical exercices with the assistant
Evaluation methods

Due to the COVID-19 crisis, the information in this section is particularly likely to change.

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.
In the September examination period, the written open book exam counts for 100%.
Bibliography
• Syllabus écrit par l'enseignant
Teaching materials
• Syllabus écrit par l'enseignant
Faculty or entity
EFIL

#### Programmes / formations proposant cette unité d'enseignement (UE)

Title of the programme
Sigle
Credits
Prerequisites
Aims
Bachelor in Philosophy

Bachelor in Philosophy, Politics and Economics

Certificat universitaire en philosophie (fondements)

Minor in Philosophy