Combining Texts

Ideas for 'The Roots of Reference', 'Truth and Meaning' and 'Begriffsschrift'

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

10607	Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P]
	Full Idea: Frege's general logical system involves a type hierarchy, distinguishing objects from properties from properties-of-properties etc., with every item belonging to a determinate level.
	From: report of Gottlob Frege (Begriffsschrift [1879]) by Peter Smith - Intro to Gödel's Theorems 14.1
	A reaction: The Theory of Types went on to apply this hierarchy to classes, where Frege's disastrous Basic Law V flattens the hierarchy of classes, putting them on the same level (Smith p.119)