8 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
20416 | By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp] |
20417 | Expression can be either necessary for art, or sufficient for art (or even both) [Kemp] |
20419 | We don't already know what to express, and then seek means of expressing it [Kemp] |
20418 | The horror expressed in some works of art could equallly be expressed by other means [Kemp] |