11 ideas
| 10196 | The Axiom of Choice needs a criterion of choice [Black] |
| Full Idea: Some mathematicians seem to think that talk of an Axiom of Choice allows them to choose a single member of a collection when there is no criterion of choice. | |
| From: Max Black (The Identity of Indiscernibles [1952], p.68) |
| 18086 | Weierstrass eliminated talk of infinitesimals [Weierstrass, by Kitcher] |
| Full Idea: Weierstrass effectively eliminated the infinitesimalist language of his predecessors. | |
| From: report of Karl Weierstrass (works [1855]) by Philip Kitcher - The Nature of Mathematical Knowledge 10.6 |
| 18092 | Weierstrass made limits central, but the existence of limits still needed to be proved [Weierstrass, by Bostock] |
| Full Idea: After Weierstrass had stressed the importance of limits, one now needed to be able to prove the existence of such limits. | |
| From: report of Karl Weierstrass (works [1855]) by David Bostock - Philosophy of Mathematics 4.4 | |
| A reaction: The solution to this is found in work on series (going back to Cauchy), and on Dedekind's cuts. |
| 10194 | Two things can only be distinguished by a distinct property or a distinct relation [Black] |
| Full Idea: The only way we can discover that two things exist is by finding out that one has a quality not possessed by the other, or else that one has a relational characteristic that the other hasn't. | |
| From: Max Black (The Identity of Indiscernibles [1952], p.67) | |
| A reaction: At least this doesn't conflate relations with properties. Note that this idea is clearly epistemological, and in no way rules out the separateness of two objects which none of us can ever discern. Maybe the Earth has two Suns, which imperceptibly swap. |
| 10193 | The 'property' of self-identity is uselessly tautological [Black] |
| Full Idea: Saying that 'a has the property of being identical with a' is a roundabout way of saying nothing - a useless tautology - and means not more than 'a is a' | |
| From: Max Black (The Identity of Indiscernibles [1952], p.66) | |
| A reaction: This matter resembles the problem of the number zero, and the empty set, which seem to be crucial entities for logicians, but of no interest to a common sense view of the world. So much the worse for logic, I am inclined to say. |
| 10195 | If the universe just held two indiscernibles spheres, that refutes the Identity of Indiscernibles [Black] |
| Full Idea: Isn't it logically possible that the universe should have contained nothing but two exactly similar spheres? ...So two things would have all their properties in common, and this would refute the Principle of the Identity of Indiscernibles. | |
| From: Max Black (The Identity of Indiscernibles [1952], p.67) | |
| A reaction: [Black is the originator of this famous example] It also appears to be naturally possible. An observer at an instant of viewing will discern a relational difference relative to themselves. Most people take Black's objection to be decisive. |
| 13195 | To explain a house we must describe its use, as well as its parts [Leibniz] |
| Full Idea: A house would be badly explained if we were to describe only the arrangement of its parts, but not its use. | |
| From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.255) | |
| A reaction: This must partly fall under pragmatics (i.e. what the enquirer is interested in). But function plays a genuine role in artefacts, and also in evolved biological organs. |
| 13193 | Active force is not just potential for action, since it involves a real effort or striving [Leibniz] |
| Full Idea: Active force should not be thought of as the simple and common potential [potentia] or receptivity to action of the schools. Rather, active force involves an effort [conatus] or striving [tendentia] toward action. | |
| From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.252) | |
| A reaction: This is why Leibniz is lured into making his active forces more and more animistic, till they end up like proto-minds (though never, remember, conscious and willing minds). |
| 13194 | God's laws would be meaningless without internal powers for following them [Leibniz] |
| Full Idea: To say that, in creation, God gave bodies a law for acting means nothing, unless, at the same time, he gave them something by means of which it could happen that the law is followed. | |
| From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.253) | |
| A reaction: This is the beginning of the modern rebellion against the medieval view of laws as imposed from outside on passive matter. Unfortunately for Leibniz, once you have postulated active internal powers, the external laws become redundant. |
| 13196 | All qualities of bodies reduce to forces [Leibniz] |
| Full Idea: All qualities of bodies .....are in the end reduced [revoco] to forces. | |
| From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.256) | |
| A reaction: The dots conceal a long qualification, but he is essentially standing by this simple remark. If you substitute the word 'powers' for 'forces', I think that is just about right. |
| 13192 | Power is passive force, which is mass, and active force, which is entelechy or form [Leibniz] |
| Full Idea: The dynamicon or power [potentia] in bodies is twofold, passive and active. Passive force [vis] constitutes matter or mass [massa], and active force constitutes entelechy or form. | |
| From: Gottfried Leibniz (On Body and Force, Against the Cartesians [1702], p.252) | |
| A reaction: This is explicitly equating the innate force understood in physics with Aristotelian form. The passive force is to explain the resistance of bodies. I like the equation of force with power. He says the entelechy is 'analogous' to a soul. |