Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Frege' and 'The Philosophy of Logic'

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

---

5 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]

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity

18200

Very large sets should be studied in an 'if-then' spirit [Putnam]

6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / b. Indispensability of mathematics

18199

Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam]

8857	We must quantify over numbers for science; but that commits us to their existence [Putnam]

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

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