display all the ideas for this combination of philosophers
4 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'. |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
Full Idea: The existence of very general principles in mathematics are universally regarded as obvious, where on an empiricist view one would expect them to be bold hypotheses, about which a prudent scientist would maintain reserve. | |
From: Charles Parsons (Mathematical Intuition [1980], p.152), quoted by Penelope Maddy - Naturalism in Mathematics | |
A reaction: This is mainly aimed at Quine's and Putnam's indispensability (to science) argument about mathematics. |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
Full Idea: The finitist may have no conception of function, because functions are transfinite objects. | |
From: Charles Parsons (Review of Tait 'Provenance of Pure Reason' [2009], §4) | |
A reaction: He is offering a view of Tait's. Above my pay scale, but it sounds like a powerful objection to the finitist view. Maybe there is a finitist account of functions that could be given? |