Skip to main content

PH136 - Logic 1: Introduction to Symbolic Logic (for non-Philosophy Students)

  • Module code: PH136
  • Module name: Logic 1: Introduction to Symbolic Logic (for non-Philosophy Students)
  • Department: Philosophy
  • Credit: 15

Content and teaching | Assessment | Availability

Module content and teaching

Principal aims

This module provides a study of formal logic covering both propositional and first-order logic. The module is based on Barker-Plummer, Barwise, and Etchemendy: Language, Proof and Logic (CSLI publications, ISBN 9781575866321. Please note: you do NOT need a new copy of the book, we will provide a way for you to submit the exercises that is independent of the software package which comes with the book). We introduce a system of proof (of the natural deduction kind) and sketch demonstrations that this system of proof is both sound and complete. We also explain how to express and understand claims using formal techniques, including multiple quantifiers. Key concepts include logical validity, truth functionality, formal proof, quantification.

Principal learning outcomes

Students will acquire a mastery of first-order symbolic logic.

Timetabled teaching activities

Normally students must attend 2 hours of lectures and 1 hour of seminars per week. For students willing and able to go faster (usually outside students from the Maths department or another related discipline), a single weekly fast-track lecture covers the same syllabus as the two main lectures.

Departmental link

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

Module assessment

Assessment group Assessment name Percentage
15 CATS (Module code: PH136-15)
B (Examination only) 2 hour examination (Summer) 100%
B3 (Examination only) 2 hour examination (Non-finalists) STAFF USE 100%
B4 (Examination only) 2 hour examination (Finalists) STAFF USE 100%
VA (Visiting students only) 100% assessed (part year) visiting 100%

Module availability

This module is available on the following courses:

Core
  • Undergraduate Mathematics and Philosophy (GV17) - Year 1
  • Undergraduate Mathematics and Philosophy with Intercalated Year (GV18) - Year 1
  • Undergraduate History and Philosophy (V1V5) - Year 1
  • Undergraduate Philosophy (V700) - Year 1
  • Undergraduate Philosophy with Classical Civilisation (V7Q8) - Year 1
  • BA in Philosophy with Psychology (VL78) - Year 1
  • Undergraduate Philosophy and Literature (VQ72) - Year 1
Optional Core
  • Undergraduate Philosophy and Global Sustainable Development (V5L8) - Year 1
Optional
  • Undergraduate Mathematics (BSc) (G100) - Year 1
  • Undergraduate Mathematics with Intercalated Year (G101) - Year 1
  • Undergraduate Mathematics (MMath) (G103) - Year 1
  • Undergraduate Mathematics (MMath) with Study in Europe (G106) - Year 1
  • Undergraduate Mathematics and Statistics (BSc MMathStat) (G1G3) - Year 1
  • Undergraduate Mathematics and Statistics (BSc MMathStat) (G1G3) - Year 2
  • Undergraduate Mathematics and Business Studies (with Intercalated Year) (G1N2) - Year 1
  • Undergraduate Mathematics and Business Studies (G1NC) - Year 1
  • Undergraduate Master of Mathematics,Operational Research,Statistics and Economics (G300) - Year 1
  • Undergraduate Master of Mathematics,Operational Research,Statistics and Economics (G300) - Year 2
  • Undergraduate Mathematics and Statistics (BSc) (GG14) - Year 1
  • Undergraduate Mathematics and Statistics (BSc) (GG14) - Year 2
  • Undergraduate Mathematics and Economics (GL11) - Year 1
  • Undergraduate Mathematics and Economics (with Intercalated Year) (GL12) - Year 1
  • Undergraduate Economics 3 Year Variants (L100) - Year 1
  • Undergraduate Economics 3 Year Variants (L116) - Year 1
  • Undergraduate Economics, Politics and International Studies (LM1D) - Year 1
  • Undergraduate Mathematics,Operational Research,Statistics and Economics (Y602) - Year 1
  • Undergraduate Mathematics,Operational Research,Statistics and Economics (Y602) - Year 2