  Due to semantic paradoxes, Hilbert’s formalistic metamathematics and the syntacticism of the Vienna Circle, the concept of truth was expelled from the domain of logic. It was Tarski who changed this attitude. He was inspired by the Aristotelian tradition in philosophy, as well as the non-constructive style of working on the foundations of mathematics that was prevailed in Poland. In 1933, he published a book on the concept of truth (in Polish), translated into German in 1936 and English in 1956.