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) |
| 15540 | You can't deny temporary intrinsic properties by saying the properties are relations (to times) [Lewis] |
| Full Idea: To say that properties are really relations to times is to treat temporary intrinsics (such as my changing shape) as a matter of relations, but then 'intrinsic properties' would not deserve the name, and it is untenable if it denies temporary intrinsics. | |
| From: David Lewis (Rearrangement of Particles [1988], 1) | |
| A reaction: [I have compressed a paragraph; he refers to his 1986:204] If a property is meant to be a 'relation to a time', I am not sure what the relata are meant to be, and I agree with Lewis that this seems a long way from properties. |
| 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. |
| 18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
| Full Idea: Whereas particular reality statements are in principle completely verifiable or falsifiable, things are different for general reality statements: they can indeed be conclusively falsified, they can acquire a negative truth value, but not a positive one. | |
| From: Karl Popper (Two Problems of Epistemology [1932], p.256), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 18 'Laws' | |
| A reaction: This sounds like a logician's approach to science, but I prefer to look at coherence, where very little is actually conclusive, and one tinkers with the theory instead. |