Combining Texts

All the ideas for 'Modal Logic as Metaphysics', 'Computing Machinery and Intelligence' and 'Elements of Intuitionism (2nd ed)'

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

---

4 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic

18832

Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]

10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects

18925

If talking donkeys are possible, something exists which could be a talking donkey [Williamson, by Cameron]

18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines

3979	The Turing Machine is the best idea yet about how the mind works [Fodor on Turing]

18. Thought / B. Mechanics of Thought / 6. Artificial Thought / c. Turing Test

5321	In 50 years computers will successfully imitate humans with a 70% success rate [Turing]