Single Idea 19120

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

Full Idea

Semantic approaches to truth usually necessitate the use of a metalanguage that is more powerful than the object-language for which it provides a semantics. It is usually taken to include set theory.

Gist of Idea

Semantic theories need a powerful metalanguage, typically including set theory


Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [], p.2

A Reaction

This is a motivation for developing an axiomatic account of truth, that moves it into the object language.