Logic and
Load the menuLoad the menu

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


Page last updated 06 Oct 2021


Mathematics - grounded in logic?

There is a somewhat interesting webpage Rationalwiki: Pseudomathematics that states:


“Pseudo-mathematics is any work, study or activity which claims to be mathematical, but refuses to work within the standards of proof and rigour which mathematics is subject to … Unfortunately for practitioners of pseudo-mathematics, mathematics is an absolute science of black and white - everything is right or wrong. There is not often scope for debate or discussion, as only mathematical proof is relevant.” (Footnote: Someone has since added a modifier so that it now reads “everything is right or wrong (but sometimes fuzzy)” which seems to say that everything in mathematics is either right or wrong - except when it isn’t, which appears to undermine the objective of the article.)


If only everything was as black and white as that suggests. The reality is that there are numerous mathematical statements which are widely accepted as correct by the vast majority of mathematicians, in spite of there not actually being a rigorous proof of the statement. The fact is that a mathematician cannot possibly examine every proof, and that means that he often relies on what he perceives to be the commonly accepted belief. In most cases, the commonly accepted belief that there is a rigorous proof of a certain mathematical statement is correct, but that is not always the case.


There are well-documented instances where errors in mathematical proofs have not been discovered for several years after they were first published, including proofs that received widespread attention, see for example,Kempe’s flawed proof and Tait’s flawed proof. (Footnote: A proof of the four color map theorem was published by the prominent mathematician Alfred Kempe in 1879, and which received widespread acclaim. Eleven years later, an error was found in the proof. Another proof of the four color map theorem was published by Peter Guthrie Tait in 1880. Again, it was eleven years before anyone discovered that there was an error in the proof. See also the webpage Mathoverflow: Widely accepted mathematical results that were later shown to be wrong which details numerous instances of proofs later discovered to be erroneous.) And these were not proofs where one language makes statements about another language, and where there is a possibility of language confusion.


What is so curious about mathematicians is that you would expect that if someone points out that a proof is not sufficiently rigorous, or that it includes an inadmissible step, the mathematician would be grateful that that was brought to his attention. But what actually happens? When it is pointed out that certain proofs, such as various proofs of incompleteness, including Gödel’s original proof and many other proofs of incompleteness (see The flaw in Gödel’s incompleteness proof and Analysis of incompleteness proofs) are not actually as rigorous as a mathematical proof should be, mathematicians refuse to accept the facts. When it is pointed out that such a proof includes an unproven assumption instead of a rigorous logical argument, or when it is pointed out that a step in the proof relies on a step that is mathematically inadmissible, they seem to take it as an affront, as an insult to their self-perception as bastions of absolute correctness.


For more on why the use of term ‘mathematical proof’ can mean something quite different to a perfectly rigorous logically reasoned argument, see the page Mathematical Proof.


Pseudo-logic and pseudo-mathematics

So, we know that there must be proofs that are not in fact rigorous mathematical proofs, but which, for one reason or another, have been accepted as correct, in spite of failing to meet the criteria for a rigorous mathematical proof. Surely this is not acceptable? Preconceived notions about the correctness of proofs should be set aside, and proofs should be subjected to a logical critical analysis. If a proof fails the test that requires it to be a rigorous mathematical proof, then its result should not be accepted. This rooting out of pseudo-proofs should be just one step in an inevitable, if slow, step towards a more complete understanding of how language, logic and mathematics are interrelated. Mathematics and logic cannot be fully understood unless the role of language is taken in account. Confusions such as those that appear in Gödel’s proof of incompleteness (see The flaw in Gödel’s proof) and various other proofs of incompleteness (see Analysis of Incompleteness Proofs) masquerade as genuine logic and genuine mathematics, whereas in reality they are the antithesis of real logic and real mathematics.


See also the page Fake News and Fake Mathematics.


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