Show/hide main menu

Level 5

5AANA014 Philosophical Logic


Credit value: 15
Module Tutor: Dr Julien Dutant


  • Summative assessment: 1 x 2-hour examination (100%) 
  • Formative assessment: weekly exercises 


  • Summative assessment: 1 x 2-hour examination (100%)
  • Formative assessment: weekly exercises 

Students are reassessed in the failed elements of assessment and by the same methods as the first attempt.

Teaching pattern: one two-hour weekly lecture and one one-hour weekly seminar over ten weeks.
Pre-requisites: there are no pre-requisites, but 4AANA003 Elementary Logic is strongly recommended. Students who take up 5AANA014 as their first logic course should be able to do catch-up work on their own (which will be easier if they do formal disciplines elsewhere, e.g. joint honours students in Mathematics and Philosophy).

The module investigates the basic logical tools standardly assumed in philosophical research. It will cover modal extensions of classical propositional and predicate logics (including the basics of epistemic and deontic logics), and non-classical logics. They will be motivated and applied to traditional topics in philosophical logic such as vagueness, semantic and logical paradoxes, puzzles about modal and epistemic notions.   

Further information

Module aims

The module has two complementary objectives: enabling students to reflect on the philosophical issues surrounding logic, and enabling students to use logic to think about philosophical issues. The broader aim of the course is to provide students with modes of thinking that are both perfectly rigorous and creative.

Learning outcomes

At the end of the course the students should:

  • Master a range of central notions and problems of philosophical logic.
  • Be familiar with a range of logics beyond classical logic, be able to define them rigorously and know their distinctive features.
  • Be able to use these logics in simple exercises and apply them to philosophically relevant cases.

Be able to critically discuss how philosophical problems motivate revisions and extensions of logic.

Core reading

  • Volker Halbach, Logic Manual, Oxford University Press 2010 (or background reading and catch-up work).
  • Ted Sider, Logic for Philosophy, Oxford University Press, 2010.
  • Graham Priest, Introduction to Nonclassical Logic, Cambridge University Press, 2012. 


The modules run in each academic year are subject to change in line with staff availability and student demand so there is no guarantee every module will run. Module descriptions and information may vary between years.

Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454