Ideas from 'Intuitionism and Formalism' by Luitzen E.J. Brouwer [1912], by Theme Structure

[found in 'Philosophy of Mathematics: readings (2nd)' (ed/tr Benacerraf/Putnam) [CUP 1983,0-521-29648-x]].

green numbers give full details    |     back to texts     |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Our dislike of contradiction in logic is a matter of psychology, not mathematics
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Scientific laws largely rest on the results of counting and measuring
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [George/Velleman]