6 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
20416 | By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp] |
20418 | The horror expressed in some works of art could equallly be expressed by other means [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] |
5126 | A carelessly thrown brick is condemned much more if it hits someone [Smith,A, by Harman] |