 |  |  |  |  |
| | |
||||
| PHIL0043-1 | Exercises in logics | |||||
| ||||||
| Duration : | 30h Ex. | |||||
| ||||||
| Credits/ECTS : |
| |||||
| ||||||
| Holder(s) : | Pascal Gribomont | |||||
| ||||||
| ||||||
| 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. | |||||
| ||||||
| 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 | |||||
| ||||||
ULg : Students and Studies Administration - Academic Affairs
Contact : Monique Marcourt, direction A.E.E.
Date of data : 18/05/2007
Developed by SEGI