Ali Enayat

Department of Philosophy, Linguistics, and Theory of Science
University of Gothenburg, Sweden


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.

Language: Persian, but the slides will be in English.
Prerequisites: The rudiments of Mathematical Logic, approximately at the level of Dr. Ardeshir's textbook منطق ریاضی, and basic familiarity with Gödel's incompleteness theorems.

 Recommended Readings Before the Course:

  1. Axiomatic Theories of Truth, Stanford Encyclopedia of Philosophy,
  2. Tarski's Truth Definitions, Stanford Encyclopedia of Philosophy,