Combining Texts

All the ideas for 'Wiener Logik', 'A Combinatorial Theory of Possibility' and 'On Platonism in Mathematics'

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

8 ideas

2. Reason / D. Definition / 2. Aims of Definition
18261 A simplification which is complete constitutes a definition [Kant]
3. Truth / B. Truthmakers / 6. Making Negative Truths
15547 Negative existentials have 'totality facts' as truthmakers [Armstrong, by Lewis]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10304 Very few things in set theory remain valid in intuitionist mathematics [Bernays]
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 / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10303 Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
10306 Mathematical abstraction just goes in a different direction from logic [Bernays]
10. Modality / B. Possibility / 1. Possibility
15542 All possibilities are recombinations of properties in the actual world [Armstrong, by Lewis]
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]