30 ideas
| 18986 | Truth is just a name for verification-processes [James] |
| Full Idea: Truth for us is simply a collective name for verification-processes, just as 'health' is a name for other processes in life. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: So the slogan is 'truth is success in belief'? Suicide and racist genocide can be 'successful'. I would have thought that truth was the end of a process, rather than the process itself. |
| 18983 | In many cases there is no obvious way in which ideas can agree with their object [James] |
| Full Idea: When you speak of the 'time-keeping function' of a clock, it is hard to see exactly what your ideas can copy. ...Where our ideas cannot copy definitely their object, what does agreement with that object mean? | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: This is a very good criticism of the correspondence theory of truth. It looks a lovely theory when you can map components of a sentence (like 'the pen is in the drawer') onto components of reality - but it has to cover the hard cases. |
| 18972 | Ideas are true in so far as they co-ordinate our experiences [James] |
| Full Idea: Pragmatists say that ideas (which themselves are but parts of our experience) become true just in so far as they help us to get into satisfactory relation with other parts of our experience. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: I'm struck by the close similarity (at least in James) of the pragmatic view of truth and the coherence theory of truth (associated later with Blanshard). Perhaps the coherence theory is one version of the pragmatic account |
| 18973 | New opinions count as 'true' if they are assimilated to an individual's current beliefs [James] |
| Full Idea: A new opinion counts as 'true' just in proportion as it gratifies the individual's desire to assimilate the novel in his experience to his beliefs in stock. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: Note the tell-tale locution 'counts as' true, rather than 'is' true. The obvious problem is that someone with a big stock of foolish beliefs will 'count as' true some bad interpretation which is gratifyingly assimilated to their current confusions. |
| 18984 | True ideas are those we can assimilate, validate, corroborate and verify (and false otherwise) [James] |
| Full Idea: True ideas are those that we can assimilate, validate, corroborate and verify. False ideas are those that we cannot. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: The immediate question is why you should label something as 'false' simply on the grounds that you can't corroborate it. Proving the falsity is a stronger position than the ignorance James seems happy with. 'Assimilate' implies coherence. |
| 11064 | Classes can be reduced to propositional functions [Russell, by Hanna] |
| Full Idea: Russell held that classes can be reduced to propositional functions. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by Robert Hanna - Rationality and Logic 2.4 | |
| A reaction: The exact nature of a propositional function is disputed amongst Russell scholars (though it is roughly an open sentence of the form 'x is red'). |
| 6407 | The class of classes which lack self-membership leads to a contradiction [Russell, by Grayling] |
| Full Idea: The class of teaspoons isn't a teaspoon, so isn't a member of itself; but the class of non-teaspoons is a member of itself. The class of all classes which are not members of themselves is a member of itself if it isn't a member of itself! Paradox. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: A very compressed version of Russell's famous paradox, often known as the 'barber' paradox. Russell developed his Theory of Types in an attempt to counter the paradox. Frege's response was to despair of his own theory. |
| 10418 | Type theory seems an extreme reaction, since self-exemplification is often innocuous [Swoyer on Russell] |
| Full Idea: Russell's reaction to his paradox (by creating his theory of types) seems extreme, because many cases of self-exemplification are innocuous. The property of being a property is itself a property. | |
| From: comment on Bertrand Russell (Mathematical logic and theory of types [1908]) by Chris Swoyer - Properties 7.5 | |
| A reaction: Perhaps it is not enough that 'many cases' are innocuous. We are starting from philosophy of mathematics, where precision is essentially. General views about properties come later. |
| 10047 | Russell's improvements blocked mathematics as well as paradoxes, and needed further axioms [Russell, by Musgrave] |
| Full Idea: Unfortunately, Russell's new logic, as well as preventing the deduction of paradoxes, also prevented the deduction of mathematics, so he supplemented it with additional axioms, of Infinity, of Choice, and of Reducibility. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by Alan Musgrave - Logicism Revisited §2 | |
| A reaction: The first axiom seems to be an empirical hypothesis, and the second has turned out to be independent of logic and set theory. |
| 23478 | Type theory means that features shared by different levels cannot be expressed [Morris,M on Russell] |
| Full Idea: Russell's theory of types avoided the paradoxes, but it had the result that features common to different levels of the hierarchy become uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (Mathematical logic and theory of types [1908]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H |
| 21718 | Ramified types can be defended as a system of intensional logic, with a 'no class' view of sets [Russell, by Linsky,B] |
| Full Idea: A defence of the ramified theory of types comes in seeing it as a system of intensional logic which includes the 'no class' account of sets, and indeed the whole development of mathematics, as just a part. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by Bernard Linsky - Russell's Metaphysical Logic 6.1 | |
| A reaction: So Linsky's basic project is to save logicism, by resting on intensional logic (rather than extensional logic and set theory). I'm not aware that Linsky has acquired followers for this. Maybe Crispin Wright has commented? |
| 18126 | A set does not exist unless at least one of its specifications is predicative [Russell, by Bostock] |
| Full Idea: The idea is that the same set may well have different canonical specifications, i.e. there may be different ways of stating its membership conditions, and so long as one of these is predicative all is well. If none are, the supposed set does not exist. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by David Bostock - Philosophy of Mathematics 8.1 |
| 18128 | Russell is a conceptualist here, saying some abstracta only exist because definitions create them [Russell, by Bostock] |
| Full Idea: It is a conceptualist approach that Russell is relying on. ...The view is that some abstract objects ...exist only because they are definable. It is the definition that would (if permitted) somehow bring them into existence. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908]) by David Bostock - Philosophy of Mathematics 8.1 | |
| A reaction: I'm suddenly thinking that predicativism is rather interesting. Being of an anti-platonist persuasion about abstract 'objects', I take some story about how we generate them to be needed. Psychological abstraction seems right, but a bit vague. |
| 18124 | Vicious Circle says if it is expressed using the whole collection, it can't be in the collection [Russell, by Bostock] |
| Full Idea: The Vicious Circle Principle says, roughly, that whatever involves, or presupposes, or is only definable in terms of, all of a collection cannot itself be one of the collection. | |
| From: report of Bertrand Russell (Mathematical logic and theory of types [1908], p.63,75) by David Bostock - Philosophy of Mathematics 8.1 | |
| A reaction: This is Bostock's paraphrase of Russell, because Russell never quite puts it clearly. The response is the requirement to be 'predicative'. Bostock emphasises that it mainly concerns definitions. The Principle 'always leads to hierarchies'. |
| 18987 | A 'thing' is simply carved out of reality for human purposes [James] |
| Full Idea: What shall we call a 'thing' anyhow? It seems quite arbitrary, for we carve out everything, just as we carve out constellations, to suit our human purposes. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 7) | |
| A reaction: James wrote just before the discovery of galaxies, which are much more obviously 'things' than constellations like the Plough are! This idea suggests a connection between pragmatism and the nihilist view of objects of Van Inwagen and co. |
| 18981 | 'Substance' is just a word for groupings and structures in experience [James] |
| Full Idea: 'Substance' appears now only as another name for the fact that phenomena as they come are actually grouped and given in coherent forms. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 4) | |
| A reaction: This is the strongly empirical strain in James's empiricism. This sounds like a David Lewis comment on the Humean mosaic of experience. We Aristotelians at least believe that the groups run much deeper than the surface of experience. |
| 18974 | Truth is a species of good, being whatever proves itself good in the way of belief [James] |
| Full Idea: Truth is one species of good, and not, as is usually supposed, a category distinct from good, and co-ordinate with it. The true is whatever proves itself to be good in the way of belief, and good, too, for definite, assignable reasons. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: The trouble is that false optimism can often often be what is 'good in the way of belief'. That said, I think quite a good way to specify 'truth' is 'success in belief', but I mean intrinsically successful, not pragmatically successful. |
| 18989 | Pragmatism accepts any hypothesis which has useful consequences [James] |
| Full Idea: On pragmatic principles we cannot reject any hypothesis if consequences useful to life flow from it. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 8) | |
| A reaction: Most governments seem to find lies more useful than the truth. Maybe most children are better off not knowing the truth about their parents. It might be disastrous to know the truth about what other people are thinking. Is 'useful but false' meaningful? |
| 18971 | Theories are practical tools for progress, not answers to enigmas [James] |
| Full Idea: Theories are instruments, not answers to enigmas, in which we can rest. We don't lie back upon them, we move forward, and, on occasion, make nature over again by their aid. Pragmatism unstiffens all our theories, limbers them up and sets each one to work. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 2) | |
| A reaction: This follows his criticism of the quest for 'solving names' - big words that give bogus solutions to problems. James's view is not the same as 'instrumentalism', though he would probably sympathise with that view. The defines theories badly. |
| 18985 | True thoughts are just valuable instruments of action [James] |
| Full Idea: The possession of true thoughts means everywhere the possession of invaluable instruments of action. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 6) | |
| A reaction: It looks to me like we should distinguish 'active' and 'passive' instrumentalism. The passive version says there is no more to theories and truth than what instruments record. James's active version says truth is an instrument for doing things well. |
| 18982 | Pragmatism says all theories are instrumental - that is, mental modes of adaptation to reality [James] |
| Full Idea: The pragmatist view is that all our theories are instrumental, are mental modes of adaptation to reality, rather than revelations or gnostic answers to some divinely instituted world enigma. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 5) | |
| A reaction: This treats instrumentalism as the pragmatic idea of theories as what works (and nothing more), with, presumably, no interest in grasping something called 'reality'. Presumably instrumentalism might have other motivations - such as fun. |
| 18975 | We return to experience with concepts, where they show us differences [James] |
| Full Idea: Concepts for the pragmatist are things to come back into experience with, things to make us look for differences. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: That's good. I like both halves of this. Experience gives us the concepts, but then we 'come back' into experience equipped with them. Presumably animals can look for differences, but concepts enhance that hugely. Know the names of the flowers. |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 18980 | If there is a 'greatest knower', it doesn't follow that they know absolutely everything [James] |
| Full Idea: The greatest knower of them all may yet not know the whole of everything, or even know what he does know at one single stroke: - he may be liable to forget. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 4) | |
| A reaction: And that's before you get to the problem of how the greatest knower could possibly know whether or not they knew absolutely everything, or whether there might be some fact which was irremediably hidden from them. |
| 18978 | It is hard to grasp a cosmic mind which produces such a mixture of goods and evils [James] |
| Full Idea: We can with difficulty comprehend the character of a cosmic mind whose purposes are fully revealed by the strange mixture of good and evils that we find in this actual world's particulars. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: And, of course, what counts as 'goods' or 'evils' seems to have a highly relative aspect to it. To claim that really it is all good is massive hope based on flimsy evidence. |
| 18991 | If the God hypothesis works well, then it is true [James] |
| Full Idea: On pragmatistic principles, if the hypothesis of God works satisfactorily in the widest sense of the word, it is true. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 8) | |
| A reaction: The truth of God's existence certainly is a challenging test case for the pragmatic theory of truth, and James really bites the bullet here. Pragmatism may ultimately founder on the impossibility of specifying what 'works satisfactorily' means. |
| 18977 | The wonderful design of a woodpecker looks diabolical to its victims [James] |
| Full Idea: To the grub under the bark the exquisite fitness of the woodpecker's organism to extract him would certainly argue a diabolical designer. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: What an elegant sentence! The huge problem for religious people who accept (probably reluctantly) evolution by natural selection is the moral nature of the divine being who could use such a ruthless method of design. |
| 18979 | Things with parts always have some structure, so they always appear to be designed [James] |
| Full Idea: The parts of things must always make some definite resultant, be it chaotic or harmonious. When we look at what has actually come, the conditions must always appear perfectly designed to ensure it. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: In so far as the design argument is an analogy with human affairs, we can't deny that high levels of order suggest an organising mind, and mere chaos suggests a coincidence of unco-ordinated forces. |
| 18976 | Private experience is the main evidence for God [James] |
| Full Idea: I myself believe that the evidence for God lies primarily in inner personal experience. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 3) | |
| A reaction: There is not much you can say to someone who claims incontrovertible evidence which is utterly private to themselves. Does total absence of private religious experience count as evidence on the subject? |
| 18990 | Nirvana means safety from sense experience, and hindus and buddhists are just afraid of life [James] |
| Full Idea: Nirvana means safety from the everlasting round of adventures of which the world of sense consists. The hindoo and the buddhist for this is essentially their attitude, are simply afraid, afraid of more experience, afraid of life. | |
| From: William James (Pragmatism - eight lectures [1907], Lec 8) | |
| A reaction: Wonderfully American! From what I have seen of eastern thought, including Taoism, I agree with James, in general. There is a rejection of knowledge and of human life which I find shocking. I suspect it is a defence mechanism for downtrodden people. |