Single Idea 16296

[catalogued under 3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique]

Full Idea

Tarski's Theorem applies to any sufficient precise version of the correspondence theory of truth, and all the other traditional theories of truth.

Gist of Idea

Tarski's Theorem renders any precise version of correspondence impossible

Source

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

Book Reference

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


A Reaction

This is the key reason why modern thinkers have largely dropped talk of the correspondence theory. See Idea 16295.

Related Idea

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