4 ideas
| 18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
| Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
| From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
| 17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |
| Full Idea: Principles must be judged from the point of view of science, and not science from the point of view of principles fixed once and for all. Geometry existed before Euclid's 'Elements', just as arithmetic and set theory did before Peano's 'Formulaire'. | |
| From: Ernst Zermelo (New Proof of Possibility of Well-Ordering [1908], §2a) | |
| A reaction: This shows why the axiomatisation of set theory is an ongoing and much-debated activity. |
| 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. |