more on this theme | more from this text
Full Idea
The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions.
Gist of Idea
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction
Source
report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
Book Ref
George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.156
A Reaction
This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met.
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |