Skip to main content
KBS_Icon_questionmark link-ico



Advanced Logic


Key information

  • Module code:


  • Level:


  • Semester:


  • Credit value:


Module description

The module focuses on specific topics in contemporary logic.

This year the module will focus on logical models of circular phenomena. Traditional set theory is based on the idea that no set can be a member if itself. We’ll investigate an elegant alternative, non-well-founded set theory, in which circular objects are allowed. We debate the many applications of such frameworks to the theory of content, to logical and semantic paradoxes, to the foundations of mathematics and informatics.

For full details:

Assessment details

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

Teaching pattern

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