display all the ideas for this combination of texts
3 ideas
16541 | All the intrinsic properties of a thing should be deducible from its definition [Spinoza] |
Full Idea: The definition of a thing should be such that all the properties of that thing, in so far as it is considered by itself, and not in conjunction with other things, can be deduced from it. | |
From: Baruch de Spinoza (Improvement of Understanding [1675], p.35), quoted by E.J. Lowe - What is the Source of Knowledge of Modal Truths? 6 | |
A reaction: This is exactly what Locke requires of a real essence (though he is pessimistic about ever achieving it). Spinoza is talking of an Aristotelian real definition, which may be complex, and not a lexicographer's short verbal explication. |
16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
Full Idea: We construct a sense out of its constituents and introduce an entirely new sign to express this sense. This may be called a 'constructive definition', but we prefer to call it a 'definition' tout court. It contrasts with an 'analytic' definition. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.210) | |
A reaction: An analytic definition is evidently a deconstruction of a past constructive definition. Fregean definition is a creative activity. |
11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
Full Idea: Frege has defended the austere view that, in mathematics at least, only stipulative definitions should be countenanced. | |
From: report of Gottlob Frege (Logic in Mathematics [1914]) by Anil Gupta - Definitions 1.3 | |
A reaction: This sounds intriguingly at odds with Frege's well-known platonism about numbers (as sets of equinumerous sets). It makes sense for other mathematical concepts. |