Combining Texts

All the ideas for 'works', 'Philosophy of Logics' and 'Intuitionism and Formalism'

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


8 ideas

3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
Logical truth seems much less likely to 'correspond to the facts' than factual truth does [Haack]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
The same sentence could be true in one language and meaningless in another, so truth is language-relative [Haack]
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
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
Scientific laws largely rest on the results of counting and measuring [Brouwer]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin]