Module delivery information

Location Term Level1 Credits (ECTS)2 Current Convenor3 2024 to 2025
Autumn Term 6 30 (15) Jon Williamson checkmark-circle


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.


Contact hours

Total Contact Hours: 40
Private Study Hours: 260
Total Study Hours: 300

Method of assessment

Main assessment methods:
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%

Reassessment methods
Reassessment Instrument: 100% Examination

Indicative reading

The University is committed to ensuring that core reading materials are in accessible electronic format in line with the Kent Inclusive Practices. The most up to date reading list for each module can be found on the university's reading list pages:

See the library reading list for this module (Canterbury)

Learning outcomes

The intended subject specific learning outcomes.

On successfully completing the module students will be able to:
1 Demonstrate an understanding of validity and some of the major approaches to testing validity;
2 Approach more complex formalisms with more confidence;
3 Through their study of these theories, engage critically with, and enhance their understanding of, some of the issues in this area concerning logic;
4 Apply more complex formal methods, e.g., inductive and modal logics, in order to distinguish correct from incorrect reasoning;
5 Apply more complex formal methods in order to clarify problematic concepts in philosophy more generally, e.g., knowledge, and necessary truth.

The intended generic learning outcomes.

On successfully completing the module students will be able to:
5 Engage in argument, both oral and written;
6 Demonstrate their skills in critical analysis and argument through their reading, writing and discussion with others in seminars;
7 Show an ability to work alone and to take responsibility for their own learning;
8 Demonstrate their ability to clarify complex ideas and arguments, both orally and in writing;


  1. Credit level 6. Higher level module usually taken in Stage 3 of an undergraduate degree.
  2. ECTS credits are recognised throughout the EU and allow you to transfer credit easily from one university to another.
  3. The named convenor is the convenor for the current academic session.
Back to top

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.