Combining Texts

All the ideas for 'fragments/reports', 'On Platonism in Mathematics' and 'The Runabout Inference Ticket'

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

8 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10304 Very few things in set theory remain valid in intuitionist mathematics [Bernays]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
17896 We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
17898 Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]
11021 Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read]
13836 Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10303 Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
10306 Mathematical abstraction just goes in a different direction from logic [Bernays]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]