display all the ideas for this combination of philosophers
4 ideas
| 10237 | Coherence is a primitive, intuitive notion, not reduced to something formal [Shapiro] |
| 17774 | Definitions make our intuitions mathematically useful [Mayberry] |
| 10204 | An 'implicit definition' gives a direct description of the relations of an entity [Shapiro] |
| 17773 | Proof shows that it is true, but also why it must be true [Mayberry] |