54 ideas
| 16477 | Asserting not-p is saying p is false [Russell] |
| 22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
| 11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
| 18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
| 8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
| 13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
| 8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
| 13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle] |
| 16484 | There are four experiences that lead us to talk of 'some' things [Russell] |
| 9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
| 16486 | The physical world doesn't need logic, but the mental world does [Russell] |
| 11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
| 2947 | Questions wouldn't lead anywhere without the law of excluded middle [Russell] |
| 18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
| 16480 | A disjunction expresses indecision [Russell] |
| 16479 | 'Or' expresses hesitation, in a dog at a crossroads, or birds risking grabbing crumbs [Russell] |
| 16481 | 'Or' expresses a mental state, not something about the world [Russell] |
| 16487 | Maybe the 'or' used to describe mental states is not the 'or' of logic [Russell] |
| 16483 | Disjunction may also arise in practice if there is imperfect memory. [Russell] |
| 3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
| 11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
| 8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
| 16475 | A 'heterological' predicate can't be predicated of itself; so is 'heterological' heterological? Yes=no! [Russell] |
| 14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
| 16482 | All our knowledge (if verbal) is general, because all sentences contain general words [Russell] |
| 4758 | Naïve realism leads to physics, but physics then shows that naïve realism is false [Russell] |
| 16476 | For simple words, a single experience can show that they are true [Russell] |
| 16485 | Perception can't prove universal generalisations, so abandon them, or abandon empiricism? [Russell] |
| 18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
| 16478 | A mother cat is paralysed if equidistant between two needy kittens [Russell] |
| 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] |