) Modern theories of formal truth have traditionally been used to analyse semantic paradoxes, but their field of application goes well beyond this field to include ontological issues, Godel′s incompleteness phenomena, and the relationship between object language, meta language and reduction. All these fields have had new light sched upon them by studies on the theories of truth. In providing a first summary of the various approaches in this field the author documents their respective advantages and areas of application. The (...) emphasis here is on the axiomatic theories of truth developed by Cantini, Feferman, Friedman and the autor himself, which over the past ten years have increasingly gained ground over the semantic theories of Kripke et al. The book describes the way in which many of the aciomatic proposals are built up and expand on semantic theories. This ist the first time that the results in this field have been made accessible to readers in their larger context. The book deals in detail with the technical aspects and so is ideal as a point of entry into the vast array of literature on the metamathematics of this field. A key objective of the book is to extablish a connection between the latest theories of truth and the older constructions elaborated by Tarski. He made a number of important findings about the formal properties of truth back in the 1930s, but some of his constructions are now considered to be obsolete. Tarski′s views appear in a new light in this book since some of his ideas have only been formulated in recent years. (shrink)