Studia Philosophica ): translated as The Concept of Truth in Formalized Languages, in Tarski, Logic, Semantics, Metamathematics transplanting referential semantics from artificial to natural languages has recently been undertaken, in various ways, by several philosophers and linguists.