## Level 5

### 5AANA014 Intermediate Logic

THIS MODULE IS RUNNING IN 2018-19

Credit value: 15
Module Tutor: Dr Julien Dutant
Assessment:

2018-19

• Summative assessment: 1 x 2-hour examination (100%)
• Formative assessment: weekly exercises

2017-18

• Summative assessment: 1 x 2-hour examination (100%)
• Formative assessment: weekly exercises

Students are reassessed in the failed elements of assessment and by the same methods as the first attempt.

Teaching pattern: one two-hour weekly lecture and one one-hour weekly seminar over ten weeks.
Pre-requisites: there are no pre-requisites, but 4AANA003 Elementary Logic is strongly recommended. Students who take up 5AANA014 Intermediate Logic as their first logic course should be able to do catch-up work on their own (which will be easier if they do formal disciplines elsewhere, e.g. joint honours students in Mathematics and Philosophy).

The module covers Propositional Logic, Predicate Logic and Modal Logic. Propositional and Predicate Logic are stated more formally and studied at a deeper level than in the 4AANA003 Elementary Logic module. Modal logic is introduced. Some notions of Set Theory that are needed in the semantics of Predicate and Modal logic are explained. A range of methods of proof are covered (tableaus, natural deduction, axiomatic method). Some sessions will include a peek at further topics in philosophical logic (e.g. three-valued semantics, vagueness, semantic paradoxes, etc.).

Detailed information on the current year’s module can be accessed on KEATS by all students and staff.

#### Further information

Module aims

This module provides a training in logic that is intermediate between the Elementary logic module (level 4) and the advanced modules of Modal Logic, Set Theory, First-Order Logic and Mathematical Logic (level 6). It aims to offer a follow-up to the Elementary Logic module and prepare students for the more advanced logic modules. But it can also stand on its own for students who want a deeper knowledge of Logic but who do not want to go all the way to the Level 6 courses.

Learning outcomes

At the end of the course students should master:

• The language and semantics of Propositional Logic, Predicate Logic, Modal Logic.
• Proofs by semantic tableaus and natural deduction in Propositional and Predicate Logic.
• Completeness of the semantic tableaus method for Propositional and Predicate logic.
• Axiomatic proofs in Modal Logic.
• Syntactic notions: recursive definition of a language, scope, binding.
• Proof theory: recursive definition of proofs, system-relative provability.

Metalogic: soundness, completeness, decidability.

Past syllabi

Please note that module syllabus and topics covered may vary from year to year.

Detailed information on the current year’s module can be accessed on KEATS by all students and staff.