display all the ideas for this combination of texts
3 ideas
| 16125 | To reveal a nature, divide down, and strip away what it has in common with other things [Plato] |
| Full Idea: Let's take the kind posited and cut it in two, .then follow the righthand part of what we've cut, and hold onto things that the sophist is associated with until we strip away everything he has in common with other things, then display his peculiar nature. | |
| From: Plato (The Statesman [c.356 BCE], 264e) | |
| A reaction: This seems to be close to Aristotle's account of definition, when he is trying to get at what-it-is-to-be some thing. But if you strip away everything the definiendum has in common with other things, will anything remain? |
| 16124 | No one wants to define 'weaving' just for the sake of weaving [Plato] |
| Full Idea: I don't suppose that anyone with any sense would want to hunt down the definition of 'weaving' for the sake of weaving itself. | |
| From: Plato (The Statesman [c.356 BCE], 285d) | |
| A reaction: The point seems to be that the definition brings out the connections between weaving and other activities and objects, thus enlarging our understanding. |
| 10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
| Full Idea: Impredicative Definitions are definitions of an object by reference to the totality to which the object itself (and perhaps also things definable only in terms of that object) belong. | |
| From: Kurt Gödel (Russell's Mathematical Logic [1944], n 13) |