Accessibility statement

Intermediate Logic - PHI00096I

« Back to module search

  • Department: Philosophy
  • Module co-ordinator: Dr. Rob Trueman
  • Credit value: 20 credits
  • Credit level: I
  • Academic year of delivery: 2021-22

Module summary

This module runs across two terms. In the first term, students are introduced 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. In the second term, students explore three variations on classical logic: Modal Logic, Second-Order Logic, and Intuitionistic Logic.

Related modules

Co-requisite modules

  • None

Prohibited combinations

  • None

Module will run

Occurrence Teaching cycle
A Autumn Term 2021-22 to Spring Term 2021-22

Module aims

This module runs across two terms. The aim of the first term is 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. In the second term, students explore three variations on classical logic: Modal Logic, Second-Order Logic, and Intuitionistic 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, First-Order Logic, Modal Logic, Second-Order Logic, or Intuitionistic Logic are valid,
  • construct counter-interpretations to demonstrate that arguments formalised in First-Order Logic or Modal Logic are invalid,
  • understand and explain a range of 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.

Assessment

Task Length % of module mark
Essay/coursework
Essay 2500 words
N/A 50
Online Exam
PHI00096I Intermediate Logic - Key Ideas
N/A 50

Special assessment rules

None

Reassessment

Task Length % of module mark
Essay/coursework
Essay 2500 words
N/A 50
Online Exam
PHI00096I Intermediate Logic - Key Ideas
N/A 50

Module feedback

Feedback on formative exercises will be returned at the immediately following contact point and feedback on the writing task 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.