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: 2021-22

Module summary

The module introduces students to formal logic. Students learn how to construct natural deduction proofs for arguments formalised in Truth-Functional Logic and First-Order Logic. Students also learn how to construct counter-interpretations to arguments formalised in First-Order Logic.

Related modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching cycle
A Autumn Term 2021-22

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 how to construct natural deduction proofs for arguments formalised in Truth-Functional Logic and First-Order Logic. Students also learn how to construct counter-interpretations to arguments formalised in First-Order Logic.

Module learning outcomes

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

  • construct natural deduction proofs to demonstrate that arguments formalised in Truth-Functional Logic or First-Order Logic are valid
  • construct counter-interpretations to demonstrate that arguments formalised in First-Order Logic are invalid
  • 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

Assessment

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

Special assessment rules

None

Reassessment

Task Length % of module mark
Online Exam
PHI00095I Intermediate Logic (Short) - Key Ideas
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.