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. |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
Full Idea: Archimedes gave a sort of definition of 'straight line' when he said it is the shortest line between two points. | |
From: report of Archimedes (fragments/reports [c.240 BCE]) by Gottfried Leibniz - New Essays on Human Understanding 4.13 | |
A reaction: Commentators observe that this reduces the purity of the original Euclidean axioms, because it involves distance and measurement, which are absent from the purest geometry. |
8044 | Goffman sees the self as no more than a peg on which to hang roles we play [Goffman, by MacIntyre] |
Full Idea: Erving Goffman has liquidated the self into its role-playing, arguing that the self is no more than 'a peg' on which the clothes of the role are hung. | |
From: report of Erving Goffman (Presentation of Self in Everyday Life [1959]) by Alasdair MacIntyre - After Virtue: a Study in Moral Theory Ch.3 | |
A reaction: A rather unsympathetic expression of his view, but it seems to be a widely held view among students of sociology. But then sociologists are almost committed a priori to a social and relativist view of truth, persons, knowledge, religion etc. |