Ideas from 'Truth' by Anil Gupta [2001], by Theme Structure

[found in 'Blackwell Guide to Philosophical Logic' (ed/tr Goble,Lou) [Blackwell 2001,0-631-20693-0]].

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

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true)
3. Truth / F. Semantic Truth / 2. Semantic Truth
A weakened classical language can contain its own truth predicate
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
The Liar reappears, even if one insists on propositions instead of sentences
Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true