4 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
Full Idea: For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain. | |
From: report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3 | |
A reaction: Lavine summarises this as 'first-order logic with parameters'. |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |
10246 | The limit of science is isomorphism of theories, with essences a matter of indifference [Weyl] |
Full Idea: A science can determine its domain of investigation up to an isomorphic mapping. It remains quite indifferent as to the 'essence' of its objects. The idea of isomorphism demarcates the self-evident boundary of cognition. | |
From: Hermann Weyl (Phil of Mathematics and Natural Science [1949], 25-7), quoted by Stewart Shapiro - Philosophy of Mathematics | |
A reaction: Shapiro quotes this in support of his structuralism, but it is a striking expression of the idea that if there are such things as essences, they are beyond science. I take Weyl to be wrong. Best explanation reaches out beyond models to essences. |
1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |
Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born. | |
From: Herodotus (The Histories [c.435 BCE], 2.123.2) |