6 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) |
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. |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
Full Idea: Even the gods cannot strive against necessity. | |
From: report of Pittacus (reports [c.610 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.5.4 |
17993 | Laws are relations of kinds, quantities and qualities, supervening on the essences of a domain [Vetter] |
Full Idea: The laws of a domain are the fundamental, general explanatory relationships between kinds, quantities, and qualities of that domain, that supervene upon the essential natures of those things. | |
From: Barbara Vetter (Dispositional Essentialism and the Laws of Nature [2012], 9.3) | |
A reaction: Hm. How small can the domain be? Can it embrace the multiverse? Supervenience is a rather weak relationship. How about 'are necessitated/entailed by'? Are the relationships supposed to do the explaining? I would have thought the natures did that. |