display all the ideas for this combination of texts
1 idea
18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
Full Idea: In the theory of types, 'x ∈ y' is well defined only if x and y are of the appropriate type, where individuals count as the zero type, sets of individuals as type one, sets of sets of individuals as type two. | |
From: Hilary Putnam (Philosophy of Logic [1971], Ch.6) |