Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'The Runabout Inference Ticket' and 'Introducing the Philosophy of Mathematics'

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

display all the ideas for this combination of texts

---

2 ideas

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

8721	An 'impredicative' definition seems circular, because it uses the term being defined [Friend]

2. Reason / D. Definition / 10. Stipulative Definition

8680	Classical definitions attempt to refer, but intuitionist/constructivist definitions actually create objects [Friend]