Combining Texts

All the ideas for 'works', 'works' and 'The Theory of Knowledge'

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

7 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
23476 Logical constants seem to be entities in propositions, but are actually pure form [Russell]
23477 We use logical notions, so they must be objects - but I don't know what they really are [Russell]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
18273 Logical truths are known by their extreme generality [Russell]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
18086 Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
18092 Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock]
7. Existence / D. Theories of Reality / 8. Facts / d. Negative facts
22315 There can't be a negative of a complex, which is negated by its non-existence [Potter on Russell]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
3193 Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]