This course is compulsory on the BSc in Philosophy and Economics. This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, ...

We consider the notion of structural completeness with respect to arbitrary (finitary and/or infinitary) inferential rules. Our main task is to characterize structurally complete intermediate logics.

Instead of a textbook, we will mostly use Halvorson's notes — see "Course notes" below. But it is also recommended that you obtain a copy of Boolos, Burgess, and Jeffrey, Computability and Logic.