display all the ideas for this combination of texts
2 ideas
9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
Full Idea: The standard requirement of definitions involves 'eliminability' (any defined terms must be replaceable by primitives) and 'non-creativity' (proofs of theorems should not depend on the definition). | |
From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
A reaction: [He cites Russell and Whitehead as a source for this view] This is the austere view of the mathematician or logician. But almost every abstract concept that we use was actually defined in a creative way. |
12585 | Most people can't even define a chair [Peacocke] |
Full Idea: Ordinary speakers are notoriously unsuccessful if asked to offer an explicit definition of the concept 'chair'. | |
From: Christopher Peacocke (A Study of Concepts [1992], 6.1) |