Combining Philosophers

Ideas for H.Putnam/P.Oppenheim, Volker Halbach and Nicholas P. White

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

display all the ideas for this combination of philosophers

---

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).