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. |
| 23801 | Biosemantics says content is useful mapping from a producer to a consumer system [Millikan, by Schulte] |
| Full Idea: Millikan's 'biosemantic' view is that representations stand midway between producer and consumer systems. The represented states of affairs (the content) maps onto the second system, and thus enable its proper function. | |
| From: report of Ruth Garrett Millikan (Varieties of Meaning [2002]) by Peter Schulte - Mental Content 4.4 | |
| A reaction: These meets my standard objection to all functional theories (e.g. of mind), that observing relations and functions tells you nothing about what it actually is. Millikan seems to explain the role of content, but says nothing about its actual nature. |
| 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? |