Combining Texts

All the ideas for 'fragments/reports', 'Intuitionism and Formalism' and 'fragments/reports'

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

10 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]
10. Modality / A. Necessity / 10. Impossibility
5998 From the necessity of the past we can infer the impossibility of what never happens [Diod.Cronus, by White,MJ]
10. Modality / B. Possibility / 1. Possibility
20832 The Master Argument seems to prove that only what will happen is possible [Diod.Cronus, by Epictetus]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
14304 Conditionals are true when the antecedent is true, and the consequent has to be true [Diod.Cronus]
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]
19. Language / D. Propositions / 4. Mental Propositions
6024 Thought is unambiguous, and you should stick to what the speaker thinks they are saying [Diod.Cronus, by Gellius]
22. Metaethics / C. The Good / 2. Happiness / b. Eudaimonia
5996 Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA]