18 ideas
14779 | I reason in order to avoid disappointment and surprise [Peirce] |
14777 | That a judgement is true and that we judge it true are quite different things [Peirce] |
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] |
14780 | Only study logic if you think your own reasoning is deficient [Peirce] |
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] |
14778 | Facts are hard unmoved things, unaffected by what people may think of them [Peirce] |
17954 | Essence is a thing's necessities, but what about its possibilities (which may not be realised)? [Vetter] |
17953 | Real definition fits abstracta, but not individual concrete objects like Socrates [Vetter] |
17952 | Modal accounts make essence less mysterious, by basing them on the clearer necessity [Vetter] |
17959 | Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter] |
17957 | Maybe possibility is constituted by potentiality [Vetter] |
17955 | Possible worlds allow us to talk about degrees of possibility [Vetter] |
17958 | The apparently metaphysically possible may only be epistemically possible [Vetter] |
17956 | Closeness of worlds should be determined by the intrinsic nature of relevant objects [Vetter] |