Predicate Logic is primarily intended for humanities students with an interest in philosophy and linguistics. The module will also be relevant for social science students following law tracks and some more mathematically oriented students.

In the Logic II module, students will be introduced to the symbolism and formalization of more complex aspects of language and argumentation, in particular, predicate logic. The topics discussed in the course include quantifier scope, negation, anaphora, and identity. Finally, students will be introduced to the concepts of coherence and completeness of a deductive system and to some of the principal paradoxes of deductive logic along with their main implications in Science and Philosophy.

The format of the course will largely be based on the concept of “learning by doing”. Students have to prepare for classes by reading selected materials and completing individual assignments which will be discussed in class. The assignments will be part of a portfolio that the student has to hand in at the end of the course.