16 ideas
| 10502 | We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P] |
| Full Idea: I can start with a triangle, and rise by degrees to all straight-lined figures and to extension itself. The lower degree will include the higher degree. Since the higher degree is less determinate, it can represent more things. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] This attempts to explain the generalising ability of abstraction cited in Idea 10501. If you take a complex object and eliminate features one by one, it can only 'represent' more particulars; it could hardly represent fewer. |
| 14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
| Full Idea: Unlike Stalnaker, Lewis holds that indicative conditionals have the truth conditions of material conditionals. | |
| From: report of David Lewis (Counterfactuals [1973]) by Frank Jackson - Conditionals 'Further' | |
| A reaction: Thus Lewis only uses the possible worlds account for subjunctive conditionals, where Stalnaker uses it for both. Lewis is defending the truth-functional account for the indicative conditionals. |
| 8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
| Full Idea: According to Lewis, a counterfactual holds when the consequent is true in possible worlds very like our own except for the fact that the antecedent is true. | |
| From: report of David Lewis (Counterfactuals [1973]) by Paul Horwich - Lewis's Programme p.213 | |
| A reaction: Presumably the world being very like our own would make it unlikely that there would be anything else to cause the consequent, apart from the counterfactual antecedent. |
| 9169 | A statement can be metaphysically necessary and epistemologically contingent [Putnam] |
| Full Idea: A statement can be (metaphysically) necessary and epistemologically contingent. Human intuition has no privileged access to metaphysical necessity. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.160) | |
| A reaction: The terminology here is dangerously confusing. 'Contingent' is a term which (as Kripke insists) refers to reality, not to our epistemological abilities. The locution of adding the phrase "for all I know" seems to handle the problem better. |
| 5819 | Conceivability is no proof of possibility [Putnam] |
| Full Idea: Conceivability is no proof of possibility. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.159) | |
| A reaction: This strikes me as a really basic truth which all novice philosophers should digest. It led many philosophers, especially rationalists, into all sorts of ill-founded claims about what is possible or necessary. Zombies, for instance… |
| 18258 | We can only know the exterior world via our ideas [Arnauld,A/Nicole,P] |
| Full Idea: We can have knowledge of what is outside us only through the mediation of ideas in us. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], p.63), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 1 'Conc' |
| 16784 | Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P] |
| Full Idea: The form is what renders a thing such and distinguishes it from others, whether it is a being really distinct from the matter, according to the Schools, or whether it is only the arrangement of the parts. By this form one must explain its properties. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], III.18 p240), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 27.6 | |
| A reaction: If we ask 'what explains the properties of this thing' it is hard to avoid coming up with something that might be called the 'form'. Note that they allow either substantial or corpuscularian forms. It is hard to disagree with the idea. |
| 10499 | We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P] |
| Full Idea: The mind cannot perfectly understand things that are even slightly composite unless it considers them a part at a time. ...This is generally called knowing by abstraction. (..the human body, for example). | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: This adds the interesting thought that the mind is forced to abstract, rather than abstraction being a luxury extra feature. Knowledge through analysis is knowledge by abstraction. Also a nice linking of abstraction to epistemology. |
| 10501 | A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P] |
| Full Idea: If I draw an equilateral triangle on a piece of paper, ..I shall have an idea of only a single triangle. But if I ignore all the particular circumstances and focus on the three equal lines, I will be able to represent all equilateral triangles. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: [compressed] They observed that we grasp composites through their parts, and now that we can grasp generalisations through particulars, both achieved by the psychological act of abstraction, thus showing its epistemological power. |
| 10500 | No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P] |
| Full Idea: Geometers by no means assume that there are lines without width or surfaces without depth. They only think it is possible to consider the length without paying attention to the width. We can measure the length of a path without its width. | |
| From: Arnauld / Nicole (Logic (Port-Royal Art of Thinking) [1662], I.5) | |
| A reaction: A nice example which makes the point indubitable. The modern 'rigorous' account of abstraction that starts with Frege seems to require more than one object, in order to derive abstractions like direction or number. Path widths are not comparatives. |
| 9168 | I can't distinguish elm trees, but I mean by 'elm' the same set of trees as everybody else [Putnam] |
| Full Idea: My concept of an elm tree is exactly the same as my concept of a beech tree (I blush to confess). ..We still say that the extension of 'elm' in my idiolect is the same as the extension of 'elm' in anyone else's, viz. the set of all elm trees. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.154) | |
| A reaction: This example is clearer and less open to hair-splitting than his water/XYZ example. You could, with Putnam, say that his meaning of 'elm' is outside his head, but you could also say that he doesn't understand the word very well. |
| 5820 | 'Water' has an unnoticed indexical component, referring to stuff around here [Putnam] |
| Full Idea: Our theory can be summarized as saying that words like 'water' have an unnoticed indexical component: "water" is stuff that bears a certain similarity relation to the water around here. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.160) | |
| A reaction: This is the causal theory of reference, which leads to externalism about concepts, which leads to an externalist view of thought, which undermines internal accounts of the mind like functionalism, and leaves little room for scepticism… Etc. |
| 9170 | We need to recognise the contribution of society and of the world in determining reference [Putnam] |
| Full Idea: Traditional semantic theory leaves out two contributions to the determination of reference - the contribution of society and the contribution of the real world; a better semantic theory must encompass both. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.161) | |
| A reaction: I strongly agree that there is a social aspect to reference-fixing, but I am much more dubious about the world 'determining' anything. The whole of his Twin Earth point could be mopped up by a social account, with 'experts' as the key idea. |
| 5817 | Language is more like a cooperative steamship than an individual hammer [Putnam] |
| Full Idea: There are tools like a hammer used by one person, and there are tools like a steamship which require cooperative activity; words have been thought of too much on the model of the first sort of tool. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.156) | |
| A reaction: This clear thought strikes me as the most fruitful and sensible consequence of Wittgenstein's later ideas (as opposed to the relativistic 'language game' ideas). I am unconvinced that a private language is logically impossible, but it would be feeble. |
| 9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |
| Full Idea: A contingent generalization is a law of nature if and only if it appears as a theorem (or axiom) in each of the true deductive systems that achieves a best combination of simplicity and strength. | |
| From: David Lewis (Counterfactuals [1973], 3.3) |
| 5818 | If water is H2O in the actual world, there is no possible world where it isn't H2O [Putnam] |
| Full Idea: Once we have discovered that water (in the actual world) is H2O, nothing counts as a possible world in which water isn't H2O. | |
| From: Hilary Putnam (Meaning and Reference [1973], p.159) | |
| A reaction: Presumably there could be a possible world in which water is a bit cloudy, so the fact that it is H2O is being judged as essential. Presumably the scientists in the possible world might discover that we are wrong about the chemistry of water? |