Ideas from 'Tarski on Truth and Logical Consequence' by John Etchemendy [1988], by Theme Structure

[found in 'Philosophy of Logic: an anthology' (ed/tr Jacquette,Dale) [Blackwell 2002,0-631-21868-8]].

green numbers give full details    |     back to texts     |     expand these ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
'Snow is white' depends on meaning; whether snow is white depends on snow
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language