Combining Texts

All the ideas for 'Outline of a Theory of Truth', 'Computing Machinery and Intelligence' and 'Friendship'

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

---

8 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth

15327

Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten]

15343

Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten]

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth

14966

The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta]

14967

Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta]

3. Truth / G. Axiomatic Truth / 3. KF Truth Axioms

16328

Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach]

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]

23. Ethics / C. Virtue Theory / 4. External Goods / d. Friendship

23834

Friendship is partly universal - the love of a person is like the ideal of loving everyone [Weil]