display all the ideas for this combination of texts
5 ideas
10143 | 'Creative definitions' do not presuppose the existence of the objects defined [Fine,K] |
16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
9143 | Implicit definitions must be satisfiable, creative definitions introduce things, contextual definitions build on things [Fine,K, by Cook/Ebert] |
11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |