Combining Texts

All the ideas for 'Letter to Shumacher', 'Human Knowledge: its scope and limits' and 'The Runabout Inference Ticket'

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


10 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]
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]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
Is it possible to state every possible truth about the whole course of nature without using 'not'? [Russell]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / d. Actual infinite
Actual infinities are not allowed in mathematics - only limits which may increase without bound [Gauss]
10. Modality / A. Necessity / 6. Logical Necessity
Some facts about experience feel like logical necessities [Russell]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
It is hard to explain how a sentence like 'it is not raining' can be found true by observation [Russell]
19. Language / F. Communication / 3. Denial
If we define 'this is not blue' as disbelief in 'this is blue', we eliminate 'not' as an ingredient of facts [Russell]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Russell's 'at-at' theory says motion is to be at the intervening points at the intervening instants [Russell, by Psillos]