Accessibility statement

Intermediate Logic (Short) - PHI00095I

« Back to module search

  • Department: Philosophy
  • Module co-ordinator: Dr. Rob Trueman
  • Credit value: 10 credits
  • Credit level: I
  • Academic year of delivery: 2020-21

Related modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching cycle
A Autumn Term 2020-21

Module aims

The module aims to introduce students to formal logic, in contrast to Reason & Argument which focuses on the logic of natural languages. Students learn the technical skills of natural deduction and model theory for first-order formal language with a classical logic and then learn about non-classical variants, such as logics for vague languages and logics for languages with modal operators, free logics and probabilistic logics.

Module learning outcomes

By the end of the module, students should be able to:

—construct proofs or countermodels where appropriate for sequents in a first-order language with quantification and identity.

—understand and explain some key problems, issues, and debates in the philosophy of logic and express this understanding in clear, precise, and accessible terms

—develop and articulate ranges of alternative solutions to problems and issues in the philosophy of logic in an open-minded way, drawing on module materials

—develop and articulate arguments for the alternative solutions considered in relation to problems and issues in the philosophy of logic, drawing on module materials, identifying some points of weakness and some potential points for development

—make a judgement about what is the best view on a particular problem in the philosophy of logic and argue in defence of this judgement

—identify some of their strengths and weaknesses by evaluating their own work in relation to departmental marking criteria

—apply simple strategies for improving their work, based on critical reflection, advice, and feedback


Task Length % of module mark
Online Exam
Intermediate Logic (Short)
N/A 100

Special assessment rules



Task Length % of module mark
Online Exam
Intermediate Logic (Short)
N/A 100

Module feedback

Feedback on formative work will be returned within 2 weeks of submission, and by the end of term at the latest. Feedback on summative work will be returned within 4 weeks of the assessment deadline.

Indicative reading

Allen & Hand, Logic Primer

Sainsbury, ‘What Logic Should We Think With?’;

Bostock, Intermediate Logic, ch. 8.

Melia, Modality, ch. 2;

Kripke, ‘Semantical Considerations on Modal Logic’

Fine, ‘Vagueness, Truth, and Logic’;

Williamson, ‘Vagueness and Ignorance’

Grice, Studies in the Way of Words, chs. 1-4;

Edgington, ‘Conditionals’, Stanford Encyclopedia of Philosophy.

The information on this page is indicative of the module that is currently on offer. The University is constantly exploring ways to enhance and improve its degree programmes and therefore reserves the right to make variations to the content and method of delivery of modules, and to discontinue modules, if such action is reasonably considered to be necessary by the University. Where appropriate, the University will notify and consult with affected students in advance about any changes that are required in line with the University's policy on the Approval of Modifications to Existing Taught Programmes of Study.