Combining Texts

All the ideas for 'fragments/reports', 'The Runabout Inference Ticket' and 'Elucidation of some points in E.Schrder'

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


6 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
A class is an aggregate of objects; if you destroy them, you destroy the class; there is no empty class [Frege]
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]
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]
Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking]
23. Ethics / A. Egoism / 1. Ethical Egoism
The greatest good is not the achievement of desire, but to desire what is proper [Menedemus, by Diog. Laertius]