Combining Texts

All the ideas for 'works', 'Is Hume's Principle analytic?' and 'Frege'

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

---

3 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic

7726	Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner]

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

3178	A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey]

18. Thought / E. Abstraction / 7. Abstracta by Equivalence

8693	An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos]