Semantic revolution: Godel vs Tarski

The article considers two approaches to the definition of the central concept of semantics, namely, the formalized definition of the concept of truth. It is shown that the arithmetization of syntax, applied by Gödel in the proof of the First incompleteness theorem, although used also by Tarski, occupies a modest place in his work. The reasons for Gödel's adherence to syntactic methods and the avoidance of the notion of truth are analyzed. It is shown that the theorem on the indeterminacy of truth in Tarski's formal systems has been proved by him as part of a broader program on the way to the theory of models.

Keywords: semantics, truth, definition, formalization, Gödel, Tarski.