5 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'. |
| 19378 | Early modern possibility is what occurs sometime; for Leibniz, it is what is not contradictory [Arthur,R] |
| Full Idea: For Descartes, Hobbes and Spinoza, if a state of things is possible, it must occur at some time, whether past, present or future. For Leibniz possibility makes no reference to time; an individual is possible if its concept contains no contradiction. | |
| From: Richard T.W. Arthur (Leibniz [2014], 4 'Contingent') | |
| A reaction: It has always struck me as fallacious to say that anything that is possible must at some time occur. If '6' is possible on the die, what will constrain it to eventually come up when thrown? Mere non-contradiction doesn't imply possibility either. |
| 3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |
| Full Idea: Anaxarchus said that he was not even sure that he knew nothing. | |
| From: report of Anaxarchus (fragments/reports [c.340 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.10.1 |
| 19380 | Occasionalism contradicts the Eucharist, which needs genuine changes of substance [Arthur,R] |
| Full Idea: The Jesuits rejected occasionalism ... because it is incompatible with the Catholic interpretation of the Eucharist, which there is genuine change of substance of the bread into the substance of Christ (transubstantiation). | |
| From: Richard T.W. Arthur (Leibniz [2014], 5 'Substance') | |
| A reaction: Not sure I understand this, but I take it that the Eucharist needs a real relation across the substance-spirit boundary, and not just a co-ordination. |
| 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. |