Study Programmes 2016-2017
PHIL0043-1  
Logic II
Duration :
30h Th
Number of credits :
Bachelor in philosophy4
Master in linguistics (120 ECTS)5
Master in philosophy (120 ECTS)4
Master in philosophy (60 ECTS)4
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
Learning unit contents :
Introduction to classical formal logic. Formula analysis and reasoning analysis in propositional logic and in predicate logic. Truthtables, semantic tableaus, axiomatic 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 learning unit :
- 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 good knowledge of the formal logic part of the book
L. Bouquiaux et B. Leclercq, Logique formelle et argumentation, Bruxelles, De Boeck, 2009.
is assumed.
A 150 page-summary for PHIL0043 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 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