Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Frege' and 'Building Blocks of Mathematical Logic'

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]

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

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

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