Skip to main content
KBS_Icon_questionmark link-ico
Study Abroad at King’s
Study

Go to…

Advanced Logic

Key information

  • Module code:

    6AANA030

  • Level:

    6

  • Semester:

      Spring

  • Credit value:

    15

Module description

Set Theory is important for the philosophy of mathematics and metaphysics. In this course we look at naive set theory and the paradoxes that were found in it by Russell and others; these paradoxes led to a reconstruction of the foundations of mathematics on axiomatic grounds. We will look at one such axiomatisation of set theory - Zermelo - Fraenkel set theory. Within this theory we can develop fundamental mathematical concepts that are widely used in philosophy and logic, such as the ideas of relations, partial orders, functions, partitions and equivalence classes. We also look at how natural numbers and other mathematically useful objects can be represented using sets, and we then develop a theory of the infinite using transfinite ordinal and cardinal numbers.  

Assessment details

Summative assessment: 1 x 2 hour examination (100%)

Teaching pattern

One two-hour weekly weekly lecture and one one-hour weekly seminar.

Department

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.