Show/hide main menu

Level 4

4AANA003 Elementary Logic


Credit value: 15
Module TutorDr Carlo Nicolai


Summative assessment: 1 x 2-hour examination (60%) in January; 8 x weekly exercises (5% each exercise: 40% in total) 
Formative assessment: NB this module involves no formative assessment


Summative assessment: 1 x 2-hour examination (60%) in January; 8 x weekly exercises (5% each exercise: 40% in total) 
Formative assessment: NB this module involves no formative assessment

Students are reassessed in the failed elements of assessment and by the same methods as the first attempt (for the 2-hour examination) OR by alternative assessment (for the weekly exercises).

Teaching pattern: two one-hour lectures and one one-hour exercise class per week over ten weeks.

The module is a first introduction to logic, the study of valid inference. Students learn how to detect valid and invalid arguments via the tools provided by propositional and predicate logic. They will understand how to formalize informal patterns of reasoning given in ordinary language and how to test the validity of arguments deductively, via proofs, or semantically, via the construction of models.

Further information

Module Aims

The module aims to introduce the students to the core notion of logically valid argument. It provides the basic tools needed for the formal analysis and classification of arguments and sets of assumptions (valid and invalid, tautologies, contradictions, consistent and inconsistent sets of sentences). It also introduces to the importance and relevance of logical tools both within and outside philosophy.

Learning Outcomes

  • Formalization of arguments formulated in ordinary language and its relevance to philosophy.

  • Understanding of the languages of propositional and predicate logic.

  • Ability to test the validity and invalidity of arguments in propositional and predicate logic via deductive and semantic methods.

  • Informal understanding of the links between deductive and semantical approaches to propositional and predicate logic given by the soundness and completeness theorems. 

Past Syllabi

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

Core Reading

Volker Halbach, The Logic Manual, Oxford University Press.


The modules run in each academic year are subject to change in line with staff availability and student demand so there is no guarantee every module will run. Module descriptions and information may vary between years.

Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454