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
19323
|
'Snow is white' depends on meaning; whether snow is white depends on snow
|
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
19137
|
We can get a substantive account of Tarski's truth by adding primitive 'true' to the object language
|