26 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] |
13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
16648 | Accidents must have formal being, if they are principles of real action, and of mental action and thought [Duns Scotus] |
15386 | If only the singular exists, science is impossible, as that relies on true generalities [Duns Scotus, by Panaccio] |
15387 | If things were singular they would only differ numerically, but horse and tulip differ more than that [Duns Scotus, by Panaccio] |
16632 | We distinguish one thing from another by contradiction, because this is, and that is not [Duns Scotus] |
13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
13094 | The haecceity is the featureless thing which gives ultimate individuality to a substance [Duns Scotus, by Cover/O'Leary-Hawthorne] |
13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
16770 | It is absurd that there is no difference between a genuinely unified thing, and a mere aggregate [Duns Scotus] |
13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
10919 | What prevents a stone from being divided into parts which are still the stone? [Duns Scotus] |
13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
16768 | Two things are different if something is true of one and not of the other [Duns Scotus] |
13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |