more on this theme     |     more from this thinker


Single Idea 17458

[filed under theme 6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique ]

Full Idea

Equinumerosity is not the same concept as being in one-one correspondence with.

Gist of Idea

Equinumerosity is not the same concept as one-one correspondence

Source

Richard G. Heck (Cardinality, Counting and Equinumerosity [2000], 6)

Book Ref

-: 'Notre Dame Journal of Formal Logic' [-], p.203


A Reaction

He says this is the case, even if they are coextensive, like renate and cordate. You can see that five loaves are equinumerous with five fishes, without doing a one-one matchup.


The 11 ideas from 'Cardinality, Counting and Equinumerosity'

In counting, numerals are used, not mentioned (as objects that have to correlated) [Heck]
We can understand cardinality without the idea of one-one correspondence [Heck]
Understanding 'just as many' needn't involve grasping one-one correspondence [Heck]
We can know 'just as many' without the concepts of equinumerosity or numbers [Heck]
Children can use numbers, without a concept of them as countable objects [Heck]
Is counting basically mindless, and independent of the cardinality involved? [Heck]
Counting is the assignment of successively larger cardinal numbers to collections [Heck]
The meaning of a number isn't just the numerals leading up to it [Heck]
A basic grasp of cardinal numbers needs an understanding of equinumerosity [Heck]
Equinumerosity is not the same concept as one-one correspondence [Heck]
Frege's Theorem explains why the numbers satisfy the Peano axioms [Heck]