Study Programmes 2015-2016
| PHIL0043-1 | |||||||||||||||||
| Logic II | |||||||||||||||||
|
Duration :
|
|||||||||||||||||
| 30h Th | |||||||||||||||||
|
Number of credits :
|
|||||||||||||||||
|
|||||||||||||||||
|
Lecturer :
|
|||||||||||||||||
| Pascal Gribomont | |||||||||||||||||
|
Language(s) of instruction :
|
|||||||||||||||||
| French language | |||||||||||||||||
|
Organisation and examination :
|
|||||||||||||||||
| Teaching in the second semester | |||||||||||||||||
|
Units courses prerequisite and corequisite :
|
|||||||||||||||||
| Prerequisite or corequisite units are presented within each program | |||||||||||||||||
|
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. |
|||||||||||||||||
|
Prerequisite knowledge and skills :
|
|||||||||||||||||
| PHIL0042-1 Logique I | |||||||||||||||||
|
Planned learning activities and teaching methods :
|
|||||||||||||||||
|
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 :
|
|||||||||||||||||
| Oral examination. | |||||||||||||||||
|
Work placement(s) :
|
|||||||||||||||||
|
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 | |||||||||||||||||