Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Computing Machinery and Intelligence' and 'Assertion'

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

---

5 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility

18170

The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]

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]

19. Language / F. Communication / 2. Assertion

18052

An assertion aims to add to the content of a context [Stalnaker, by Magidor]

19. Language / F. Communication / 5. Pragmatics / b. Implicature

14718

An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter]