 | |
| PHIL0043-1 | Exercises in logics
 |
|
| Duration : | 30h Ex. |
|
| Credits/ECTS : |
|
|
| Holder(s) : | Pascal Gribomont |
|
| Language : | 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. |
|
| Course objective : | - Active understanding of the main logical notions.
- Logical analysis of arguments.
- Formal reasoning, problem solving. |
|
| Prerequisites : | None. |
|
| Organization : | 2nd semester, Wednsdays 9:00 (B28, local R21). |
|
| Written notes : | 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 : | Partial written examination on propositional logic (April 27th).
Oral examination. |
|
| Contacts : | Pascal Gribomont
Institut Montefiore, bâtiment B28 - Sart Tilman
E-mail: Pascal.Gribomont@ulg.ac.be |
|
| Remarks : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
