12 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] |
| 19369 | Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R] |
| 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] |
| 14590 | If we accept scattered objects such as archipelagos, why not think of cars that way? [Hawthorne] |
| 14591 | Four-dimensionalists say instantaneous objects are more fundamental than long-lived ones [Hawthorne] |
| 14589 | A modal can reverse meaning if the context is seen differently, so maybe context is all? [Hawthorne] |
| 14588 | Modern metaphysicians tend to think space-time points are more fundamental than space-time regions [Hawthorne] |
| 19371 | Nine principles of God: goodness, greatness, eternity, power, wisdom, will, virtue, truth and glory [Lull, by Arthur,R] |