Combining Texts

All the ideas for 'Content Preservation', 'talk' and 'Intuitionism and Formalism'

expand these ideas     |    start again     |     specify just one area for these texts

7 ideas

4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
12452 Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
12451 Scientific laws largely rest on the results of counting and measuring [Brouwer]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
12454 Intuitionists only accept denumerable sets [Brouwer]
12453 Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
13. Knowledge Criteria / C. External Justification / 1. External Justification
9382 Subjects may be unaware of their epistemic 'entitlements', unlike their 'justifications' [Burge]
14. Science / C. Induction / 5. Paradoxes of Induction / b. Raven paradox
7006 Observing irrelevant items supports both 'all x are y' and 'all x are non-y', revealing its absurdity [Schofield,J]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
10117 Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]