The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski¿s motivation and presents discussions about his ideas (pro and contra) as well as points out various applications of the semantic theory of truth to philosophical problems (truth-criteria, realism and anti-realism, future contingents or the concept of correspondence between language and reality).

Chapter 1. Truth in Ancient Philosophy.- Chapter 2. Truth from Anselm of Canterbury to Kant.- Chapter 3. Truth in 19^th  and 20^th  Century.- Chapter 4. Tasks of Truth-Theories.- Chapter 5. Matters of Logic.- Chapter 6. Matters of Semantics.- Chapter 7. Semantic Theory of Truth-Informal Aspects.- Chapter 8. Formal Aspects of STT.- Chapter 9. Interpretative, Comparative and Philosophical Issues.