13 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] |
| 8967 | Not all predicates can be properties - 'is non-self-exemplifying', for example [Lowe] |
| 8965 | Neither mere matter nor pure form can individuate a sphere, so it must be a combination [Lowe] |
| 13230 | Particular essence is often captured by generality [Steiner,M] |
| 8968 | If the flagpole causally explains the shadow, the shadow cannot explain the flagpole [Lowe] |
| 13229 | Maybe an instance of a generalisation is more explanatory than the particular case [Steiner,M] |
| 13231 | Explanatory proofs rest on 'characterizing properties' of entities or structure [Steiner,M] |
| 8966 | Properties are facets of objects, only discussable separately by an act of abstraction [Lowe] |