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:
Summative assessment: 1 x 2 hour examination (100%)
One two-hour weekly weekly lecture and one one-hour weekly seminar.