38 ideas
18776 | Contextual definitions eliminate descriptions from contexts [Linsky,B] |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
18774 | Definite descriptions, unlike proper names, have a logical structure [Linsky,B] |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
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] |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |