44 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] |
9406 | A class is natural when everybody can spot further members of it [Quinton] |
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] |
15730 | Extreme nominalists say all classification is arbitrary convention [Quinton] |
15728 | The naturalness of a class depends as much on the observers as on the objects [Quinton] |
9407 | Properties imply natural classes which can be picked out by everybody [Quinton] |
15729 | Uninstantiated properties must be defined using the instantiated ones [Quinton] |
8520 | An individual is a union of a group of qualities and a position [Quinton, by Campbell,K] |
20547 | We should respect the right of people to live in their own way, even if it is irrational [Swift] |
20564 | Anti-colonial movements usually invoke the right of their 'people' to self-determination [Swift] |
20535 | Isn't it more rational to maximise the average position, but with a safety net? [Swift] |
20537 | Hypothetical contracts have no binding force [Swift] |
20542 | Cosmopolitans reject the right of different states to distribute resources in different ways [Swift] |
20559 | Democracy is bad, but the other systems are worse [Swift] |
20561 | Since all opinions are treated as equal in democracy, it implies there are no right answers [Swift] |
20562 | Design your democracy to treat citizens equally, or to produce better citizens? [Swift] |
20563 | Design your democracy to yield political stability, or good decisions? [Swift] |
20560 | Teledemocracy omits debate and deliberation, which are important parts of good decisions [Swift] |
20554 | Multiculturalism is a barrier to the whole state being a community [Swift] |
20553 | Liberals mistakenly think individuals choose their values, without reference to the community [Swift] |
20556 | The best way to build a cohesive community is to be involved in a war [Swift] |
20557 | Membership and inclusion in a community implies non-membership and exclusion [Swift] |
20555 | Liberals are concerned to protect individuals from too much community [Swift] |
20540 | Redistributing wealth treats some people as means, rather than as ends [Swift] |
20551 | Men have had the power to structure all of our social institutions [Swift] |
20545 | Maybe a freedom is from a restraint, and also in order to do something [Swift] |
20550 | Opportunity should ignore extraneous factors, or foster competence, or ignore all disadvantages [Swift] |
20536 | Inequalities are needed, as incentives to do the most important jobs [Swift] |
20548 | A person can desire redistibution of wealth, without it being for reasons of equality [Swift] |
20541 | You can't necessarily sell your legitimate right to something, even if you produced it [Swift] |
20546 | Libertarians about property ignore the fact that private property is a denial of freedoms [Swift] |
20533 | Justice can be seen as fairness or entitlement or desert [Swift] |