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,052129648x]].
green numbers give full details 
back to texts

expand these ideas
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
12452

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
12451

Scientific laws largely rest on the results of counting and measuring

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
12454

Intuitionists only accept denumerable sets

12453

Neointuitionism abstracts from the reuniting of moments, to intuit bare twooneness

19. Language / A. Nature of Meaning / 5. Meaning as Verification
10117

Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [George/Velleman]
