Deductive structures

Pre-requisites: Prerequisites: First-year course in Logic and a second-year course in Mathematics.

Course objectives: A student should learn the basic concepts of category theory which are of great interest in mathematics in general, as well as in logic and proof theory, in particular. The whole of this subject has its philosophical side which explains the concept of abstraction and the intensional aspects of deduction.

Course description: Basic concepts of category theory and their connections with logic and proof theory.

Learning Outcomes: A student who has mastered this material will be able to appreciate philosophically interesting mathematical problems from the standpoints of modern achievements and also to better understand some recent research in logic.