4 ideas
| 10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
| Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
| From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
| 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. |
| 17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |
| Full Idea: Cartwright objects that the claim that theories represent what happens in actual situations is to overlook that the concepts used in them (such as 'force functions' and 'Hamiltonians') are abstract. | |
| From: report of Nancy Cartwright (The Dappled World [1999]) by Demetris Portides - Models 'Current' | |
| A reaction: I'm not convinced by this. The term 'abstract' is too loose. In a sense most words are abstract because they are universals. If I say 'that's a cat', that is a very accurate remark, despite the generality of 'cat'. |
| 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. |