back to ideas for this text


Single Idea 16303

[from 'The Concept of Truth for Formalized Languages' by Alfred Tarski, in 3. Truth / F. Semantic Truth / 2. Semantic Truth ]

Full Idea

Tarski's proof of the definability of truth allowed him to establish truth as a respectable notion by his standards.

Gist of Idea

Tarski made truth respectable, by proving that it could be defined

Source

report of Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Volker Halbach - Axiomatic Theories of Truth 3

Book Reference

Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.17


Related Ideas

Idea 16301 If people have big doubts about truth, a definition might give it more credibility [Halbach]

Idea 16295 Tarski proved that truth cannot be defined from within a given theory [Tarski, by Halbach]