40 ideas
12027 | There must be a plausible epistemological theory alongside any metaphysical theory [Forbes,G] |
12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
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] |
12010 | Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules? [Forbes,G] |
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] |
12023 | Vagueness problems arise from applying sharp semantics to vague languages [Forbes,G] |
13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
12017 | In all instances of identity, there must be some facts to ensure the identity [Forbes,G] |
13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
12024 | If we combined two clocks, it seems that two clocks may have become one clock. [Forbes,G] |
13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
11885 | Only individual essences will ground identities across worlds in other properties [Forbes,G, by Mackie,P] |
12014 | An individual essence is a set of essential properties which only that object can have [Forbes,G] |
12015 | Non-trivial individual essence is properties other than de dicto, or universal, or relational [Forbes,G] |
12013 | Essential properties depend on a category, and perhaps also on particular facts [Forbes,G] |
12012 | Essential properties are those without which an object could not exist [Forbes,G] |
12022 | Same parts does not ensure same artefact, if those parts could constitute a different artefact [Forbes,G] |
12025 | Artefacts have fuzzy essences [Forbes,G] |
12020 | An individual might change their sex in a world, but couldn't have differed in sex at origin [Forbes,G] |
11888 | Identities must hold because of other facts, which must be instrinsic [Forbes,G, by Mackie,P] |
10709 | Priority is a modality, arising from collections and members [Potter] |
12003 | De re modal formulae, unlike de dicto, are sensitive to transworld identities [Forbes,G] |
12028 | De re necessity is a form of conceptual necessity, just as de dicto necessity is [Forbes,G] |
12008 | Unlike places and times, we cannot separate possible worlds from what is true at them [Forbes,G] |
12009 | The problem with possible worlds realism is epistemological; we can't know properties of possible objects [Forbes,G] |
12007 | Possible worlds are points of logical space, rather like other times than our own [Forbes,G] |
12011 | Transworld identity concerns the limits of possibility for ordinary things [Forbes,G] |
12016 | The problem of transworld identity can be solved by individual essences [Forbes,G] |
12004 | Counterpart theory is not good at handling the logic of identity [Forbes,G] |
12021 | Haecceitism attributes to each individual a primitive identity or thisness [Forbes,G] |
12029 | We believe in thisnesses, because we reject bizarre possibilities as not being about that individual [Forbes,G] |