Combining Texts

All the ideas for 'works', 'Events and Semantic Architecture' and 'works'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / c. Turing Test
A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey]
19. Language / B. Reference / 5. Speaker's Reference
No language is semantically referential; it all occurs at the level of thought or utterance [Pietroski, by Hofweber]