39 ideas
| 8092 | Logic was merely a branch of rhetoric until the scientific 17th century [Devlin] |
| 8081 | 'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin] |
| 8085 | Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin] |
| 8086 | Predicate logic retains the axioms of propositional logic [Devlin] |
| 8091 | Situation theory is logic that takes account of context [Devlin] |
| 8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin] |
| 8089 | Montague's intensional logic incorporated the notion of meaning [Devlin] |
| 8082 | Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin] |
| 8072 | Sentences of apparent identical form can have different contextual meanings [Devlin] |
| 8075 | Space and time are atomic in the arrow, and divisible in the tortoise [Devlin] |
| 8088 | People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin] |
| 8073 | How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin] |
| 8076 | The distinction between sentences and abstract propositions is crucial in logic [Devlin] |
| 541 | Virtue comes more from habit than character [Critias] |
| 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] |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |