Abstract. The origins of the area known as Formal/Axiomatic Theories of Truth can be found in Tarski's groundbreaking investigations in the first half of the twentieth century, and particularly his explication of the notion of "truth in a structure'', and his famous theorem about undefinability of truth. The area has been actively investigated both by mathematical and philosophical logicians, using advanced methods, especially those from model theory and proof theory. The aim of the course is to introduce the audience to the general concepts, questions, results, techniques, and literature of the subject, as expounded in the recent excellent expositions in the books Axiomatic Theories of Truth by Volker Halbach (2015), and The Epistemic Lightness of Truth (2017), by Cezary Cieśliński.
Recommended Readings Before the Course:
- Axiomatic Theories of Truth, Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/entries/truth-axiomatic/
- Tarski's Truth Definitions, Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/entries/tarski-truth/