Single Idea 10154

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