Combining Texts

Ideas for 'Structures and Structuralism in Phil of Maths', 'Philosophy of Mathematics' and 'The Tarskian Turn'

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 / 2. Aims of Definition

9641	Definitions should be replaceable by primitives, and should not be creative [Brown,JR]

15352

A definition should allow the defined term to be eliminated [Horsten]