display all the ideas for this combination of texts
3 ideas
| 9955 | Contextual definitions replace a complete sentence containing the expression [George/Velleman] |
| 22285 | Impredicative definitions are circular, but fine for picking out, rather than creating something [Potter] |
| 10031 | Impredicative definitions quantify over the thing being defined [George/Velleman] |