3 ideas
| 16519 | No one can conceive of a possible substance, apart from those which God has created [Arnauld] |
| Full Idea: I am much mistaken if there is anyone who dares to say that he can conceive of a purely possible substance, …for although one talks so much of them, one never conceives them except according to the notion of those which God has created. | |
| From: Antoine Arnauld (Letters to Leibniz [1686], 1686.05.13), quoted by David Wiggins - Sameness and Substance 4.2 | |
| A reaction: This idea cashes out in the 'necessitism' of Tim Williamson, and views on the Barcan formulae in modal logic. |
| 18779 | 'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague] |
| Full Idea: The expression 'The' turns out to play the role of a quantifier, in complete analogy with 'every' and 'a', and does not generate (in common with common noun phrases) denoting expressions | |
| From: Richard Montague (English as a Formal Language [1970], p.216), quoted by Bernard Linsky - Quantification and Descriptions 4 | |
| A reaction: Linsky says that it is now standard to interpret definite descriptions as quantifiers |
| 10245 | One geometry cannot be more true than another [Poincaré] |
| Full Idea: One geometry cannot be more true than another; it can only be more convenient. | |
| From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics | |
| A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate. |