| Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
|---|---|---|---|
| H-IICO-202 |
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
|---|---|---|---|---|---|---|---|
| Français | Français | 30 | 0 | 0 | 0 | 0 | Q1 |
Contents
This course tackles the notion of valid inference in propositional logic and first order predicate logic. Its main goal is to formalise inferences drawn from different media (newspapers, advertising, debates) and to analyse their logical validity according to various methods. It also challenges the limits of such a logical analysis of ordinary language. Keywords : logical language, natural language ; formalisation and translation ; propositional logic, first order predicate logic ; connective, quantifier ; truth of a formula for an interpretation, truth tables, tautology, contradiction ; inference, premises , conclusion, validity, counter-exemple ; Venn diagram.
Required Learning Resources/Tools
Lucas, Th., Berlanger, I., Degauquier, V., 2014. Initiation à la logique formelle (avec exercices et corrigés (with exercises and corrections)). 4e éd. revue et augmentée, De Boeck Supérieur, Louvain-la-Neuve.
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
Not applicable
Mode of delivery
- Face to face
Term 1 Assessment - type
- Oral examination
- Written examination
- Quoted exercices
Term 1 Assessment - comments
Written examination : 75% (of which possibly 25% can come from an optional exercise) Oral examination : 25%
Term 2 Assessment - type
- N/A
Term 2 Assessment - comments
Not applicable
Term 3 Assessment - type
- Oral examination
- Written examination
Term 3 Assessment - comments
Written examination : 75% (of which possibly 25% can be replaced by the result of the Q1 optional exercise) Oral examination : 25% (no possiblity of a new optional exercise)
Resit Assessment - Term 1 (B1BA1) - Comments
Not applicable
Type of Teaching Activity/Activities
- Cours (cours magistraux; conférences)