Combining Texts

All the ideas for 'Wiener Logik', 'An Axiomatization of Set Theory' and 'The Philosophy of Leibniz'

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

---

6 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis

7529	All philosophy should begin with an analysis of propositions [Russell]

2. Reason / D. Definition / 2. Aims of Definition

18261

A simplification which is complete constitutes a definition [Kant]

4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size

15943

Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann]

5. Theory of Logic / A. Overview of Logic / 3. Value of Logic

22275

Logic gives us the necessary rules which show us how we ought to think [Kant]

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

13672

All the axioms for mathematics presuppose set theory [Neumann]

13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism

18260

If we knew what we know, we would be astonished [Kant]