Combining Texts

All the ideas for 'The Runabout Inference Ticket', 'De Essentia' and 'The Semantic Tradition from Kant to Carnap'

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

10 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
18270 Choice suggests that intensions are not needed to ensure classes [Coffa]
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]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
13132 A snowball's haecceity is the property of being identical with itself [Plantinga, by Westerhoff]
12. Knowledge Sources / A. A Priori Knowledge / 8. A Priori as Analytic
18263 The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa]
12. Knowledge Sources / A. A Priori Knowledge / 11. Denying the A Priori
18272 Platonism defines the a priori in a way that makes it unknowable [Coffa]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
18266 Mathematics generalises by using variables [Coffa]
27. Natural Reality / D. Time / 1. Nature of Time / a. Absolute time
18279 Relativity is as absolutist about space-time as Newton was about space [Coffa]