7 ideas
| 10242 | I apply structuralism to concrete and abstract objects indiscriminately [Quine] |
| Full Idea: My own line is a yet more sweeping structuralism (than David Lewis's account of classes), applying to concrete and abstract objects indiscriminately. | |
| From: Willard Quine (Structure and Nature [1992], p.6), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9 | |
| A reaction: Shapiro calls this 'breathtaking', and retreats from it, but it is something like my own view, starting from Mill's pebbles and working up. |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
| A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
| A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
| 18521 | The criterion of existence is the possibility of action [Santayana] |
| Full Idea: The possibility of action ...is the criterion of existence, and the test of substantiality. | |
| From: George Santayana (The Realm of Matter [1930], p.107), quoted by John Heil - The Universe as We Find It | |
| A reaction: I rather like this. I think I would say the power is the criterion of existence. |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
| 10243 | My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine] |
| Full Idea: My tentative ontology continues to consist of quarks and their compounds, also classes of such things, classes of such classes, and so on. | |
| From: Willard Quine (Structure and Nature [1992], p.9), quoted by Stewart Shapiro - Philosophy of Mathematics 4.9 | |
| A reaction: I would call this the Hierarchy of Abstraction (just coined it - what do you think?). Unlike Quine, I don't see why its ontology should include things called 'sets' in addition to the things that make them up. |