7 ideas
| 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. |
| 12695 | Epicurean atomists say body is sensible, to distinguish it from space. [Garber] |
| Full Idea: The Epicurean atomists also defined body in terms of the property of being sensible, in order to distinguish it from empty space, which is not sensible. | |
| From: Daniel Garber (Leibniz:Body,Substance,Monad [2009], 1) | |
| A reaction: This is a very illuminating bit of background, for those of us who have the knee-jerk reaction that monadology is barking mad. |
| 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) | |
| A reaction: Personally I think numbers are rooted in experience, though pure arithmetic has travelled a long way since it started. I doubt whether arithmetic is possible without counting things. I don't think I believe in the 'pure' a priori. |
| 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) | |
| A reaction: There's a shift here, from his own 'properties' to the 'intrinsic properties' of the abstracta. Presumably his own 'intrinsic' properties are not accidental. In fact, intrinsic properties tend to be essential properties, I think. |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |
| 12705 | Epicurean atoms are distinguished by their extreme hardness [Garber] |
| Full Idea: In Epicurean atomism (of Cordemoy, for example) there is a world of basic things distinguished by virtue of their extreme hardness. | |
| From: Daniel Garber (Leibniz:Body,Substance,Monad [2009], 2) | |
| A reaction: Garber says that Leibniz espouses 'substantial atomism', which is different from this. Leibniz's atoms have active power, where these atoms just embody total resistance. |