5 ideas
| 17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
| Full Idea: De Morgan started the sustained interest in the study of relations and their properties. | |
| From: report of Augustus De Morgan (On the Syllogism IV [1859]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 |
| 13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
| Full Idea: There was a prejudice against relations (in favour of properties) but De Morgan and others that impeccable inferences turn on relations and elude Aristotle's syllogistic. Thus: All horses are animals. Hence, all heads of horses are heads of animals. | |
| From: report of Augustus De Morgan (On the Syllogism IV [1859]) by William D. Hart - The Evolution of Logic 4 | |
| A reaction: This is actually an early example of modern analytic philosophy in action. You start with the inferences, and then work back to the ontology and the definition of concepts. But in pinning down such concepts, do we miss their full meaning? |
| 17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
| Full Idea: In 1846 De Morgan introduced the enormously influential notion of a possibly arbitrary and stipulated 'universe of discourse'. It replaced Boole's original - and metaphysically a bit suspect - universe of 'all things'. | |
| From: report of Augustus De Morgan (works [1846]) by Michal Walicki - Introduction to Mathematical Logic History D.1.1 | |
| A reaction: This not only brings formal logic under control, but also reflects normal talk, because there is always an explicit or implicit domain of discourse when we talk. Of virtually any conversation, you can say what it is 'about'. |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 7006 | Observing irrelevant items supports both 'all x are y' and 'all x are non-y', revealing its absurdity [Schofield,J] |
| Full Idea: Although Hempel's raven paradox produces an absurdity of irrelevant observations, we can ignore it because (unlike good observations) observing a white handbag supports the contradictions of 'ravens are black' and 'ravens are non-black'. | |
| From: Jonathan Schofield (talk [2005]), quoted by PG - Db (ideas) | |
| A reaction: The idea of 'eliminating it from our enquiries' cannot be totally irrational (e.g. in detective work), but it is only seriously sensible in a restricted domain (such as a country house) |