INTRODUCTION TO LOGIC
This is a foundational (Level 4) course that aims to introduce students to the basic concepts
and issues involved in the study of logic. The course will introduce students to the formal (i.e.
symbolic) languages of propositional and quantificational logic. Students will learn how to
translate between these formal languages and natural languages such as English. The course
aims to give students a thorough grounding in the essentials of logic and other formal tools
which will be useful both in itself, and as a basis for further philosophical study.
Reading:
 Logic Script
Lectures: Lectures for this module will be held in **, on Thursdays from 6-7 in the Winter
and Spring Term. The lecturer is Dr Florian Steinberger (f.steinberger@bbk.ac.uk)
Exercise class: Exercise classes for this module will be held in **, on Thursdays from 7-8 in
the Winter and Spring Term. The class will be held by ** (**@mail.bbk.ac.uk)
Reading and exercise classes: The textbook for these classes is an unpublished manuscript
authored mainly by Professors Alexander Hieke and Hannes Leitgeb and, to a much lesser
extent, by me. Most lectures come with assigned reading, which will help you understand the
lecture. Also, and crucially, you will be asked to do exercises relating to the material covered
in the reading and in the lectures. You are strongly encouraged to work through the exercises
the best you can and to take full advantage of the weekly exercise classes in which you will
go over the exercises and during which you will have the opportunity to ask questions.
Assessment: This module is assessed by a two-hour examination, held in the Summer Term.
Past papers may be consulted at www.bbk.ac.uk/lib/elib/exam
Moodle: Electronic copies of course materials are available through Moodle at
moodle.bbk.ac.uk. You will need your ITS login name and password to enter.
Winter Term
Week 1. Introduction
Reading: No reading – introductory session
Exercise class: No exercises – introductory session.
I. Propositional logic (PL)
Week 2. Logical grammar, types and tokens, use and mention
Reading: Ch. 1
Exercise class: No exercises
Week 3. Logical operators
Reading: Ch. 2
Exercise class: Ex. 1
Week 4. Translating to PL
Reading: Ch. 3
Exercise class: Ex. 2.
Week 5. The language of PL
Reading: Ch. 4
Exercise class: Ex. 3
READING WEEK
Week 6. Semantics of PL I
Reading: Ch. 5
Exercise class: Ex. 4
Week 7. Semantics of PL II
Reading: Ch. 5
Exercise class: Ex. 4
Week 8. A deductive system for PL I
Reading: Ch. 6
Exercise class: Ex. 5
Week 9. A deductive system for PL II
Reading: Ch. 7
Exercise class: Ex. 5
II. Quantificational logic (QL)
Week 10. Translating to QL
Reading: Ch. 8
Exercise class: Ex. 6
Spring Term
Week 11. The language of QL
Reading: Ch. 9
Exercise class: Ex. 8
Week 12. Semantics of QL I
Reading: Ch. 10
Exercise class: Ex. 9
Week 13. Semantics of QL II
Reading: Ch. 10
Exercise class: Ex. 9
Week 14. A deductive system for QL I
Reading: Ch. 11
Exercise class: Ex. 10
Week 15. A deductive system for QL II
Reading: Ch. 12
Exercise class: Ex. 11
READING WEEK
Week 16. A deductive system for QL III
Reading: Ch. 13
Exercise class: Ex. 11
Week 17. Sets and relations
Reading: Handout
Exercise class: Ex. Handout
Week 18. Sets and relations
Reading: Handouts
Exercise class: Ex. Handout
Week 19 and 20 are left open to for additional topics or revision depending on the students’
preferences.