Truth as Translation — Part B

Leitgeb, Hannes (August 2001): Truth as Translation — Part B. In: Journal of Philosophical Logic, Vol. 30, No. 4: pp. 309-328

Abstract

This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate — this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language.

• Item Type: Journal article
• Faculties: Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP); Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic
• Subjects: 100 Philosophy and Psychology > 160 Logic
• ISSN: 1573-0433
• Language: English