8 ideas
| 17879 | Axiomatising set theory makes it all relative [Skolem] |
| Full Idea: Axiomatising set theory leads to a relativity of set-theoretic notions, and this relativity is inseparably bound up with every thoroughgoing axiomatisation. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.296) |
| 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? |
| 17878 | If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem] |
| Full Idea: Löwenheim's theorem reads as follows: If a first-order proposition is satisfied in any domain at all, it is already satisfied in a denumerably infinite domain. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.293) |
| 17880 | Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem] |
| Full Idea: The initial foundations should be immediately clear, natural and not open to question. This is satisfied by the notion of integer and by inductive inference, by it is not satisfied by the axioms of Zermelo, or anything else of that kind. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.299) | |
| A reaction: This is a plea (endorsed by Almog) that the integers themselves should be taken as primitive and foundational. I would say that the idea of successor is more primitive than the integers. |
| 17881 | Mathematician want performable operations, not propositions about objects [Skolem] |
| Full Idea: Most mathematicians want mathematics to deal, ultimately, with performable computing operations, and not to consist of formal propositions about objects called this or that. | |
| From: Thoralf Skolem (Remarks on axiomatised set theory [1922], p.300) |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |