17 ideas
17082 | Paradox: why do you analyse if you know it, and how do you analyse if you don't? [Ruben] |
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] |
8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
17087 | The 'symmetry thesis' says explanation and prediction only differ pragmatically [Ruben] |
17081 | Usually explanations just involve giving information, with no reference to the act of explanation [Ruben] |
17092 | An explanation needs the world to have an appropriate structure [Ruben] |
17090 | Most explanations are just sentences, not arguments [Ruben] |
17094 | The causal theory of explanation neglects determinations which are not causal [Ruben] |
17088 | Reducing one science to another is often said to be the perfect explanation [Ruben] |
17089 | Facts explain facts, but only if they are conceptualised or named appropriately [Ruben] |