Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Theory of Knowledge (2nd edn)' and 'Intro to Gdel's Theorems'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth

10613	No nice theory can define truth for its own language [Smith,P]
	Full Idea: No nice theory can define truth for its own language.
	From: Peter Smith (Intro to Gödel's Theorems [2007], 21.5)
	A reaction: This leads on to Tarski's account of truth.