Alfred Tarski and the "Concept of Truth in Formalized Languages"

A Running Commentary with Consideration of the Polish Original and the German Translation

  • Monika Gruber

Part of the Logic, Epistemology, and the Unity of Science book series (LEUS, volume 39)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Monika Gruber
    Pages 1-7
  3. Monika Gruber
    Pages 9-116
  4. Monika Gruber
    Pages 117-119
  5. Monika Gruber
    Pages 121-179
  6. Back Matter
    Pages 181-187

About this book


This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages.  Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work.


Concept of True Sentence in Languages of Finite Order Concept of True Sentence in Languages of Infinite Order Der Wahrheitsbegriff in den formalisierten Sprachen Formal theories of truth Metatheory vs. metascience Object languages and metalanguages Pojecie prawdy w jezykach nauk dedukcyjnych Tarski and intuition Tarski's Logic, Semantics, Metamathematics

Authors and affiliations

  • Monika Gruber
    • 1
  1. 1.University of Vienna WienAustria

Bibliographic information