51 ideas
| 15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
| 17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
| 17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
| 10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
| 13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
| 17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
| 13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
| 13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
| 13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
| 13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
| 13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
| 18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
| 13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
| 9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
| 13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
| 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] |
| 13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
| 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] |
| 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] |
| 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] |
| 7222 | It is a crime for someone with a violent disposition to get drunk [Mill] |
| 7214 | Ethics rests on utility, which is the permanent progressive interests of people [Mill] |
| 7212 | Individuals have sovereignty over their own bodies and minds [Mill] |
| 7210 | The will of the people is that of the largest or most active part of the people [Mill] |
| 7227 | It is evil to give a government any more power than is necessary [Mill] |
| 7228 | Individuals often do things better than governments [Mill] |
| 7230 | Aim for the maximum dissemination of power consistent with efficiency [Mill] |
| 20515 | Maximise happiness by an area of strict privacy, and an area of utilitarian interventions [Mill, by Wolff,J] |
| 7229 | People who transact their own business will also have the initiative to control their government [Mill] |
| 7211 | Prevention of harm to others is the only justification for exercising power over people [Mill] |
| 7231 | The worth of a State, in the long run, is the worth of the individuals composing it [Mill] |
| 7217 | The main argument for freedom is that interference with it is usually misguided [Mill] |
| 7213 | Liberty arises at the point where people can freely and equally discuss things [Mill] |
| 20517 | Utilitarianism values liberty, but guides us on which ones we should have or not have [Mill, by Wolff,J] |
| 20516 | Mill defends freedom as increasing happiness, but maybe it is an intrinsic good [Wolff,J on Mill] |
| 7215 | True freedom is pursuing our own good, while not impeding others [Mill] |
| 7218 | Individuals are not accountable for actions which only concern themselves [Mill] |
| 7221 | Blocking entry to an unsafe bridge does not infringe liberty, since no one wants unsafe bridges [Mill] |
| 7223 | Pimping and running a gambling-house are on the border between toleration and restraint [Mill] |
| 7220 | Restraint for its own sake is an evil [Mill] |
| 7219 | Society can punish actions which it believes to be prejudicial to others [Mill] |
| 7226 | Benefits performed by individuals, not by government, help also to educate them [Mill] |
| 7224 | We need individual opinions and conduct, and State education is a means to prevent that [Mill] |
| 7225 | It is a crime to create a being who lacks the ordinary chances of a desirable existence [Mill] |
| 7216 | The ethics of the Gospel has been supplemented by barbarous Old Testament values [Mill] |