Logic and
Load the menuLoad the menu

Copyright   James R Meyer    2012 - 2024 https://www.jamesrmeyer.com

The Consistency of Arithmetic by Storrs McCall

Page last updated 10 Oct 2020


While doing some research recently, I came across an article MS Word doc The Consistency of Arithmetic by Storrs McCall, a professor of philosophy at McGill University, and which is included in his book The Consistency of Arithmetic which is claimed be a new “semantic” proof of the consistency of Peano arithmetic. While there have been a few comments on it on the New York University FOM forum as listed at FOM March 2015 Archives, they were not very informative, so I had a quick look at the article and soon discovered the rather obvious flaw in McCall’s argument, and which had not been mentioned on the FOM forum. I have summarized McCall’s error here as it may save others from wasting time on it.


Essentially what McCall does is this:


He starts off by referring to a specific formal system, in this case Peano arithmetic, but as we shall see, the actual system chosen is immaterial, as the basis of McCall’s argument is fundamentally flawed.


Rather than using the chosen system itself, he uses a modified form of his chosen formal system. In this modified system, all meaningful propositions of the system can be distinguished from all other sequences of the symbols of the system.


But, crucially, McCall simply assumes that in this modified system, every such meaningful proposition must have either a “true” or a “false” value, stating:

As it turns out, the semantics for [the modified system] rather than the traditional axioms … are bivalent, meaning that every [well-formed formula] in every model is either true or false.


But we know that the truth value of a sequence of symbols depends completely on the axioms and rules of the system for which the sequences of symbols are to be associated with; a sequence of symbols that is true in one system can be false in another system. And if the axioms and rules of the system are inconsistent, then a sequence of symbols can be both “true” and “false” at the same time.


By the naive assumption that every meaningful proposition has either a true or a false value, McCall is simply assuming that the axioms and rules of his modified system cannot generate a sequence of symbols where both that sequence and its negation are true. In other words, McCall is assuming consistency in order to prove consistency, which is obviously an absurdly circular argument. (Footnote: Note that even if one were to make the bizarre suggestion that the truth or falsity of a proposition of a system is in some way determined independently of the axioms and rules of that system, that would also mean that one could not then assert that the system could not prove, by those rules and axioms, both a proposition of the system and its negation, see also The notion of ‘truth’.)


It can be noted that McCall muddles the waters considerably by his notion of associating every symbol with a physical cube, and also associating every sequence of such symbols with a physical array of these cubes. This is a completely specious complication which only serves to obfuscate the crucial fallacious assumption.


Finally, it might be noted that the naive assumption that there is a difference between a meaningful proposition of the system being true and being provable also serves to create further obfuscation, see The notion of ‘truth’.


Interested in supporting this site?

You can help by sharing the site with others. You can also donate at Go Get Funding: Logic and Language 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 user names 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.


Based on HashOver Comment System by Jacob Barkdull

Copyright   James R Meyer   2012 - 2024