Skip to main content

Unit information: Introduction to Formal Logic in 2019/20

Please note: Due to alternative arrangements for teaching and assessment in place from 18 March 2020 to mitigate against the restrictions in place due to COVID-19, information shown for 2019/20 may not always be accurate.

Please note: you are viewing unit and programme information for a past academic year. Please see the current academic year for up to date information.

Unit name Introduction to Formal Logic
Unit code PHIL10014
Credit points 10
Level of study C/4
Teaching block(s) Teaching Block 1 (weeks 1 - 12)
Unit director Dr. Karim Thebault
Open unit status Not open




School/department Department of Philosophy
Faculty Faculty of Arts

Description including Unit Aims

This unit introduces the student to the analysis of arguments and to the tools of formal logic. It provides students with the methods to discern and analyse the structure of an argument and to distinguish good arguments from bad ones. Students will see a variety of informal arguments and be able to characterise them as valid, inductive, or fallacious. Formal logic will be introduced and students will see how it can be used as a tool in the evaluation of arguments. Students will also obtain familiarity with formal logic and a grasp of logical properties such as consistency, validity, derivability and soundness.

Students on this unit will be expected to start with the mathematical familiarity that would be obtained in A-level mathematics.

Intended Learning Outcomes

On successful completion of the unit students will be able to

  1. Analyse the structure of arguments found in everyday contexts;
  2. Formalise natural language arguments into the languages of propositional and predicate logic;
  3. Show formal arguments are valid using a proof system;
  4. Understand logical concepts such as consistency, validity, derivability and soundness;
  5. Identify fallacious arguments;
  6. Construct clear arguments.

Teaching Information

6 x 2 hour lectures

5 x 1 hour seminars

Assessment Information

Summative: take-home exam (100%) designed to test ILOs 1-6

Formative: regular problem sheets designed to test ILOs 1-6

Reading and References

Logic, by G. Restall, 2005, Routledge