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: 2019-20

Module summary

The module introduces students to formal logic, covering natural deduction and model theory for first-order formal languages with a classical logic, as well as non-classical variants, such as logics for vague languages and logics for languages with modal operators, free logics and probabilistic logics.

Module will run

Occurrence Teaching cycle
A Autumn Term 2019-20 to Spring Term 2019-20

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:

—use natural deduction and model theory to assess the correctness of sequents in a first-order classical language with quantification and identity.

—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
2500 Word Essay
N/A 50
University - closed examination
Intermediate Logic
1 hours 50

Special assessment rules

None

Reassessment

Task Length % of module mark
Essay/coursework
2500 Word Essay
N/A 50
University - closed examination
Intermediate Logic
1 hours 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.