back to ideas for this text


Single Idea 10154

[from 'The Concept of Truth for Formalized Languages' by Alfred Tarski, in 6. Mathematics / C. Sources of Mathematics / 7. Formalism ]

Full Idea

Tarski's theory of truth has been most influential in eventually creating a shift from the entirely syntactic way of doing things in metamathematics (promoted by Hilbert in the 1920s, in his theory of proofs), towards a set-theoretical, semantic approach.

Gist of Idea

Tarski's theory of truth shifted the approach away from syntax, to set theory and semantics

Source

comment on Alfred Tarski (The Concept of Truth for Formalized Languages [1933]) by Feferman / Feferman - Alfred Tarski: life and logic Int III

Book Reference

Feferman,S/Feferman,A.B.: 'Alfred Tarski: life and logic' [CUP 2008], p.123