display all the ideas for this combination of texts
4 ideas
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. |
17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
Full Idea: If we count the concept 'coin in this box', we could regard coin as the 'unit', while taking 'in this box' to limit the scope. Counting coins in two boxes would be not a difference in unit (kind of object), but in scope. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Counting') | |
A reaction: This is a very nice alternative to the Fregean view of counting, depending totally on the concept, and rests more on a natural concept of object. I prefer Ayers. Compare 'count coins till I tell you to stop'. |
17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
Full Idea: If we accepted that counting objects always presupposes some sortal, it is surely clear that the class of objects to be counted could be designated by two sortals rather than one. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vii) | |
A reaction: His nice example is an object which is both 'a single piece of wool' and a 'sweater', which had better not be counted twice. Wiggins struggles to argue that there is always one 'substance sortal' which predominates. |
21570 | Numbers are just verbal conveniences, which can be analysed away [Russell] |
Full Idea: Numbers are nothing but a verbal convenience, and disappear when the propositions that seem to contain them are fully written out. | |
From: Bertrand Russell (Is Mathematics purely Linguistic? [1952], p.301) | |
A reaction: This is the culmination of the process which began with his 1905 theory of definite descriptions. The intervening step was Wittgenstein's purely formal account of the logical connectives. |