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. |
22110 | Demonstration provides depth of understanding and explanation (rather than foundations) [Kretzmann/Stump] |
Full Idea: According to Aquinas, what demonstration provides is not so much knowledge as conceived by foundationalists as depth of understanding and explanatory insight. | |
From: Kretzmann/Stump (Aquinas, Thomas [2005]), quoted by Kretzmann/Stump - Aquinas, Thomas 11 | |
A reaction: It was noticeable that Aristotle didn't make clear what demonstration aims to achieve, and he didn't employ it elsewhere in his writings. We aim for understanding, not for well grounded propositions. Understanding needs implications and mechanisms. |
19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |
Full Idea: The entire intellectual purport of any symbol consists in the total of all modes of rational conduct which, conditionally upon all the possible different circumstances and desires, would ensue upon the acceptance of the symbol. | |
From: Charles Sanders Peirce (Issues of Pragmaticism [1905], EP ii.246), quoted by Danielle Macbeth - Pragmatism and Objective Truth p.169 n1 | |
A reaction: Macbeth says pragmatism is founded on this theory of meaning, rather than on a theory of truth. I don't see why the causes of a symbol shouldn't be as much a part of its meaning as the consequences are. |