14 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] |
| 10735 | Abstraction from objects won't reveal an operation's being performed 'so many times' [Geach] |
| 10732 | If concepts are just recognitional, then general judgements would be impossible [Geach] |
| 6383 | Cause unites our picture of the universe; without it, mental and physical will separate [Davidson] |
| 10731 | For abstractionists, concepts are capacities to recognise recurrent features of the world [Geach] |
| 10733 | The abstractionist cannot explain 'some' and 'not' [Geach] |
| 10734 | Only a judgement can distinguish 'striking' from 'being struck' [Geach] |
| 6385 | The causally strongest reason may not be the reason the actor judges to be best [Davidson] |
| 6384 | The notion of cause is essential to acting for reasons, intentions, agency, akrasia, and free will [Davidson] |