Combining Texts

All the ideas for 'Croce and Collingwood', 'Investigations into Logical Deduction' and 'On Platonism in Mathematics'

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


8 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Very few things in set theory remain valid in intuitionist mathematics [Bernays]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Mathematical abstraction just goes in a different direction from logic [Bernays]
21. Aesthetics / A. Aesthetic Experience / 1. Aesthetics
By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp]
21. Aesthetics / B. Nature of Art / 4. Art as Expression
Expression can be either necessary for art, or sufficient for art (or even both) [Kemp]
We don't already know what to express, and then seek means of expressing it [Kemp]
The horror expressed in some works of art could equallly be expressed by other means [Kemp]