display all the ideas for this combination of texts
4 ideas
8721 | An 'impredicative' definition seems circular, because it uses the term being defined [Friend] |
8680 | Classical definitions attempt to refer, but intuitionist/constructivist definitions actually create objects [Friend] |
23769 | Promoting an ontology by its implied good metaphysic is an 'argument-by-display' [Williams,NE] |
3678 | Reductio ad absurdum proves an idea by showing that its denial produces contradiction [Friend] |