Combining Texts

All the ideas for 'fragments/reports', 'The Runabout Inference Ticket' and 'Sources of Knowledge of Mathematics'

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


8 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking]
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Late in life Frege abandoned logicism, and saw the source of arithmetic as geometrical [Frege, by Chihara]
7. Existence / A. Nature of Existence / 3. Being / d. Non-being
Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius]
19. Language / F. Communication / 1. Rhetoric
Destroy seriousness with laughter, and laughter with seriousness [Gorgias]
Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato]