Semantics and Truth

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 byAlfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical andphilosophical. 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 andcontra) 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).