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.
|
16764
|
The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus]
|
|
Full Idea:
Every accident of a living thing, as well as all its organs and temperaments and its dispositions are conserved by the soul. We see this from experience, since when that soul recedes, all these dissolve and become corrupted.
|
|
From:
Franciscus Toletus (Commentary on 'De Anima' [1572], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5
|
|
A reaction:
A nice example of observing a phenemonon, but not being able to observe the dependence relation the right way round. Compare Descartes in Idea 16763.
|