Combining Texts

All the ideas for 'Anselm and Actuality', 'works' and 'Mathematics and the Metaphysicians'

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

6 ideas

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
16456 For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
7557 To solve Zeno's paradox, reject the axiom that the whole has more terms than the parts [Russell]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
10059 In mathematic we are ignorant of both subject-matter and truth [Russell]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / b. Mark of the infinite
7556 A collection is infinite if you can remove some terms without diminishing its number [Russell]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
7554 Self-evidence is often a mere will-o'-the-wisp [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]