30 ideas
10702 | Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter] |
10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
13044 | Infinity: There is at least one limit level [Potter] |
10708 | Nowadays we derive our conception of collections from the dependence between them [Potter] |
13546 | The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter] |
10707 | Mereology elides the distinction between the cards in a pack and the suits [Potter] |
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
13134 | We negate predicates but do not negate names [Westerhoff] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
13124 | Categories can be ordered by both containment and generality [Westerhoff] |
13117 | How far down before we are too specialised to have a category? [Westerhoff] |
13116 | Maybe objects in the same category have the same criteria of identity [Westerhoff] |
13118 | Categories are base-sets which are used to construct states of affairs [Westerhoff] |
13125 | Categories are held to explain why some substitutions give falsehood, and others meaninglessness [Westerhoff] |
13126 | Categories systematize our intuitions about generality, substitutability, and identity [Westerhoff] |
13130 | Categories as generalities don't give a criterion for a low-level cut-off point [Westerhoff] |
13131 | The aim is that everything should belong in some ontological category or other [Westerhoff] |
13123 | All systems have properties and relations, and most have individuals, abstracta, sets and events [Westerhoff] |
13115 | Ontological categories are like formal axioms, not unique and with necessary membership [Westerhoff] |
13119 | Categories merely systematise, and are not intrinsic to objects [Westerhoff] |
13135 | A thing's ontological category depends on what else exists, so it is contingent [Westerhoff] |
13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
13129 | Essential kinds may be too specific to provide ontological categories [Westerhoff] |
10709 | Priority is a modality, arising from collections and members [Potter] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |