Combining Texts

Ideas for 'Philosophy of Mathematics', 'The Theory of Logical Types' and 'The Logic of Boundaryless Concepts'

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

display all the ideas for this combination of texts

---

1 idea

2. Reason / D. Definition / 8. Impredicative Definition

18137

Impredicative definitions are wrong, because they change the set that is being defined? [Bostock]