25 ideas
| 6118 | Philosophy is logical analysis, followed by synthesis [Russell] |
| Full Idea: The business of philosophy, as I conceive it, is essentially that of logical analysis, followed by logical synthesis. | |
| From: Bertrand Russell (Logical Atomism [1924], p.162) | |
| A reaction: I am uneasy about Russell's hopes for the contribution that logic could make, but I totally agree that analysis is the route to wisdom, and I take Aristotle as my role model of an analytical philosopher, rather than the modern philosophers of logic. |
| 6116 | A logical language would show up the fallacy of inferring reality from ordinary language [Russell] |
| Full Idea: We are trying to create a perfectly logical language to prevent inferences from the nature of language to the nature of the world, which are fallacious because they depend upon the logical defects of language. | |
| From: Bertrand Russell (Logical Atomism [1924], p.159) | |
| A reaction: Wittgenstein seems to have rebelled against this idea, so that one strand of his later philosophy leads to 'ordinary language' philosophy, which is exactly what Russell is criticising. Wittgenstein seems to have seen 'logical language' as an oxymoron. |
| 6117 | Philosophy should be built on science, to reduce error [Russell] |
| Full Idea: We would be wise to build our philosophy upon science, because the risk of error in philosophy is pretty sure to be greater than in science. | |
| From: Bertrand Russell (Logical Atomism [1924], p.160) | |
| A reaction: If you do very little, it reduces the 'risk of error'. I agree that philosophers should start from the facts, and be responsive to new facts, and that science is excellent at discovering facts. But I don't think cognitive science is the new epistemology. |
| 18767 | Free logics has terms that do not designate real things, and even empty domains [Anderson,CA] |
| Full Idea: Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3) | |
| A reaction: I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine. |
| 6110 | Subject-predicate logic (and substance-attribute metaphysics) arise from Aryan languages [Russell] |
| Full Idea: It is doubtful whether the subject-predicate logic, with the substance-attribute metaphysic, would have been invented by people speaking a non-Aryan language. | |
| From: Bertrand Russell (Logical Atomism [1924], p.151) | |
| A reaction: This is not far off the Sapir-Whorf Hypothesis (e.g. Idea 3917), which Russell would never accept. I presume that Russell would see true logic as running deeper, and the 'Aryan' approach as just one possible way to describe it. |
| 6107 | It is logic, not metaphysics, that is fundamental to philosophy [Russell] |
| Full Idea: I hold that logic is what is fundamental in philosophy, and that schools should be characterised rather by their logic than by their metaphysics. | |
| From: Bertrand Russell (Logical Atomism [1924], p.143) | |
| A reaction: Personally I disagree. Russell seems to have been most interested in the logical form underlying language, but that seems to be because he was interested in the ontological implications of what we say, which is metaphysics. |
| 6115 | Vagueness, and simples being beyond experience, are obstacles to a logical language [Russell] |
| Full Idea: The fact that we do not experience simples is one obstacle to the actual creation of a correct logical language, and vagueness is another. | |
| From: Bertrand Russell (Logical Atomism [1924], p.159) | |
| A reaction: The dream of creating a perfect logical language looks doomed from the start, but it is a very interesting project to try to pinpoint why it is unlikely to be possible. I say a perfect language cuts nature exactly at the joints, so find the joints. |
| 18763 | Basic variables in second-order logic are taken to range over subsets of the individuals [Anderson,CA] |
| Full Idea: Under its now standard principal interpretation, the monadic predicate variables in second-order logic range over subsets of the domain on individuals. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: This is an interpretation in which properties are just sets of things, which is fine if you are a logician, but not if you want to talk about anything important. Still, we must play the game. Boolos introduced plural quantification at this point. |
| 18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA] |
| Full Idea: Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake! |
| 6109 | Some axioms may only become accepted when they lead to obvious conclusions [Russell] |
| Full Idea: Some of the premisses (of my logicist theory) are much less obvious than some of their consequences, and are believed chiefly because of their consequences. This will be found to be always the case when a science is arranged as a deductive system. | |
| From: Bertrand Russell (Logical Atomism [1924], p.145) | |
| A reaction: We shouldn't assume the model of self-evident axioms leading to surprising conclusions, which is something like the standard model for rationalist foundationalists. Russell nicely points out that the situation could be just the opposite |
| 6108 | Maths can be deduced from logical axioms and the logic of relations [Russell] |
| Full Idea: I think that no one will dispute that from certain ideas and axioms of formal logic, but with the help of the logic of relations, all pure mathematics can be deduced. | |
| From: Bertrand Russell (Logical Atomism [1924], p.145) | |
| A reaction: It has been said for a long time that Gödel's Incompleteness Theorems of 1930 disproved this claim, though recently there have been defenders of logicism. Beginning with 'certain ideas' sounds like begging the question. |
| 18769 | Do mathematicians use 'existence' differently when they say some entity exists? [Anderson,CA] |
| Full Idea: A cursory examination shows that mathematicians have no aversion to saying that this-or-that mathematical entity exists. But is this a different sense of 'existence'? | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: For those of us like me and my pal Quine who say that 'exist' is univocal (i.e. only one meaning), this is a nice challenge. Quine solves it by saying maths concerns sets of objects. I, who don't like sets, am puzzled (so I turn to fictionalism...). |
| 10968 | Russell gave up logical atomism because of negative, general and belief propositions [Russell, by Read] |
| Full Idea: Russell preceded Wittgenstein in deciding that the reduction of all propositions to atomic propositions could not be achieved. The problem cases were negative propositions, general propositions, and belief propositions. | |
| From: report of Bertrand Russell (Logical Atomism [1924]) by Stephen Read - Thinking About Logic Ch.1 |
| 6113 | To mean facts we assert them; to mean simples we name them [Russell] |
| Full Idea: The way to mean a fact is to assert it; the way to mean a simple is to name it. | |
| From: Bertrand Russell (Logical Atomism [1924], p.156) | |
| A reaction: Thus logical atomism is a linguistic programme, of reducing our language to a foundation of pure names. The recent thought of McDowell and others is aimed at undermining any possibility of a 'simple' in perception. The myth of 'The Given'. |
| 6114 | 'Simples' are not experienced, but are inferred at the limits of analysis [Russell] |
| Full Idea: When I speak of 'simples' I am speaking of something not experienced as such, but known only inferentially as the limits of analysis. | |
| From: Bertrand Russell (Logical Atomism [1924], p.158) | |
| A reaction: He claims that the simples are 'known', so he does not mean purely theoretical entities. They have something like the status of quarks in physics, whose existence is inferred from experience. |
| 21722 | Better to construct from what is known, than to infer what is unknown [Russell] |
| Full Idea: Whenever possible, substitute constructions out of known entities for inferences to unknown entities. | |
| From: Bertrand Russell (Logical Atomism [1924], p.161), quoted by Bernard Linsky - Russell's Metaphysical Logic 7 | |
| A reaction: In 1919 he said that the alternative, of 'postulating' new entities, has 'all the advantages of theft over honest toil' [IMP p.71]. This is Russell's commitment to 'constructing' everything, even his concept of matter. Arithmetic as PA is postulation. |
| 6111 | As propositions can be put in subject-predicate form, we wrongly infer that facts have substance-quality form [Russell] |
| Full Idea: Since any proposition can be put into a form with a subject and a predicate, united by a copula, it is natural to infer that every fact consists in the possession of a quality by a substance, which seems to me a mistake. | |
| From: Bertrand Russell (Logical Atomism [1924], p.152) | |
| A reaction: This disagrees with McGinn on facts (Idea 6075). I approve of this warning from Russell, which is a recognition that we can't just infer our metaphysics from our language. I think of this as the 'Frege Fallacy', which ensnared Quine and others. |
| 18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being [Anderson,CA] |
| Full Idea: There are sensible ways to maike a distinction between different kinds of being. ..One need not fear that this leads to a 'bloated ontology'. ...We need only distinguish 'ontological commitment' from 'existential commitment' | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6) | |
| A reaction: He speaks of giving fictional and abstract entities a 'lower score' in existence. I think he means the 'ontological' commitment to be the stronger of the two. |
| 18766 | 's is non-existent' cannot be said if 's' does not designate [Anderson,CA] |
| Full Idea: The paradox of negative existentials says that if 's' does not designate something, then the sentence 's is non-existent' is untrue. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.1) | |
| A reaction: This only seems be a problem for logicians. Everyone else can happily say 'my coffee is non-existent'. |
| 18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA] |
| Full Idea: Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5) | |
| A reaction: [This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things. |
| 18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA] |
| Full Idea: The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6) | |
| A reaction: I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today. |
| 18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA] |
| Full Idea: In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic. | |
| From: C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5) | |
| A reaction: The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising. |
| 6112 | Meaning takes many different forms, depending on different logical types [Russell] |
| Full Idea: There is not one relation of meaning between words and what they stand for, but as many relations of meaning, each of a different logical type, as there are logical types among the objects for which there are words. | |
| From: Bertrand Russell (Logical Atomism [1924], p.153) | |
| A reaction: This might be a good warning for those engaged in the externalist/internalist debate over the meaning of concepts such as natural kind terms like 'water'. I could have an external meaning for 'elms', but an internal meaning for 'ferns'. |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |