6 ideas
| 21959 | Metaphysics is the most general attempt to make sense of things [Moore,AW] |
| Full Idea: Metaphysics is the most general attempt to make sense of things. | |
| From: A.W. Moore (The Evolution of Modern Metaphysics [2012], Intro) | |
| A reaction: This is the first sentence of Moore's book, and a touchstone idea all the way through. It stands up well, because it says enough without committing to too much. I have to agree with it. It implies explanation as the key. I like generality too. |
| 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. |
| 21958 | Appearances are nothing beyond representations, which is transcendental ideality [Moore,AW] |
| Full Idea: Appearances in general are nothing outside our representations, which is just what we mean by transcendental ideality. | |
| From: A.W. Moore (The Evolution of Modern Metaphysics [2012], B535/A507) |
| 2605 | If everything uses mentalese, ALL concepts must be innate! [Putnam] |
| Full Idea: Fodor concludes that every predicate that a brain could learn to use must have a translation into the computer language of that brain. So no "new" concepts can be acquired: all concepts are innate! | |
| From: Hilary Putnam (What is innate and why [1980], p.407) | |
| A reaction: Some misunderstanding, surely? No one could be so daft as to think that everyone has an innate idea of an iPod. More basic innate building blocks for thought are quite plausible. |
| 2606 | No machine language can express generalisations [Putnam] |
| Full Idea: Computers have a built-in language, but not a language that contains quantifiers (that is, the words "all" and "some"). …So generalizations (containing "all") cannot ever be stated in machine language. | |
| From: Hilary Putnam (What is innate and why [1980], p.408) | |
| A reaction: Computers are too sophisticated to need quantification (which is crude). Computers can work with very precise and complex specifications of the domain of a given variable. |