Combining Philosophers

Ideas for Charles Parsons, Ashvaghosha and Michael Morris

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


4 ideas

6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M]
     Full Idea: Just distinguishing things is not enough for counting (and hence arithmetic). We need the crucial extra notion of the successor in a series of some kind.
     From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro.5)
     A reaction: This is a step towards the Peano Axioms of arithmetic. The successors could be fingers and toes, taken in a conventional order, and matched one-to-one to the objects. 'My right big toe of cows' means 16 cows (but non-verbally).
To count, we must distinguish things, and have a series with successors in it [Morris,M]
     Full Idea: Distinguishing between things is not enough for counting. …We need the crucial extra notion of a successor in a series of a certain kind.
     From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro)
     A reaction: This is the thinking that led to the Dedekind-Peano axioms for arithmetic. E.g. each series member can only have one successor. There is an unformalisable assumption that the series can then be applied to the things.
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'.
Discriminating things for counting implies concepts of identity and distinctness [Morris,M]
     Full Idea: The discrimination of things for counting needs to bring with it the notion of identity (and, correlatively, distinctness).
     From: Michael Morris (Guidebook to Wittgenstein's Tractatus [2008], Intro.5)
     A reaction: Morris is exploring how practices like counting might reveal necessary truths about the world.