Combining Philosophers

All the ideas for Rayo,A/Uzquiasno,G, Alan Turing and David M. Rosenthal

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

---

10 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory

13451

The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation

13452

Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano]

5. Theory of Logic / G. Quantification / 2. Domain of Quantification

13449

We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano]

13450

Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano]

5. Theory of Logic / G. Quantification / 5. Second-Order Quantification

13453

Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano]

16. Persons / C. Self-Awareness / 1. Introspection

5692	Introspection is not perception, because there are no extra qualities apart from the mental events themselves [Rosenthal]

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]

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 / 5. Pragmatics / a. Contextual meaning

13448

The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano]