Combining Texts

All the ideas for 'Leibniz', 'Truth' and 'Intuitionism and Formalism'

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

10 ideas

3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
10842 The fact which is stated by a true sentence is not something in the world [Strawson,P]
10843 Facts aren't exactly true statements, but they are what those statements say [Strawson,P]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
10844 The statement that it is raining perfectly fits the fact that it is raining [Strawson,P]
3. Truth / F. Semantic Truth / 2. Semantic Truth
10841 The word 'true' always refers to a possible statement [Strawson,P]
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]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
7566 The Identity of Indiscernibles is really the same as the verification principle [Jolley]
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]