3 ideas
| 15716 | If axioms and their implications have no contradictions, they pass my criterion of truth and existence [Hilbert] |
| Full Idea: If the arbitrarily given axioms do not contradict each other with all their consequences, then they are true and the things defined by the axioms exist. For me this is the criterion of truth and existence. | |
| From: David Hilbert (Letter to Frege 29.12.1899 [1899]), quoted by R Kaplan / E Kaplan - The Art of the Infinite 2 'Mind' | |
| A reaction: If an axiom says something equivalent to 'fairies exist, but they are totally undetectable', this would seem to avoid contradiction with anything, and hence be true. Hilbert's idea sounds crazy to me. He developed full Formalism later. |
| 604 | Knowledge is mind and knowing 'cohabiting' [Lycophron, by Aristotle] |
| Full Idea: Lycophron has it that knowledge is the 'cohabitation' (rather than participation or synthesis) of knowing and the soul. | |
| From: report of Lycophron (fragments/reports [c.375 BCE]) by Aristotle - Metaphysics 1045b | |
| A reaction: This sounds like a rather passive and inert relationship. Presumably knowing something implies the possibility of acting on it. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |