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 |
| 19406 | I strongly believe in the actual infinite, which indicates the perfections of its author [Leibniz] |
| Full Idea: I am so much for the actual infinite that instead of admitting that nature abhors it, as is commonly said, I hold that it affects nature everywhere in order to indicate the perfections of its author. | |
| From: Gottfried Leibniz (Reply to Foucher [1693], p.99) | |
| A reaction: I would have thought that, for Leibniz, while infinities indicate the perfections of their author, that is not the reason why they exist. God wasn't, presumably, showing off. Leibniz does not think we can actually know these infinities. |
| 20328 | A thing is only seen as art in an 'artworld', which has a theory and a history [Danto] |
| Full Idea: To see something as art requires something the eye cannot descry - an atmosphere of artistic theory, a knowledge of the history of art: an artworld. | |
| From: Arthur C. Danto (The Artworld [1964], II) | |
| A reaction: The editors of the volume call this a revolutionary remark, followed up by Danto and George Dickie with a social and institutional account of art. Danto's key example is Warhol's Brillo pads - art in a gallery, cleaning material in a shop. |