Course description

While elementary logic courses focus on using classical logic, this module makes logic itself the subject of investigation. The course will tackle some basic mathematical properties of logics such as completeness, compactness and Löwenheim-Skolem theorems. Furthermore, various non-classical logics, motivated by philosophical and mathematical problems, will be investigated. These will include some of the following: modal, intuitionistic, fuzzy, relevant and many-valued logics. Examples of applications in philosophy are in metaphysics and epistemology, whereas in mathematics they are in graph theory and algebra.

Archived offerings