more from Alfred Tarski

Single Idea 16303

[catalogued under 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


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]