Preintuitionism

In some circles of mathematical philosophy the Pre-Intuitionists are considered to be a small but influential group who informally shared similar philosophies on the nature of mathematics. The term itself was used by L. E. J. Brouwer, who in his 1951 lectures at Cambridge described the differences between intuitionism and its predecessors:

"Of a totally different orientation [from the "Old Formalist School" of Dedekind, Cantor, Peano's , Hilbert, Russell, Zermelo, and Couturat, ed.] was the Pre-Intuitionist School, mainly led by Poincaré, Borel and Lebesgue. These thinkers seem to have maintained a modified observational standpoint for the introduction of natural numbers, for the principle of complete induction [...] For these, even for such theorems as were deduced by means of classical logic, they postulated an existence and exactness independent of language and logic and regarded its non-contradictority as certain, even without logical proof. For the continuum, however, they seem not to have sought an origin strictly extraneous to language and logic."

The introduction of natural numbers

The Pre-Intuitionists, as defined by Brouwer, differed from the Formalist standpoint in several ways. In the introduction of natural numbers, or how the natural numbers are defined/denoted. For Poincaré the definition of a mathematical entity is the construction of the entity itself and not an expression of an underlying essence or existence.

Which is to say that no mathematical object exists without our construction of it, both in mind and language.

The principle of complete induction

This sense of definition allowed Poincaré to argue with Bertrand Russell over Giuseppe Peano's axiomatic theory of natural numbers.

Peano's fifth axiom states:
*Allow that; zero has a property P;
*And; if every natural number less than a number x has the property P then x also has the property P.
*Therefore; every natural number has the property P.

This is the principle of complete induction, it establishes the property of induction as necessary to the system. Since Peano's axiom is as infinite as the natural numbers, it is difficult to prove that the property of P does belong to any x and also x+1. What one can do is say that, if after some number n of trails that show a property P conserved in x and x+1, then we may infer that it will still hold to be true after n+1 trails. But this is itself induction. And hence the argument is a vicious circle.

From this Poincaré argues that if we fail to establish the consistency of Peano's axioms for natural numbers without falling into circularity, then the principle of complete induction is improvable by general logic.

Thus arithmetic and mathematics in general is not analytic but synthetic. Logicism thus rebuked and Intuition is held up. What Poincaré, and the Pre-Intuitionists shared was the perception of a difference between logic and mathematics which is not a matter of language alone, but of knowledge itself.

Arguments over the excluded middle

It was for this assertion, among others, that Poincaré was considered to be similar to the intuitionists. For Brouwer though, the Pre-Intuitionists failed to go as far as necessary in divesting mathematics from metaphysics, for they still used "principium tertii exclusi" or the "Law of excluded middle". (Note: It actually reads "principle of the excluded third", but it is not commonly known by that name.)

The principle of the excluded middle does lead to some strange situations. Such as the question in regard to the future, "Will there be a naval battle tomorrow?" does not seem to be either true or false, "yet". So there is some question as to whether or not things are true or false in some situations. To an intuitionist this seems to rank it as just as unrigorous as Peano's vicious circle.

Yet to the Pre-Intuitionists this is mixing apples and oranges, for them mathematics was one thing - a muddled, invention of the human mind (aka. synthetic) and logic was another - analytic.

Other Pre-Intuitionists

The above examples only include the works of Poincaré, and yet Brouwer named other mathematicians as Pre-Intuitionists too; Borel and Lebesgue. Other mathematicians such as Hermann Weyl and Leopold Kronecker also played a role - though they are not cited by Brouwer in his definitive speech.

In fact Kronecker might be the most famous of the Pre-Intuitionists for his singular and oft quoted phrase, "God made the natural numbers; all else is the work of man."

Kronecker goes in almost the opposite direction from Poincaré, believing in the natural numbers but not the law of the excluded middle. He was the first mathematician to express doubt on non-constructive existence proofs. That is, proofs that show that something must exist because it can be shown that it is "impossible" for it not to.

External links

* [http://www.journalofcriticalrealism.org/archive/ALETHIAv3n2_straathof8.pdf Logical Meanderings] - a brief article by Jan Sraathof on Brouwer 's various attacks on arguments of the Pre-Intuitionists about the Principle of the Excluded Third.
* [http://www.acmsonline.org/Detlefsen87.pdf Proof And Intuition] - an article on the many varieties of knowledge as they relate to the Intuitionist and Logicist.
* [http://www.marxists.org/reference/subject/philosophy/works/ne/brouwer.htm Brouwer's Cambridge Lectures on Intuitionism] - Wherein Brouwer talks about the Pre-Intuitionist School and addresses what he sees as its many shortcomings.