Philosophy of Logic II

Pre-requisites: None

Course objectives: The student should get acquainted with some important philosophical problems concerning logic and the foundations of mathematics. These problems often lead to some of the most important questions in the philosophy of language and also in the philosophy of mind. They are inspired by what are philosophically the most interesting branches of logic and mathematics: proof theory, set theory, category theory etc.

Course description: Important philosophical problems arising from logic and the foundations of mathematics and their consequences for philosophy.

Learning Outcomes: The student who has mastered this material will be able to appreciate philosophically interesting mathematical problems from the standpoints of modern achievements.