Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Semantics for Propositional Attitudes' and 'works'

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

---

5 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

15941

For intuitionists excluded middle is an outdated historical convention [Brouwer]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy

18247

Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro]

7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment

15785

Our commitments are to an 'ontology', but also to an 'ideology', or conceptual system [Hintikka]

10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds

15786

Commitment to possible worlds is part of our ideology, not part of our ontology [Hintikka]

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

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