34 ideas
| 6420 | Only by analysing is progress possible in philosophy [Russell] |
| Full Idea: I remain firmly persuaded, in spite of some modern tendencies to the contrary, that only by analysing is progress possible, …for example, by analysing physics and perception, the problem of mind and matter can be completely solved. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.1) | |
| A reaction: I don't share his confidence in the second part of this, but I subscribe to the maxim that 'analsis is the path to wisdom'. It is a very western view, and lots of people (mostly of a mystical disposition) hate it, but I see no better path. |
| 6432 | Analysis gives new knowledge, without destroying what we already have [Russell] |
| Full Idea: It seems to me evident that, as in the case of impure water, analysis gives new knowledge without destroying any of the previously existing knowledge. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.11) | |
| A reaction: I agree. On the whole, opponents of analysis are sentimental mystics who are reluctant to think carefully about life. I'm not sure what careful and concentrated thought is capable of, apart from analysis. |
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| Full Idea: A state of 'reflective equilibrium' is when our theory and our intuitions become completely aligned | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.IV) | |
| A reaction: [Rawls made this concept famous] This is a helpful concept in trying to spell out the ideal which is the dream of believers in 'pure reason' - that there is a goal in which everything comes right. The problem is when people have different intuitions! |
| 6437 | The theory of types makes 'Socrates and killing are two' illegitimate [Russell] |
| Full Idea: 'Socrates and killing are two' would be an illegitimate sentence according to the doctrine of types. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.14) | |
| A reaction: This nicely shows how Ryle's notion of a 'category mistake', although it is a commonsense observation of bogus reasoning, arises out of Russell's logical analysis of sets. Of course, the theory of types has its critics. |
| 6442 | Truth belongs to beliefs, not to propositions and sentences [Russell] |
| Full Idea: Truth and falsehood both belong primarily to beliefs, and only derivatively to propositions and sentences. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.15) | |
| A reaction: I'm not sure why a proposition which is date/place stamped ('it is raining, here and now') could not be considered a truth, even if no one believed it. Is not the proposition 'squares have four sides' true? |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| Full Idea: In three-valued logic (L3), neither the law of excluded middle (p or not-p), nor the law of non-contradiction (not(p and not-p)) will be tautologies. If p has the value 'indeterminate' then so will not-p. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.I) | |
| A reaction: I quite accept that the world is full of indeterminate propositions, and that excluded middle and non-contradiction can sometimes be uncertain, but I am reluctant to accept that what is being offered here should be called 'logic'. |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| Full Idea: In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status. |
| 6436 | I gradually replaced classes with properties, and they ended as a symbolic convenience [Russell] |
| Full Idea: My original use of classes was gradually more and more replaced by properties, and in the end disappeared except as a symbolic convenience. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.14) | |
| A reaction: I wish I knew what properties are. On the whole, though, I agree with this, because it is more naturalistic. We may place things in classes because of their properties, and this means there are natural classes, but classes can't have a life of their own. |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| Full Idea: For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.I) | |
| A reaction: [She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3! |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| Full Idea: Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 09.I) | |
| A reaction: Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment. |
| 7528 | Leibniz bases everything on subject/predicate and substance/property propositions [Russell] |
| Full Idea: The metaphysics of Leibniz was explicitly based upon the doctrine that every proposition attributes a predicate to a subject and (what seemed to him almost the same thing) that every fact consists of a substance having a property. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.5) | |
| A reaction: I think it is realised now that although predicates tend to attribute properties to things, they are far from being the same thing. See Idea 4587, for example. Russell gives us an interesting foot in the door of Leibniz's complex system. |
| 6439 | Names are meaningless unless there is an object which they designate [Russell] |
| Full Idea: Unlike descriptions, names are meaningless unless there is an object which they designate. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.14) | |
| A reaction: This interests Russell because of its ontological implications. If we reduce language to names, we can have a pure ontology of 'objects'. We need a system for saying whether a description names something - which is his theory of definite descriptions. |
| 6423 | We tried to define all of pure maths using logical premisses and concepts [Russell] |
| Full Idea: The primary aim of our 'Principia Mathematica' was to show that all pure mathematics follows from purely logical premisses and uses only concepts definable in logical terms. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.7) | |
| A reaction: This spells out the main programme of logicism, by its great hero, Russell. The big question now is whether Gödel's Incompleteness Theorems have succeeded in disproving logicism. |
| 6424 | Formalists say maths is merely conventional marks on paper, like the arbitrary rules of chess [Russell] |
| Full Idea: The Formalists, led by Hilbert, maintain that arithmetic symbols are merely marks on paper, devoid of meaning, and that arithmetic consists of certain arbitrary rules, like the rules of chess, by which these marks can be manipulated. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.10) | |
| A reaction: I just don't believe that maths is arbitrary, and this view pushes me into the arms of the empiricists, who say maths is far more likely to arise from experience than from arbitrary convention. The key to maths is patterns. |
| 6425 | Formalism can't apply numbers to reality, so it is an evasion [Russell] |
| Full Idea: Formalism is perfectly adequate for doing sums, but not for the application of number, such as the simple statement 'there are three men in this room', so it must be regarded as an unsatisfactory evasion. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.10) | |
| A reaction: This seems to me a powerful and simple objection. The foundation of arithmetic is that there are three men in the room, not that one plus two is three. Three men and three ties make a pattern, which we call 'three'. |
| 6426 | Intuitionism says propositions are only true or false if there is a method of showing it [Russell] |
| Full Idea: The nerve of the Intuitionist theory, led by Brouwer, is the denial of the law of excluded middle; it holds that a proposition can only be accounted true or false when there is some method of ascertaining which of these it is. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.2) | |
| A reaction: He cites 'there are three successive sevens in the expansion of pi' as a case in point. This seems to me an example of the verificationism and anti-realism which is typical of that period. It strikes me as nonsense, but Russell takes it seriously. |
| 6419 | In 1899-1900 I adopted the philosophy of logical atomism [Russell] |
| Full Idea: In the years 1899-1900 I adopted the philosophy of logical atomism. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.1) | |
| A reaction: This is interesting (about Russell) because he only labelled it as 'logical atomism' in about 1912, and only wrote about it as such in 1918. It is helpful to understand that the theory of definite descriptions was part of his logical atomism. |
| 6438 | Complex things can be known, but not simple things [Russell] |
| Full Idea: I have come to think that, although many things can be known to be complex, nothing can be known to be simple. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.14) | |
| A reaction: This appears to be a rejection of his logical atomism. It goes with a general rebellion against foundationalist epistemology, because the empiricists foundations (e.g. Hume's impressions) seem devoid of all content. |
| 6434 | Facts are everything, except simples; they are either relations or qualities [Russell] |
| Full Idea: Facts, as I am using the word, consist always of relations between parts of a whole or qualities of single things; facts, in a word, are whatever there is except what (if anything) is completely simple. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.13) | |
| A reaction: This is the view that goes with Russell's 'logical atomism', where the 'completely simple' is used to build up the 'facts'. If World War One was a fact, was it a 'relation' or a 'quality'. Must events then be defined in terms of those two? |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| Full Idea: We could construct a 1,000,000-valued logic that would allow our intuitions concerning a heap to vary exactly with the amount of sand in the heap. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008]) | |
| A reaction: Presumably only an infinite number of grains of sand would then produce a true heap, and even one grain would count as a bit of a heap, which must both be wrong, so I can't see this helping much. |
| 6440 | Universals can't just be words, because words themselves are universals [Russell] |
| Full Idea: Those who dislike universals have thought that they could be merely words; the trouble with this view is that a word itself is a universal. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.14) | |
| A reaction: Russell gradually lost his faith in most things, but never in universals. I find it unconvincing that we might dismiss nominalism so easily. I'm not sure why the application of the word 'cat' could not just be conventional. |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| Full Idea: Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness). | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not. |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III) | |
| A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p. |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I) | |
| A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics. |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III) | |
| A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky. |
| 6430 | In epistemology we should emphasis the continuity between animal and human minds [Russell] |
| Full Idea: It seems to me desirable in the theory of knowledge to emphasise the continuity between animal and human minds. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.11) | |
| A reaction: I strongly agree with this, mainly because it avoids overemphasis on language in epistemology. It doesn't follow that animals know a lot, and there is a good case for saying that they don't actually 'know' anything, despite having true beliefs. |
| 6441 | Pragmatism judges by effects, but I judge truth by causes [Russell] |
| Full Idea: Pragmatism holds that a belief is to be judged if it has certain effects, whereas I hold that an empirical belief is to be judged true if it has certain kinds of causes. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.15) | |
| A reaction: I'm with Russell here, and this seems to me a convincing objection to pragmatism. The simple problem is that falsehoods can occasionally have very beneficial effects. Beliefs are made true by the facts, not by their consequences. |
| 6431 | Empiricists seem unclear what they mean by 'experience' [Russell] |
| Full Idea: When I began to think about theory of knowledge, I found that none of the philosophers who emphasise 'experience' tells us what they mean by the word. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.11) | |
| A reaction: A very significant comment about empiricism. Hume does not seem very clear about what an 'impression' is. Russell's problem has been dealt with intensively by modern empiricists, who discuss 'the given', and conceptualised perception. |
| 6444 | True belief about the time is not knowledge if I luckily observe a stopped clock at the right moment [Russell] |
| Full Idea: Not all true beliefs are knowledge; the stock example to the contrary is that of a clock which has stopped by which I believe to be going and which I happen to look at when, by chance, it shows the right time. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.15) | |
| A reaction: [in his 1948:112] Russell had spotted Gettier-type problems long before Gettier. The problem of lucky true beliefs dates back to Plato (Idea 2140). This example is also a problem for reliabilism, if the clock is usually working fine. |
| 6433 | Behaviourists struggle to explain memory and imagination, because they won't admit images [Russell] |
| Full Idea: Behaviourists refuse to admit images because they cannot be observed from without, but this causes them difficulties when they attempt to explain either memory or imagination. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.13) | |
| A reaction: This is a striking objection to behaviourism, and it is rarely mentioned in modern discussions of the topic. They might try denying the existence of private 'images', but that wouldn't be very plausible. |
| 6443 | Surprise is a criterion of error [Russell] |
| Full Idea: Surprise is a criterion of error. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.15) | |
| A reaction: Russell is not too precise about this, but it is a nice point. Surprise is thwarted expectation, which implies prior misjudgement. |
| 6427 | Unverifiable propositions about the remote past are still either true or false [Russell] |
| Full Idea: There is no conceivable method by which we can discover whether the proposition 'It snowed on Manhattan Island on the 1st January in the year 1 A.D.' is true or false, but it seems preposterous to maintain that it is neither. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.10) | |
| A reaction: I love this example, which seems so simple and so clear-cut. It criticises verificationism, and gives strong intuitive support for realism, and supports the law of excluded middle. |
| 6435 | You can believe the meaning of a sentence without thinking of the words [Russell] |
| Full Idea: If you have just heard a loud clap of thunder, you believe what is expressed by 'there has just been a loud clap of thunder' even if no words come into your mind. | |
| From: Bertrand Russell (My Philosophical Development [1959], Ch.13) | |
| A reaction: This seems to me important, and accurate. We should not be too mesmerised by language. Animals have beliefs, and this is a nice example of an undeniable non-linguistic human belief. |
| 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'). |