15 ideas
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| 17304 | As causation links across time, grounding links the world across levels [Schaffer,J] |
| 17306 | If ground is transitive and irreflexive, it has a strict partial ordering, giving structure [Schaffer,J] |
| 22049 | Transcendental idealism aims to explain objectivity through subjectivity [Bowie] |
| 22055 | The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie] |
| 22054 | German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie] |
| 22056 | Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie] |
| 17308 | Explaining 'Adam ate the apple' depends on emphasis, and thus implies a contrast [Schaffer,J] |
| 17305 | I take what is fundamental to be the whole spatiotemporal manifold and its fields [Schaffer,J] |
| 17307 | Nowadays causation is usually understood in terms of equations and variable ranges [Schaffer,J] |