17 ideas
| 13099 | Analysing right down to primitive concepts seems beyond our powers [Leibniz] |
| 5022 | We hold a proposition true if we are ready to follow it, and can't see any objections [Leibniz] |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| 3509 | Externalism may be the key idea in philosophical naturalism [Papineau] |
| 3513 | How does a dualist mind represent, exist outside space, and be transparent to itself? [Papineau] |
| 3514 | Functionalism needs causation and intentionality to explain actions [Papineau] |
| 3510 | Epiphenomenalism is supervenience without physicalism [Papineau] |
| 3511 | Supervenience requires all mental events to have physical effects [Papineau] |
| 3515 | Knowing what it is like to be something only involves being (physically) that thing [Papineau] |
| 3512 | If a mental state is multiply realisable, why does it lead to similar behaviour? [Papineau] |
| 3516 | The Private Language argument only means people may misjudge their experiences [Papineau] |