Kies de Nederlandse taal
Course module: 780041-B-5
Course info
Course module780041-B-5
Credits (ECTS)5
CategoryBA (Bachelor)
Course typeCourse
Language of instructionEnglish
Offered byTilburg University; Tilburg School of Humanities and Digital Sciences; TSHD Other;
Is part of
B Philosophy
L. Abzianidze
Other course modules lecturer
dr. R.A. Muskens
Other course modules lecturer
Academic year2015
Starting block
Course mode
Registration opennot known yet
On the basis of their knowledge and comprehension of techniques covered in class, students will

1) be able to test the validity of arguments and the consistency of sets of sentences in propositional logic and predicate logic and

2) be able to analyse and formalise English sentences with the help of the languages of propositional logic and predicate logic.


Course attendance is compulsary.

Required Prerequisites

No prerequisites. This course is self-contained.

Reasoning is a central human activity. We reason every day, about everything that is or seems important to us. In science and in philosophy reasoning is everywhere. Philosophers do not only reason in order to support their positions, they also scrutinize philosophical arguments, ask for the premises on which these are based, and investigate whether positions are consistent. Often it turns out that premises were hidden and/or unacceptable and it may also come to light that a some philosophical position under investigation is inconsistent (i.e. contradicts itself).

Logic concerns itself with questions relating to this. Which arguments are valid? When does someone contradict himself? These questions are generally answered with the help of the concept of truth in possible situations. An argument is valid in this approach if in any possible situation in which its premises are true its conclusion must also be true and a set of statements is inconsistent if there is no possible situation in which these statements are simultaneously true. The centrality of the idea of truth in a possible situation makes it the case that modern logic can be interpreted as a simplified model of the relation between language and reality. Philosophical questions regarding these notions arise immediately: What is truth? What are possible situations? What structure should we ascribe to those possible situations and what are therefore our ontological commitments when we make use of these notions?

We thus see that logic interacts strongly with philosophical questions about reasoning, language, thought, and meaning. Aristotle, who created the subject virtually ab ovo about 2350 years ago, already realised that this was the case. Aristotle was a genius and his logical work has withstood the times until the nineteenth century when Gottlob Frege revolutionised the subject and gave us a radical generalization of Aristotelian logic. Nowadays logic is an interdisciplinary subject. It plays not only a central critical role in philosophy, but is also of fundamental importance in mathematics, computer science and linguistics.

There are now many logics, but one of them is generally agreed to take a central place. This is predicate logic, the theory that will be the subject of this course. We will also treat propositional logic, a theory that can be viewed as part of predicate logic and that will serve as a first step towards the full theory.

Type of instructions

14x2 hours lectures; 14x2 hours practicals

Type of exams

midterm and final

Compulsory Reading
  1. W. Hodges, Logic, 2nd edition, Penguin, 2001, ISBN 0141003146.

Recommended Reading
  1. Apostolos Doxiades, Christos Papadimitriou, Alecos Papadatos & Annie di Donna, Logicomix, Bloomsbury, 2009. Editions in many languages other than English are available. See
Required materials
Recommended materials

Kies de Nederlandse taal