4 ideas
| 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. |
| 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. |
| 19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
| Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
| From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
| A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |
| 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. |