Combining Texts

All the ideas for 'The Runabout Inference Ticket', 'Letters to Leibniz' and 'The Scientific Image'

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


10 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
No one can conceive of a possible substance, apart from those which God has created [Arnauld]
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]
10. Modality / A. Necessity / 11. Denial of Necessity
Empiricists deny what is unobservable, and reject objective modality [Fraassen]
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
To 'accept' a theory is not to believe it, but to believe it empirically adequate [Fraassen, by Bird]
14. Science / B. Scientific Theories / 2. Aim of Science
To accept a scientific theory, we only need to believe that it is empirically adequate [Fraassen]
14. Science / D. Explanation / 3. Best Explanation / c. Against best explanation
Why should the true explanation be one of the few we have actually thought of? [Fraassen, by Bird]
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
An explanation is just descriptive information answering a particular question [Fraassen, by Salmon]