PH111      Half Unit
Introduction to Logic

This information is for the 2020/21 session.

Teacher responsible

Dr Laurenz Hudetz


This course is compulsory on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in Politics and Philosophy. This course is available on the BSc in Accounting and Finance. This course is available as an outside option to students on other programmes where regulations permit and to General Course students.

Course content

Arguments and inferences play a fundamental role in almost all areas of human life and society. For example, a scientist will test a theory by reasoning that if that theory is true then some other claim, one that can be checked experimentally, must be true as well. Or a politician will defend a policy by putting forward an argument in favour of it and criticising counterarguments. More mundanely, we reason, argue and draw inferences all the time and our actions are guided by the conclusions we draw. We are so used to this that we are often not even aware of it.

Logic is the study of arguments and inferences – it therefore has an enormously broad scope. Its main task is to give an explicit characterisation of those arguments and inferences that are valid (and hence differentiate them from those that are invalid). Logic tells you exactly when some conclusion follows from some premises and when it does not. It turns out that most arguments we encounter in everyday life are far from the ideal of logical validity. However, good philosophers and scientists should be able to devise arguments satisfying that ideal. This skill can also be of great advantage in fields such as law or public policy.

We train this skill based on classical theories of logical consequence. Among other things, the course provides rigorous answers to the following questions.

  1. What exactly are arguments and inferences and which quality criteria should they satisfy?
  2. Under what conditions is an argument or inference logically valid?
  3. How can one demonstrate that an argument or inference is valid?
  4. How can one demonstrate that an argument or inference is not valid?

The course begins with a simple system called sentential or propositional logic, which despite its simplicity captures a significant range of important arguments. The course then focuses on (first-order) predicate logic, which is much more powerful and provides the logical basis for analysing a great variety of arguments and theories.


15 hours of lectures and 10 hours of classes in the MT.

This course is delivered through a combination of lectures and classes totalling a minimum of 25 hours across Michaelmas Term. This year, some or all of this teaching will be delivered through a combination of online lectures, in-person classes and, if required, virtual classes. This course includes a reading week in Week 6 of Michaelmas Term.

Formative coursework

Formative coursework will take the form of problem sets. These will be set on the basis of the material covered in lectures. Students are required to complete problem sets before the associated class and to be ready to present and discuss their answers in class.

Indicative reading

There will be comprehensive lecture slides and materials covering the entire course content. Indicative background readings include:

  • Button, T. and Magnus, P.D. (2017): forall x: Cambridge, URL= <>
  • Copi I.M., Cohen, C. and McMahon K. (2014): Introduction to Logic. Pearson.
  • Halbach, V. (2010): The Logic Manual. Oxford University Press.
  • Salmon, M.H. (2013): Introduction to Logic and Critical Thinking. Wadsworth.


Take-home assessment (90%) in January.
Continuous assessment (10%) in the MT.

Important information in response to COVID-19

Please note that during 2020/21 academic year some variation to teaching and learning activities may be required to respond to changes in public health advice and/or to account for the situation of students in attendance on campus and those studying online during the early part of the academic year. For assessment, this may involve changes to mode of delivery and/or the format or weighting of assessments. Changes will only be made if required and students will be notified about any changes to teaching or assessment plans at the earliest opportunity.

Key facts

Department: Philosophy, Logic and Scientific Method

Total students 2019/20: Unavailable

Average class size 2019/20: Unavailable

Capped 2019/20: No

Value: Half Unit

Guidelines for interpreting course guide information

Personal development skills

  • Self-management
  • Problem solving
  • Application of information skills
  • Application of numeracy skills
  • Specialist skills