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.
|
1390
|
Bodily identity is one criterion and memory another, for personal identity [Shoemaker, by PG]
|
|
Full Idea:
Bodily identity must be one of the criteria for personal identity (to establish that a rememberer was present at a past event), but memory itself must also be accepted as one of the criteria.
|
|
From:
report of Sydney Shoemaker (Personal Identity and Memory [1959], §5) by PG - Db (ideas)
|
|
A reaction:
This concerns the epistemology of personal identity, not the ontology. Someone with total amnesia would probably accept a driving licence as a criterion. Is personal identity a mental state, or a precondition which makes mental states possible?
|
15877
|
The aim of science is just to create a comprehensive, elegant language to describe brute facts [Poincaré, by Harré]
|
|
Full Idea:
In Poincaré's view, we try to construct a language within which the brute facts of experience are expressed as comprehensively and as elegantly as possible. The job of science is the forging of a language precisely suited to that purpose.
|
|
From:
report of Henri Poincaré (The Value of Science [1906], Pt III) by Rom Harré - Laws of Nature 2
|
|
A reaction:
I'm often struck by how obscure and difficult our accounts of self-evident facts can be. Chairs are easy, and the metaphysics of chairs is hideous. Why is that? I'm a robust realist, but I like Poincaré's idea. He permits facts.
|