Logic - PL605

Location Term Level Credits (ECTS) Current Convenor 2019-20
Canterbury Spring
View Timetable
5 30 (15) PROF J Williamson







Logic is the study of the methods and principles used to distinguish correct reasoning from incorrect reasoning and, as such, it is a crucial component of any philosophy course. Moreover, logic has applications other than the testing of arguments for cogency: it is also a widely used and useful tool for clarifying the problematic concepts that have traditionally troubled philosophers, e.g., deductive consequence, rational degree of belief, knowledge, necessary truth, identity, etc. Indeed, much contemporary philosophy cannot be understood without a working knowledge of logic. Given this, logic is an important subject for philosophy students to master.

The module will primarily cover propositional and predicate logic. Regarding propositional and predicate logic, the focus will be on methods for testing the validity of an argument. These methods will allow students to distinguish correct from incorrect reasoning. The module will also cover inductive and modal logics. Regarding inductive and modal logics, the focus will be on clarifying epistemological concepts through the use of these logics.


This module appears in:

Contact hours

Total Contact Hours: 40


Also available under code PL579 (Level 6)

Method of assessment

• Presentation (15 minutes) – 20%
• Online Test 1 (45 minutes) – 20%
• Online Test 2 (45 minutes) – 20%
• In-Course Test 1 (45 minutes) – 20%
• In-Course Test 2 (45 minutes) – 20%

Indicative reading

Indicative Reading List

Copi, I. Cohen, C. and McMahon, K. (2004). Introduction to Logic, London: Routledge.
Fisher, A. (2004). The Logic of Real Arguments, Cambridge: Cambridge University Press, 2nd Ed.
Girle, R. (2010) Modal Logics and Philosophy, Brixham: Acumen, 2nd Ed.
Haack, S. (2010) Philosophy of Logics, Cambridge: Cambridge University Press.
Hodges, W. (2001). Logic, London: Penguin Books Ltd, 2nd Ed.
Howson, C. (1997). Logic with Trees: An Introduction to Symbolic Logic, Oxon: Routledge
Williamson, J. (2017) Lectures on Inductive Logic, Oxford: Oxford University Press.

See the library reading list for this module (Canterbury)

Learning outcomes

On successfully completing the module Level 5 students will be able to:

Demonstrate an understanding of validity and some of the major approaches to testing validity;
Through their study of these theories, engage critically with, and enhance their understanding of, some of the issues in this area concerning logic;
Approach formalisms with more confidence;
Apply formal methods in order to critically evaluate arguments;
Apply formal methods in order to clarify problematic concepts in epistemology, e.g., deductive consequence and rational degree of belief.

University of Kent makes every effort to ensure that module information is accurate for the relevant academic session and to provide educational services as described. However, courses, services and other matters may be subject to change. Please read our full disclaimer.