Note: Full functionality of this website requires JavaScript to be enabled in your browser.

# Platonism and the Infinite

Page last updated 09 Sep 2021

In this section of the website, the inter-relationship between Platonist beliefs, the misuse of language and the failure to recognize that misuse, and how it applies to the concept of infinity are analyzed. It will be shown that the Platonist notion of an ‘actual’ ‘existing’ infinity leads to contradictions that render such notions logically invalid, and inapplicable to rigorous mathematical analysis.

## Misapplying rules from one concept to another

As long ago as 1638, Galileo warned about ‘*how gravely one errs in trying to reason about infinities by using the same attributes that we apply to finites*’. He said this in response to the observation that the square numbers (the numbers that result from multiplying a number by itself) is a subset of the set of all natural numbers, but which is also infinite. He concluded that ‘*equal, greater and less have no place in the infinite*’.

Since the time of Galileo you might expect that the mathematical world, in common with the rest of the modern world, would have moved away from primitive irrational beliefs. But no, Platonists have become even more entrenched in their beliefs in the ‘actual’ ‘existence’ of mathematical things, and the ‘existence’ of an ‘actual’ infinity. (Footnote:
For example, Paul Cohen said, ‘*For me the essential point is the existence of infinite totalities. The attitude toward infinite sets has traditionally been the great dividing line between mathematicians.*’

Paul J. Cohen [1971]: Comments on the Foundations of Set Theory, in: Axiomatic Set Theory, ed. D. Scott, Proceedings of Symposia in Pure Mathematics, Vol. 13, Part 1, Amer. Math. Soc., Providence, RI, pp 9-15., p. 10.)

It should hardly be necessary to point out that we cannot simply extend existing concepts that apply to finite sets and apply them to infinite sets without first undertaking a thorough analysis of what one is doing. For example, given any finite set that includes all the positive integers up to a certain number, there is * always* one of the elements of the set which is the same as the number of elements in the set. That is, there is a correspondence between a property of that set and one of its elements. For the set of

*all*positive natural numbers, this does not apply. There is no largest element. There is no element of the set that represents the number of elements in that set. There is no correspondence between a property of that set and one of its elements in the same way as there is for finite sets.

It is worth noting that one of the key arguments that Platonists bring to the table in support of their notions is the Indispensability Argument, which argues that since scientific theories use mathematics, then mathematical entities, including infinite entities must actually exist. For more on Platonism see Platonism, The Myths of Platonism, Platonism’s Logical Blunder, Numbers, chairs and unicorns and the posts Moderate Platonism and Descartes’ Platonism.

## What is infinity?

So what is infinity? To ask what ‘infinity’ is rather misses the point, because what we actually talk about are things that are infinite, so when we refer to ‘infinite’, we use the term ‘infinite’ as an adjective used to describe something. And while we use the term ‘infinite’ to mean the converse of ‘finite’, i.e. ‘not finite’, we have no word that means the converse of ‘infinity’. So the correct question to ask is: What does ‘infinite’ mean? - and the primary characteristic of something that is infinite is a limitlessness, the lack of a limit of some aspect of whatever we are referring to.

Many people make the error of talking about ‘infinite’ as if it refers to a quantity, whereas in fact it refers to an ** absence** of definite quantity. When someone asserts that one infinity is ‘greater’ than another infinity, they are saying that one absence of definite quantity is greater than another absence of definite quantity.

## Contradictions arising from ‘actual’ infinities

Platonists believe that such concepts as natural numbers ‘exist’ as ‘actual’ things independently of any human definition of numbers, and similarly that the set of all natural numbers ‘exists’ as an ‘actual’ thing independent of any human definition. Once you have the concept that the set of all natural numbers ‘exists’ as an ‘actual’ thing, then it follows that you also will have the concept that every possible natural number ‘exists’ and is in this set.

Now, numbers are very special in that they can always be set in order; every number can be set into order against all other numbers. And every natural number is defined as being just one greater than another number, and that number in turn is just one greater than another number, and so on. And no matter what natural number we pick, by the definition of a natural number, there will still be only a * finite* number of these ‘greater by one’ steps back to the number zero. The fundamental point is that you can’t ever reach “infinity” - a limitlessly large number - by incremental steps; all that incremental steps do is increase the size of a finite number, and its size is still finite.

So, suppose for a moment that there could actually ‘exist’ in some independent ‘actual’ sense, as some sort of ‘reality’, a set of more than a finite quantity of natural numbers. Then since every number has an innate order with respect to every other number, that would mean that there would be at least one number (actually, limitlessly many) for which there are more than a finite number of steps back to the number zero.

But if that was the case then that number would itself be greater than any finite number – which would mean that it was not actually a natural number at all ! And that is a contradiction.

This contradiction only arises when there is a Platonist insistence on the ‘existence’ of an ‘actual’ set of natural numbers, independent of human thought. If we simply accept that we have definitions that give rise to limitless series, then we simply say that the set of natural numbers is ** a set that is given by a certain definition**. And with that, there is no problem is stating that there no limit to the size of the set.

### And more …

For more formal demonstrations of contradictions arising from the Platonist beliefs in the ‘existence’ of ‘actual’ infinite sets, see The Courant & Robbins contradiction, Sums of infinitely many fractions: 1 and Sums of infinitely many fractions: 2.

### And still more …

For demonstrations of how the Platonist belief in infinities results in flawed arguments, see Real numbers and Language, The Diagonal Proof, A list with no Diagonal number, Georg Cantor’s 1874 Proof, The Power Set Proof, and Proof of more Real numbers than Natural numbers.

You can also see a formal paper on some of the problems of calculating the measure of some sets that are defined in terms of limitlessness, see On Smith-Volterra-Cantor sets and their measure.

For more on Platonism see Platonism, The Myths of Platonism, Platonism’s Logical Blunder, Numbers, chairs and unicorns and the posts Moderate Platonism and Descartes’ Platonism.

See the analysis of David Hilbert’s On the Infinite which shows how unproven Platonist assumptions are slipped in as justifications for notions that are blatantly contradictory.

And see Shaughan Lavine’s “*Understanding the Infinite*” for an example of set theoretical propaganda masquerading as a rational argument, but which is a disgraceful misrepresentation of historical facts, and is replete with logical fallacies.

Footnotes:

**Interested in supporting this site?**

You can help by sharing the site with others. You can also donate at _{} where there are full details.

As site owner I reserve the right to keep my comments sections as I deem appropriate. I do not use that right to unfairly censor valid criticism. My reasons for deleting or editing comments do not include deleting a comment because it disagrees with what is on my website. Reasons for exclusion include:

Frivolous, irrelevant comments.

Comments devoid of logical basis.

Derogatory comments.

Long-winded comments.

Comments with excessive number of different points.

Questions about matters that do not relate to the page they post on. Such posts are not comments.

Comments with a substantial amount of mathematical terms not properly formatted will not be published unless a file (such as doc, tex, pdf) is simultaneously emailed to me, and where the mathematical terms are correctly formatted.

Reasons for deleting comments of certain users:

Bulk posting of comments in a short space of time, often on several different pages, and which are not simply part of an ongoing discussion. Multiple anonymous usernames for one person.

Users, who, when shown their point is wrong, immediately claim that they just wrote it incorrectly and rewrite it again - still erroneously, or else attack something else on my site - erroneously. After the first few instances, further posts are deleted.

Users who make persistent erroneous attacks in a scatter-gun attempt to try to find some error in what I write on this site. After the first few instances, further posts are deleted.

Difficulties in understanding the site content are usually best addressed by contacting me by e-mail.

Note: a password enables editing of comments, an email enables notification of replies