3 ideas
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
Full Idea: In Parsons's demonstrative model of counting, '1' means the first, and counting says 'the first, the second, the third', where one is supposed to 'tag' each object exactly once, and report how many by converting the last ordinal into a cardinal. | |
From: report of Charles Parsons (Frege's Theory of Numbers [1965]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
A reaction: This sounds good. Counting seems to rely on that fact that numbers can be both ordinals and cardinals. You don't 'convert' at the end, though, because all the way you mean 'this cardinality in this order'. |
9558 | All scientific tests will verify mathematics, so it is a background, not something being tested [Sober] |
Full Idea: If mathematical statements are part of every competing hypothesis, then no matter which hypothesis comes out best in the light of observations, they will be part of the best hypothesis. They are not tested, but are a background assumption. | |
From: Elliott Sober (Mathematics and Indispensibility [1993], 45), quoted by Charles Chihara - A Structural Account of Mathematics | |
A reaction: This is a very nice objection to the Quine-Putnam thesis that mathematics is confirmed by the ongoing successes of science. |
16674 | The quantity is just the matter, in that it has extended parts and is diffuse [Charleton] |
Full Idea: The extension or quantity of a thing is merely modus materiae, or (rather) the matter itself composing that thing; insomuch as it consists not in a point, but has parts posited without parts, in respect whereof it is diffuse. | |
From: Walter Charleton (Physiologia [1654], III.10.1.4), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 14.2 |