3 ideas
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |
| 8120 | Objects can be beautiful which express nothing at all, such as the rainbow [Herbart, by Tolstoy] |
| Full Idea: Objects are often beautiful which express nothing at all, as, for instance, the rainbow, which is beautiful for its lines and colours and not for its mythological connexion with Iris, or Noah's rainbow. | |
| From: report of Johann Herbart (works [1830]) by Leo Tolstoy - What is Art? Ch.3 | |
| A reaction: A nice counterexample to Tolstoy's own theory. The example is one of a natural beauty, but it would be harder to find examples in human art. How much the artist may feel, though, has little to do with the success of a work of art. |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |