 | |
| PHIL0043-1 | Exercises in logics
 |
|
| Duration : | 30h Ex. |
|
| Credits/ECTS : |
|
|
| Holder(s) : | Pascal Gribomont |
|
| Language : | Langue française |
|
| 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:
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 : | Oral examination. |
|
| Contacts : | Pascal Gribomont
Institut Montefiore, bâtiment B28 - Sart Tilman
Tél. 04 366 26 67
E-mail: Pascal.Gribomont@ulg.ac.be |
|
| Remarks : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
