Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Frege' and 'works'

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 / b. Turing Machines

3193	Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]

24. Political Theory / D. Ideologies / 10. Theocracy

7825	The politics of Leibniz was the reunification of Christianity [Stewart,M]