Intermediate Logic

Module description

The module offers a comprehensive study of the fundamental meta-theoretic properties of predicate logic that are necessary prerequisites for advanced logical theorising. The main aim of the module is to provide a detailed proof of the Adequacy theorem for predicate logic: A suitable deductive system for predicate logic will be shown to be sound (all proofs correspond to valid arguments) and complete (valid arguments do not exceed whats provable). Additional properties of predicate logic such as the ones described by the Compactness and the Löwenheim-Skolem theorems will be presented and discussed. In the light of such properties, predicate logic will be compared to other philosophically relevant logical systems - such as higher-order logics - for which the Adequacy theorem fails. 

Assessment details

Summative assessment: 1 x 2-hour exam (100%) in Assessment Period 2

Educational aims & objectives

• To provide a meta-theoretic approach to the semantics and proof-theory of predicate logic as opposed to the internal perspective proper of elementary introductions to logic.
• To present the fundamental meta-theoretic properties of predicate logic as captured by the soudness and completeness theorems.
• To introduce some immediate but crucial consequences of the soudness and completeness theorem: the compactness and the Löwenheim-Skolemtheorems.
• To compare predicate logic with other philosophically relevant logical systems, such as higher-order logic, for which completeness, compactness,and Löwenheim-Skolem fail.

Learning outcomes

By the end of the module, students will be able to demonstrate intellectual, transferable, and practical skills appropriate to a Level 5 module and in particular will be able to demonstrate:

• a deep understanding of the semantic notions of truth, satisfaction, and logical consequence for predicate logic, and of different but equivalent proof-theoretic calculi (natural deduction, Hilbert systems, sequent calculi)
• a detailed knowledge of the soudness of natural deduction rules with respect to first-order models;an understanding of the fundamental steps of the proof of the completeness of predicate logic
• a critical acquaintance with what distinguishes first and higher-order logics and with the philosophical significance of such distinction.

Teaching pattern

One one-hour weekly lecture and one one-hour weekly seminar over ten weeks. 

Module description disclaimer

King’s College London reviews the modules offered on a regular basis to provide up-to-date, innovative and relevant programmes of study. Therefore, modules offered may change. We suggest you keep an eye on the course finder on our website for updates.

Please note that modules with a practical component will be capped due to educational requirements, which may mean that we cannot guarantee a place to all students who elect to study this module.

Please note that the module descriptions above are related to the current academic year and are subject to change.