Single Idea 15345

[catalogued under 3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth]

Full Idea

Semantic theories give a class of models with a truth predicate, ...but Tarski taught us that this needs a more encompassing framework than its language...so how is the semantics of the framework expressed? The model route has a regress.

Gist of Idea

Semantic theories have a regress problem in describing truth in the languages for the models

Source

Leon Horsten (The Tarskian Turn [2011], 02.3)

Book Reference

Horsten,Leon: 'The Tarskian Turn' [MIT 2011], p.21


A Reaction

[compressed] So this regress problem, of endless theories of truth going up the hierarchy, is Horsten's main reason for opting for axiomatic theories, which he then tries to strengthen, so that they are not quite so deflated.