7 ideas
| 9616 | A set is a collection into a whole of distinct objects of our intuition or thought [Cantor] |
| Full Idea: A set is any collection into a whole M of definite, distinct objects m ... of our intuition or thought. | |
| From: George Cantor (The Theory of Transfinite Numbers [1897], p.85), quoted by James Robert Brown - Philosophy of Mathematics Ch.2 | |
| A reaction: This is the original conception of a set, which hit trouble with Russell's Paradox. Cantor's original definition immediately invites thoughts about the status of vague objects. |
| 15896 | Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine] |
| Full Idea: Cantor grafted the Power Set axiom onto his theory when he needed it to incorporate the real numbers, ...but his theory was supposed to be theory of collections that can be counted, but he didn't know how to count the new collections. | |
| From: report of George Cantor (The Theory of Transfinite Numbers [1897]) by Shaughan Lavine - Understanding the Infinite I | |
| A reaction: I take this to refer to the countability of the sets, rather than the members of the sets. Lavine notes that counting was Cantor's key principle, but he now had to abandon it. Zermelo came to the rescue. |
| 14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
| Full Idea: Unlike Stalnaker, Lewis holds that indicative conditionals have the truth conditions of material conditionals. | |
| From: report of David Lewis (Counterfactuals [1973]) by Frank Jackson - Conditionals 'Further' | |
| A reaction: Thus Lewis only uses the possible worlds account for subjunctive conditionals, where Stalnaker uses it for both. Lewis is defending the truth-functional account for the indicative conditionals. |
| 8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
| Full Idea: According to Lewis, a counterfactual holds when the consequent is true in possible worlds very like our own except for the fact that the antecedent is true. | |
| From: report of David Lewis (Counterfactuals [1973]) by Paul Horwich - Lewis's Programme p.213 | |
| A reaction: Presumably the world being very like our own would make it unlikely that there would be anything else to cause the consequent, apart from the counterfactual antecedent. |
| 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 |
| 9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |
| Full Idea: A contingent generalization is a law of nature if and only if it appears as a theorem (or axiom) in each of the true deductive systems that achieves a best combination of simplicity and strength. | |
| From: David Lewis (Counterfactuals [1973], 3.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. |