16 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] |
| 9807 | In pursuing truth, anything less certain than mathematics is a waste of time [Descartes] |
| 20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
| 20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
| 20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
| 20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
| 20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
| 20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
| 20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
| 20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
| 20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |