nl en



Admission requirements

Admission to this course is restricted to BA students in Philosophy: Global and Comparative Perspectives.


Preliminary description

This course aims to introduce students to the study of logic, especially those elements that are most important for philosophers. The syntax and semantics of two formal languages, sentential /propositional and predicate logic, will be learned. Students will learn to translate and formalise sentences in the natural language into the formal languages and they will learn the proof system of natural deduction.

Course objectives

Students who successfully complete the course will have an understanding of:

  • key concepts in logic (such as validity, consistency, adequacy, and completeness), the syntax and semantics of propositional and predicate logic, formalisations, and natural deduction;

  • the ways to think about language, logic, and semantics that are essential for understanding contemporary philosophy.

Students who successfully complete the course will be able to:

  • explain key concepts in logic in an intuitive and informal way;

  • analyse the logical form of natural language sentences and translate these sentences into the logical languages we shall learn;

  • construct natural deduction proofs.


See: BA Philosophy: Global and Comparative Perspectives

  • Philosophy: Global and Comparative Perspectives - BA1

Mode of instruction

  • Lectures and seminars (2 hours per week)

  • Tutorials (2 hours per week)

Class attendance is required for lectures/seminars as well as for tutorials.

Course Load

Total course load 5 EC x 28 hours 140 hours

  • Attending lectures: 13 x 2 hours per week = 26 hours

  • Attending tutorials: 13 x 2 hours per week = 26 hours

  • Exams: 6 hours

  • Preparation lectures and/or seminars: 13 x 4 = 52 hours

  • Exam preparation: 30 hours

Assessment method

  • Weekly assignments

  • Midterm written examination (25%)

  • Final written examination (75%)


The final mark for the course is established by determination of the weighted average of the several subtests. A subtest can be graded as unsatisfactory.


The resit consists of one examination for all parts at once, consisting of written exam covering the entire course content. The mark for the resit will replace all previously earned marks for subtests.No separate resits will be offered for mid-term tests.

Satisfactory completion of practical (weekly) assignments is a prerequisite for taking the resit.

Exam review

How and when an exam review will take place will be disclosed together with the publication of the exam results at the latest. If a student requests a review within 30 days after publication of the exam results, an exam review will have to be organized.


Blackboard will be used for:

To be announced

Reading list

  • Volker Halbach, The Logic Manual (Oxford University Press, 2010).


Enrolment through uSis is mandatory.
General information about uSis is available on the website

Students are strongly advised to register in uSis through the activity number which can be found in the timetables for courses and exams.

Registration Studeren à la carte and Contractonderwijs

Not applicable.


Dr. C. Ierna
To be announced.