Combining Texts

Ideas for 'Axiomatic Theories of Truth', 'The Human Condition' and 'Explanation and Reference'

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

display all the ideas for this combination of texts

---

1 idea

6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory

16308	Set theory was liberated early from types, and recent truth-theories are exploring type-free [Halbach]
	Full Idea: While set theory was liberated much earlier from type restrictions, interest in type-free theories of truth only developed more recently.
	From: Volker Halbach (Axiomatic Theories of Truth [2011], 4)
	A reaction: Tarski's theory of truth involves types (or hierarchies).