Combining Texts

Ideas for 'Parmenides', 'What Numbers Could Not Be' and 'Modal Logic as Metaphysics'

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

display all the ideas for this combination of texts


9 ideas

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
There are no such things as numbers [Benacerraf]
     Full Idea: There are no such things as numbers.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], IIIC)
     A reaction: Mill said precisely the same (Idea 9794). I think I agree. There has been a classic error of reification. An abstract pattern is not an object. If I coin a word for all the three-digit numbers in our system, I haven't created a new 'object'.
Numbers can't be sets if there is no agreement on which sets they are [Benacerraf]
     Full Idea: The fact that Zermelo and Von Neumann disagree on which particular sets the numbers are is fatal to the view that each number is some particular set.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], II)
     A reaction: I agree. A brilliantly simple argument. There is the possibility that one of the two accounts is correct (I would vote for Zermelo), but it is not actually possible to prove it.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / c. Priority of numbers
Benacerraf says numbers are defined by their natural ordering [Benacerraf, by Fine,K]
     Full Idea: Benacerraf thinks of numbers as being defined by their natural ordering.
     From: report of Paul Benacerraf (What Numbers Could Not Be [1965]) by Kit Fine - Cantorian Abstraction: Recon. and Defence §5
     A reaction: My intuition is that cardinality is logically prior to ordinality, since that connects better with the experienced physical world of objects. Just as the fact that people have different heights must precede them being arranged in height order.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / f. Cardinal numbers
To understand finite cardinals, it is necessary and sufficient to understand progressions [Benacerraf, by Wright,C]
     Full Idea: Benacerraf claims that the concept of a progression is in some way the fundamental arithmetical notion, essential to understanding the idea of a finite cardinal, with a grasp of progressions sufficing for grasping finite cardinals.
     From: report of Paul Benacerraf (What Numbers Could Not Be [1965]) by Crispin Wright - Frege's Concept of Numbers as Objects 3.xv
     A reaction: He cites Dedekind (and hence the Peano Axioms) as the source of this. The interest is that progression seems to be fundamental to ordianls, but this claims it is also fundamental to cardinals. Note that in the first instance they are finite.
A set has k members if it one-one corresponds with the numbers less than or equal to k [Benacerraf]
     Full Idea: Any set has k members if and only if it can be put into one-to-one correspondence with the set of numbers less than or equal to k.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], I)
     A reaction: This is 'Ernie's' view of things in the paper. This defines the finite cardinal numbers in terms of the finite ordinal numbers. He has already said that the set of numbers is well-ordered.
To explain numbers you must also explain cardinality, the counting of things [Benacerraf]
     Full Idea: I would disagree with Quine. The explanation of cardinality - i.e. of the use of numbers for 'transitive counting', as I have called it - is part and parcel of the explication of number.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], I n2)
     A reaction: Quine says numbers are just a progression, with transitive counting as a bonus. Interesting that Benacerraf identifies cardinality with transitive counting. I would have thought it was the possession of numerical quantity, not ascertaining it.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
We can count intransitively (reciting numbers) without understanding transitive counting of items [Benacerraf]
     Full Idea: Learning number words in the right order is counting 'intransitively'; using them as measures of sets is counting 'transitively'. ..It seems possible for someone to learn the former without learning the latter.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], I)
     A reaction: Scruton's nice question (Idea 3907) is whether you could be said to understand numbers if you could only count intransitively. I would have thought such a state contained no understanding at all of numbers. Benacerraf agrees.
Someone can recite numbers but not know how to count things; but not vice versa [Benacerraf]
     Full Idea: It seems that it is possible for someone to learn to count intransitively without learning to count transitively. But not vice versa.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], I)
     A reaction: Benacerraf favours the priority of the ordinals. It is doubtful whether you have grasped cardinality properly if you don't know how to count things. Could I understand 'he has 27 sheep', without understanding the system of natural numbers?
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
The application of a system of numbers is counting and measurement [Benacerraf]
     Full Idea: The application of a system of numbers is counting and measurement.
     From: Paul Benacerraf (What Numbers Could Not Be [1965], I)
     A reaction: A simple point, but it needs spelling out. Counting seems prior, in experience if not in logic. Measuring is a luxury you find you can indulge in (by imagining your quantity) split into parts, once you have mastered counting.