 | | |
| PHIL0043-1 | Exercises in logics
|
|
| Duration : | 30h Ex. |
|
| Number of credits : |
|
|
| Lecturer : | Pascal Gribomont |
|
Language(s) of instruction :
|
| French language |
|
Course contents :
|
| Introduction to classical formal logic.
Formula analysis and reasoning analysis in propositional logic and in predicate logic.
Truthtables, semantic tableaus, sequents, aximatic systems. Introduction to unit resolution and logic programming.
Case studies. Evolution: from Aristotle's syllogistic theory to modern monadic predicate calculus. |
|
Learning outcomes of the course :
|
| - Active understanding of the main logical notions.
- Logical analysis of arguments.
- Formal reasoning, problem solving. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| PHIL0042-1 Logique |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| 2nd quadrimester, on Wednesdays 9:00 (B28, room R21). |
|
Recommended or required readings :
|
| A 150 page-summary is available. Useful additional textbooks are:
L. Bouquiaux et B. Leclercq, Logique formelle et argumentation, Bruxelles, De Boeck, 2009.
P. Gochet et P. Gribomont, Logique (volume 1), Hermès, Paris, 1991 (3e éd. 1998).
W.V.O. Quine, Méthodes de logique, trad. M. Clavelin, Armand Colin, Paris, 1973.
H.C.M. de Swart, Logic (vol. 1 et 2), Peter Lang, Frankfurt, 1993.
I.M. Copi et C. Cohen, Introduction to logic, Prentice-Hall, 1994 (10e éd. 1998). |
|
Assessment methods and criteria :
|
| Partial written examination on propositional logic (April 18th).
Oral examination. |
|
Organizational remarks :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont
Institut Montefiore, bâtiment B28 - Sart Tilman
E-mail: Pascal.Gribomont@ulg.ac.be |
|
|
| |
