Skip to main content

PH210 - Logic II : Metatheory

  • Module code: PH210
  • Module name: Logic II : Metatheory
  • Department: Philosophy
  • Credit: 15

Content and teaching | Assessment | Availability

Module content and teaching

Principal aims

This module will develop the metatheory of propositional and first-order logic. The primary goal is to show that a proof system similar to that of Logic I is sound (i.e. proves only logically true sentences) and complete (proves all logically true sentences). In order to better understand how we prove things about (as opposed to within) a proof system, we will first study elementary set theory and inductive definitions. We will then consider Tarski's definitions of satisfaction and truth in a model and proceed to develop the Henkin completeness proof for first-order logic. Other topics covered along the way will include Russell's Paradox, countable versus uncountable sets, the compactness theorem and the expressive limitations of first-order logic.

Principal learning outcomes

By the end of the module the student should be able to: 1) demonstrate knowledge of the Soundness and Completeness Theorems for propositional and first-order logic and related technical results and definitions; 2) understand the significance these concepts and results have for logic and mathematics; 3) use and define concepts with precision with precision, both within formal and discursive contexts.

Timetabled teaching activities

Normally held during the Autumn term. Teaching activites will normally comprise 3 hours of lectures and a one hour seminar per week attended by all students

Departmental link

https://www2.warwick.ac.uk/fac/soc/philosophy/undergraduate/modules/ph107

Other essential notes

Please note that attendance at both lectures and seminars and completion of any unasssessed or required work is a requirement of this module

Module assessment

Assessment group Assessment name Percentage
15 CATS (Module code: PH210-15)
B (Examination only) 2 hour examination (Summer) 100%

Module availability

This module is available on the following courses:

Core
  • Undergraduate Mathematics and Philosophy (GV17) - Year 2
  • Undergraduate Mathematics and Philosophy with Intercalated Year (GV18) - Year 2
  • Undergraduate Mathematics and Philosophy with Specialism in Logic and Foundations (GV19) - Year 2
  • Undergraduate Philosophy with Computer Science (V7G5) - Year 2
Optional Core
  • Undergraduate Philosophy with Computer Science (V7G5) - Year 3
Optional
  • Undergraduate Mathematics (BSc) (G100) - Year 2
  • Undergraduate Mathematics (BSc) (G100) - Year 3
  • Undergraduate Mathematics with Intercalated Year (G101) - Year 2
  • Undergraduate Mathematics with Intercalated Year (G101) - Year 4
  • Undergraduate Mathematics (MMath) (G103) - Year 2
  • Undergraduate Mathematics (MMath) (G103) - Year 3
  • Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 2
  • Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 3
  • Undergraduate Master of Mathematics (with Intercalated Year) (G105) - Year 4
  • Undergraduate Mathematics (MMath) with Study in Europe (G106) - Year 2
  • Undergraduate Mathematics (MMath) with Study in Europe (G106) - Year 3
  • Undergraduate Mathematics and Business Studies (with Intercalated Year) (G1N2) - Year 2
  • Undergraduate Mathematics and Business Studies (G1NC) - Year 2
  • Undergraduate Mathematics and Economics (GL11) - Year 2
  • Undergraduate Mathematics and Economics (with Intercalated Year) (GL12) - Year 2
  • Undergraduate Economics, Politics and International Studies (LM1D) - Year 2
  • Undergraduate History and Philosophy (V1V5) - Year 2
  • Undergraduate Philosophy (V700) - Year 2
  • Undergraduate Philosophy (V700) - Year 3
  • Undergraduate Philosophy (wiith Intercalated year) (V701) - Year 2
  • Undergraduate Philosophy (wiith Intercalated year) (V701) - Year 4
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MF) - Year 4
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MG) - Year 4
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MH) - Year 4
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MI) - Year 4
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MJ) - Year 4
  • Undergraduate Philosophy, Politics and Economics (V7ML) - Year 2
  • Undergraduate Philosophy, Politics and Economics (V7ML) - Year 3
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MM) - Year 4
  • Undergraduate Philosophy, Politics and Economics (V7MP) - Year 2
  • Undergraduate Philosophy, Politics and Economics (V7MP) - Year 3
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MQ) - Year 4
  • Undergraduate Philosophy, Politics and Economics (V7MR) - Year 2
  • Undergraduate Philosophy, Politics and Economics (V7MR) - Year 3
  • Undergraduate Philosophy, Politics and Economics (V7MR) - Year 4
  • Undergraduate Philosophy, Politics and Economics (with Intercalated year) (V7MS) - Year 4
  • Undergraduate Philosophy with Classical Civilisation (V7Q8) - Year 2
  • Undergraduate Philosophy with Classical Civilisation (V7Q8) - Year 3
  • BA in Philosophy with Psychology (VL78) - Year 2
  • BA in Philosophy with Psychology (VL78) - Year 3
  • BA in Philosophy with Psychology (with Intercalated year) (VL79) - Year 4
  • Undergraduate Philosophy and Literature (VQ72) - Year 2
  • Undergraduate Philosophy and Literature (VQ72) - Year 3
  • Undergraduate Philosophy and Literature with Intercalated Year (VQ73) - Year 2
  • Undergraduate Philosophy and Literature with Intercalated Year (VQ73) - Year 4