82 ideas
| 5278 | Philosophy is no more than abstractions concerning observations of human historical development [Marx/Engels] |
| Full Idea: When reality is depicted, philosophy as an independent branch of knowledge loses its medium of existence. At best it is a summing up of general results, abstractions which arise from observation of the historical development of man. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: This strikes me as nonsense, based on a bogus Hegelian notion that history is following some sort of pattern, and that mental reality is fixed by physical conditions. The philosophy of mathematics, for one, won't fit into this definition. |
| 10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
| Full Idea: Three traditional names for rules are 'Simplification' (P from 'P and Q'), 'Addition' ('P or Q' from P), and 'Disjunctive Syllogism' (Q from 'P or Q' and 'not-P'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
| Full Idea: In S4 necessity is said to be informal 'provability', and in S5 it is said to be 'true in every possible world'. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: It seems that the S4 version is proof-theoretic, and the S5 version is semantic. |
| 11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
| Full Idea: In fuzzy logic, besides fuzzy predicates, which define fuzzy sets, there are also fuzzy quantifiers (such as 'most' and 'few') and fuzzy modifiers (such as 'usually'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) |
| 11011 | Same say there are positive, negative and neuter free logics [Read] |
| Full Idea: It is normal to classify free logics into three sorts; positive free logics (some propositions with empty terms are true), negative free logics (they are false), and neuter free logics (they lack truth-value), though I find this unhelpful and superficial. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) |
| 11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
| Full Idea: Hard-headed realism tends to embrace the full Comprehension Principle, that every well-defined concept determines a set. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
| A reaction: This sort of thing gets you into trouble with Russell's paradox (though that is presumably meant to be excluded somehow by 'well-defined'). There are lots of diluted Comprehension Principles. |
| 14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
| Full Idea: The topic-neutrality of logic need not mean there is a pure subject matter for logic; rather, that the logician may need to go everywhere, into mathematics and even into metaphysics. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Logic') |
| 10986 | Not all validity is captured in first-order logic [Read] |
| Full Idea: We must recognise that first-order classical logic is inadequate to describe all valid consequences, that is, all cases in which it is impossible for the premisses to be true and the conclusion false. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: This is despite the fact that first-order logic is 'complete', in the sense that its own truths are all provable. |
| 10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
| Full Idea: The non-emptiness of the domain is characteristic of classical logic. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
| Full Idea: For the realist, study of semantic structures comes before study of proofs. In higher-order logic is has to, for the logics are incomplete. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.9) | |
| A reaction: This seems to be an important general observation about any incomplete system, such as Peano arithmetic. You may dream the old rationalist dream of starting from the beginning and proving everything, but you can't. Start with truth and meaning. |
| 10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
| Full Idea: Those who believe mathematics goes beyond logic use that fact to argue that classical logic is right to exclude second-order logic. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| Full Idea: Belief that every valid argument is valid in virtue of form is a myth. ..Validity is a question of the impossibility of true premises and false conclusion for whatever reason, and some arguments are materially valid and the reason is not purely logical. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Logic') | |
| A reaction: An example of a non-logical reason is the transitive nature of 'taller than'. Conceptual connections are the usual example, as in 'it's red so it is coloured'. This seems to be a defence of the priority of semantic consequence in logic. |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| Full Idea: In 'A is taller than B, and B is taller than C, so A is taller than C' this can been seen as a matter of meaning - it is part of the meaning of 'taller' that it is transitive, but not of logic. Logic is now seen as the study of formal consequence. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Reduct') | |
| A reaction: I think I find this approach quite appealing. Obviously you can reason about taller-than relations, by putting the concepts together like jigsaw pieces, but I tend to think of logic as something which is necessarily implementable on a machine. |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| Full Idea: Maybe some arguments are really only valid when a suppressed premise is made explicit, as when we say that 'taller than' is a transitive concept. ...But what is added by making the hidden premise explicit? It cannot alter the soundness of the argument. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Suppress') |
| 10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
| Full Idea: A theory of logical consequence, while requiring a conceptual analysis of consequence, also searches for a set of techniques to determine the validity of particular arguments. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
| Full Idea: If classical logic insists that logical consequence is just a matter of the form, we fail to include as valid consequences those inferences whose correctness depends on the connections between non-logical terms (such as 'round' and 'square'). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: He suggests that an inference such as 'round, so not square' should be labelled as 'materially valid'. |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| Full Idea: A puzzle about modus ponens is that the major premise is either false or unnecessary: A, If A then B / so B. If the major premise is true, then B follows from A, so the major premise is redundant. So it is false or not needed, and contributes nothing. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: Not sure which is the 'major premise' here, but it seems to be saying that the 'if A then B' is redundant. If I say 'it's raining so the grass is wet', it seems pointless to slip in the middle the remark that rain implies wet grass. Good point. |
| 14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
| Full Idea: The logical connectives are useful for bundling information, that B follows from A, or that one of A or B is true. ..They import no information of their own, but serve to record combinations of other facts. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: Anyone who suggests a link between logic and 'facts' gets my vote, so this sounds a promising idea. However, logical truths have a high degree of generality, which seems somehow above the 'facts'. |
| 10973 | A theory is logically closed, which means infinite premisses [Read] |
| Full Idea: A 'theory' is any logically closed set of propositions, ..and since any proposition has infinitely many consequences, including all the logical truths, so that theories have infinitely many premisses. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: Read is introducing this as the essential preliminary to an account of the Compactness Theorem, which relates these infinite premisses to the finite. |
| 11007 | Quantifiers are second-order predicates [Read] |
| Full Idea: Quantifiers are second-order predicates. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
| A reaction: [He calls this 'Frege's insight'] They seem to be second-order in Tarski's sense, that they are part of a metalanguage about the sentence, rather than being a part of the sentence. |
| 10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
| Full Idea: The defining factor of second-order logic is that, while the domain of its individual variables may be arbitrary, the range of the first-order variables is all the properties of the objects in its domain (or, thinking extensionally, of the sets objects). | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: The key point is that the domain is 'all' of the properties. How many properties does an object have. You need to decide whether you believe in sparse or abundant properties (I vote for very sparse indeed). |
| 10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
| Full Idea: Logical truth is a degenerate, or extreme, case of consequence. A logical truth is the conclusion of a valid inference with no premisses, or a proposition in the premisses of an argument which is unnecessary or may be suppressed. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10988 | Any first-order theory of sets is inadequate [Read] |
| Full Idea: Any first-order theory of sets is inadequate because of the Löwenheim-Skolem-Tarski property, and the consequent Skolem paradox. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: The limitation is in giving an account of infinities. |
| 10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
| Full Idea: Classical logical consequence is compact, which means that any consequence of an infinite set of propositions (such as a theory) is a consequence of some finite subset of them. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
| Full Idea: Compactness does not deny that an inference can have infinitely many premisses. It can; but classically, it is valid if and only if the conclusion follows from a finite subset of them. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
| Full Idea: Compact consequence undergenerates - there are intuitively valid consequences which it marks as invalid, such as the ω-rule, that if A holds of the natural numbers, then 'for every n, A(n)', but the proof of that would be infinite, for each number. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
| Full Idea: Compactness is a virtue - it makes the consequence relation more manageable; but it is also a limitation - it limits the expressive power of the logic. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: The major limitation is that wholly infinite proofs are not permitted, as in Idea 10977. |
| 11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
| Full Idea: It cannot be self-reference alone that is at fault. Rather, what seems to cause the problems in the paradoxes is the combination of self-reference with falsity. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.6) |
| 11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
| Full Idea: Every potential infinity seems to suggest an actual infinity - e.g. generating successors suggests they are really all there already; cutting the line suggests that the point where the cut is made is already in place. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
| A reaction: Finding a new gambit in chess suggests it was there waiting for us, but we obviously invented chess. Daft. |
| 10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
| Full Idea: Second-order arithmetic is categorical - indeed, there is a single formula of second-order logic whose only model is the standard model ω, consisting of just the natural numbers, with all of arithmetic following. It is nevertheless incomplete. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: This is the main reason why second-order logic has a big fan club, despite the logic being incomplete (as well as the arithmetic). |
| 10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
| Full Idea: Second-order arithmetic can rule out the non-standard models (with non-standard numbers). Its induction axiom crucially refers to 'any' property, which gives the needed categoricity for the models. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) |
| 10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
| Full Idea: The Von Neumann numbers have a structural isomorphism to the natural numbers - each number is the set of all its predecessors, so 2 is the set of 0 and 1. This helps proofs, but is unacceptable. 2 is not a set with two members, or a member of 3. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) |
| 5287 | Philosophical problems are resolved into empirical facts [Marx/Engels] |
| Full Idea: Every profound philosophical problem is resolved quite simply into an empirical fact. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.B) | |
| A reaction: This shows that empirical accounts of metaphysics are not just a branch of British empiricism, but are a basic fact of any materialist view of the world. The influence of David Hume, however, hovers behind this Marxist doctrine. |
| 11016 | Would a language without vagueness be usable at all? [Read] |
| Full Idea: We must ask whether a language without vagueness would be usable at all. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
| A reaction: Popper makes a similar remark somewhere, with which I heartily agreed. This is the idea of 'spreading the word' over the world, which seems the right way of understanding it. |
| 11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
| Full Idea: The supervaluation approach to vagueness is to construe vague predicates not as ones with fuzzy borderlines and no cut-off, but as having a cut-off somewhere, but in no particular place. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
| A reaction: Presumably you narrow down the gap by supervaluation, then split the difference to get a definite value. |
| 11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
| Full Idea: A 'supervaluation' says a proposition is true if it is true in all classical extensions of the original partial valuation. Thus 'A or not-A' has no valuation for an empty name, but if 'extended' to make A true or not-true, not-A always has opposite value. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) |
| 11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
| Full Idea: In supervaluations, the Law of Identity has no value for empty names, and remains so if extended. The Indiscernibility of Identicals also fails if extending it for non-denoting terms, where Fa comes out true and Fb false. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) |
| 10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
| Full Idea: The haecceitist (a neologism coined by Duns Scotus, pronounced 'hex-ee-it-ist', meaning literally 'thisness') believes that each thing has an individual essence, a set of properties which are essential to it. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: This seems to be a difference of opinion over whether a haecceity is a set of essential properties, or a bare particular. The key point is that it is unique to each entity. |
| 11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
| Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
| 10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
| Full Idea: The point of conditionals is to show that one will accept modus ponens. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.3) | |
| A reaction: [He attributes this idea to Frank Jackson] This makes the point, against Grice, that the implication of conditionals is not conversational but a matter of logical convention. See Idea 21396 for a very different view. |
| 10989 | The standard view of conditionals is that they are truth-functional [Read] |
| Full Idea: The standard view of conditionals is that they are truth-functional, that is, that their truth-values are determined by the truth-values of their constituents. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.3) |
| 11017 | Some people even claim that conditionals do not express propositions [Read] |
| Full Idea: Some people even claim that conditionals do not express propositions. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
| A reaction: See Idea 14283, where this appears to have been 'proved' by Lewis, and is not just a view held by some people. |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| Full Idea: Truth enables us to carry various reports around under certain descriptions ('what Iain said') without all the bothersome detail. Similarly, conditionals enable us to transmit a record of proof without its detail. | |
| From: Stephen Read (Formal and Material Consequence [1994], 'Repres') | |
| A reaction: This is his proposed Redundancy Theory of conditionals. It grows out of the problem with Modus Ponens mentioned in Idea 14184. To say that there is always an implied 'proof' seems a large claim. |
| 10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
| Full Idea: The modal Platonist denies that knowledge always depends on a causal relation. The reality of possible worlds is an ontological requirement, to secure the truth-values of modal propositions. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: [Reply to Idea 10982] This seems to be a case of deriving your metaphyics from your semantics, of which David Lewis seems to be guilty, and which strikes me as misguided. |
| 10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
| Full Idea: If modal Platonism was true, how could we ever know the truth of a modal proposition? | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: I take this to be very important. Our knowledge of modal truths must depend on our knowledge of the actual world. The best answer seems to involve reference to the 'powers' of the actual world. A reply is in Idea 10983. |
| 10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
| Full Idea: There are two main forms of actualism: reductionism, which seeks to construct possible worlds out of some more mundane material; and moderate realism, in which the actual concrete world is contrasted with abstract, but none the less real, possible worlds. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: I am a reductionist, as I do not take abstractions to be 'real' (precisely because they have been 'abstracted' from the things that are real). I think I will call myself a 'scientific modalist' - we build worlds from possibilities, discovered by science. |
| 10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
| Full Idea: A possible world is a complete determination of the truth-values of all propositions over a certain domain. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
| A reaction: Even if the domain is very small? Even if the world fitted the logic nicely, but was naturally impossible? |
| 11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
| Full Idea: If each possible world constitutes a concrete reality, then no object can be present in more than one world - objects may have 'counterparts', but cannot be identical with them. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: This explains clearly why in Lewis's modal realist scheme he needs counterparts instead of rigid designation. Sounds like a slippery slope. If you say 'Humphrey might have won the election', who are you talking about? |
| 5303 | For the proletariate, law, morality and religion are just expressions of bourgeois interests [Marx/Engels] |
| Full Idea: Law, morality, religion are to the proletarian so many bourgeois prejudices, behind which lurk in ambush just as many bourgeois interests. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §1) | |
| A reaction: This Marxist idea has been the main driving force in spreading relativist views through modern culture. There is a lot of truth here, but philosophy is plausibly the search for truths which both the bourgeois and the proletarian will accept. |
| 20653 | Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson] |
| Full Idea: There are six 'reductive levels' in science: social groups, (multicellular) living things, cells, molecules, atoms, and elementary particles. | |
| From: report of H.Putnam/P.Oppenheim (Unity of Science as a Working Hypothesis [1958]) by Peter Watson - Convergence 10 'Intro' | |
| A reaction: I have the impression that fields are seen as more fundamental that elementary particles. What is the status of the 'laws' that are supposed to govern these things? What is the status of space and time within this picture? |
| 23872 | 'Society determines consciousness' is contradictory; society only exists in minds [Weil on Marx/Engels] |
| Full Idea: In the Marxist formula 'social existence determines consciousness' there are more contradictions than words. Since 'social' can only exist in human minds, 'social existence' is already consciousness. It cannot determine consciousness, which is undefined. | |
| From: comment on K Marx / F Engels (The German Ideology [1846]) by Simone Weil - Fragments p.126 | |
| A reaction: I'm not convinced that society only exists in minds. Many children in Victorian London had never heard of 'London', but that didn't stop it existing. Our problems are often social substrata of which we are unaware. |
| 5277 | Life is not determined by consciousness, but consciousness by life [Marx/Engels] |
| Full Idea: Life is not determined by consciousness, but consciousness by life. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: This slogan is the heart of Marxism. It begs the obvious question of what determines (social) life? Aristotle is at least partly right - that some activities and social organisation are 'unnatural', going against the grain of the human 'given'. |
| 10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
| Full Idea: Ways things might be are real, but only when abstracted from the actual way things are. They are brought out and distinguished by the mind, by abstraction, but are not dependent on mind for their existence. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
| A reaction: To me this just flatly contradicts itself. The idea that the mind can 'bring something out' by its operations, with the result being then accepted as part of reality is nonsense on stilts. What is real is the powers that make the possibilities. |
| 5280 | Language co-exists with consciousness, and makes it social [Marx/Engels] |
| Full Idea: Language is as old as consciousness, language is practical consciousness that exists also for other men. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: Dennett takes a similar view - that consciousness is more-or-less a consequence of the development of consciousness. This is understandable if you make intentional rather than phenomenal consciousness central. Otherwise ants may well have it. |
| 11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
| Full Idea: A problem with compositionality is negative existential propositions. If some of the terms of the proposition are empty, and don't refer, then compositionality implies that the whole will lack meaning too. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
| A reaction: I don't agree. I don't see why compositionality implies holism about sentence-meaning. If I say 'that circular square is a psychopath', you understand the predication, despite being puzzled by the singular term. |
| 10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
| Full Idea: A proposition makes an object out of what is said or expressed by the utterance of a certain sort of sentence, namely, one in the indicative mood which makes sense and doesn't fail in its references. It can then be an object of thought and belief. | |
| From: Stephen Read (Thinking About Logic [1995], Ch.1) | |
| A reaction: Nice, but two objections: I take it to be crucial to propositions that they eliminate ambiguities, and I take it that animals are capable of forming propositions. Read seems to regard them as fictions, but I take them to be brain events. |
| 5276 | The nature of an individual coincides with what they produce and how they produce it [Marx/Engels] |
| Full Idea: As individuals express their life, so they are; what they are, therefore, coincides with their production, both with what they produce and with how they produce. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: This appears to be contradicted by their subsequent idea that 'alienation' from the means of production is possible. Presumably intellectuals (in all ages) are to some extent exempt from this rule. It is, in fact, not true. |
| 5281 | Consciousness is a social product [Marx/Engels] |
| Full Idea: Consciousness is from the very beginning a social product. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: This slogan has produced the sociological view of truth which has stood opposed to philosophy for the last 150 years. It would be silly to deny that there is a good point here, but equally silly to think that all consciousness is explicable in this way. |
| 21998 | Bourgeois interests create our morality, law and religion [Marx/Engels] |
| Full Idea: Morality, law and religion are bourgeois prejudices, behind which lurk in ambush just as many bourgeois interests. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], p.230), quoted by Peter Singer - Marx 9 | |
| A reaction: The obvious question is whether this creation of values is conscious or unconscious. Personally I believe in conspiracies. Some cynical conversations go on behind the scenes, of which historians will never hear. |
| 5289 | When aristocracy or the bourgeoisie dominate, certain values dominate with them [Marx/Engels] |
| Full Idea: During the time that the aristocracy was dominant, the concepts honour, loyalty etc. were dominant, and during the dominance of the bourgeoisie the concepts of freedom, equality etc. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.B) | |
| A reaction: This is a very anti-Aristotelian view, based on a very different idea of human nature. It must, to some extent, be true, but freedom and equality will be a value for the proletariat, and loyalty will be a key value if the family is central. |
| 5274 | Young Hegelians proposed changing our present consciousness for liberating critical consciousness [Marx/Engels] |
| Full Idea: The Young Hegelians logically put to men the moral postulate of exchanging their present consciousness for human, critical or egoistic consciousness, and thus removing their limitations. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: It seems there are three views here: this one (that we can change our consciousness), the Aristotelian view (that consciousness is 'given'), and the Marxist view (that society determines consciousness). The truth is somewhere between them. |
| 21992 | Producing their own subsistence distinguishes men from animals [Marx/Engels] |
| Full Idea: Men begin to distinguish themselves from animals as soon as they begin to produce their means of subsistence. | |
| From: K Marx / F Engels (The German Ideology [1846], p.160), quoted by Sydney Shoemaker - Some varieties of functionalism 6 | |
| A reaction: At the very least, we must say that there had to be some intrinsic distinctiveness in place before men could do this. I like meta-thought. |
| 5275 | Men distinguish themselves from animals when they begin to produce their means of subsistence [Marx/Engels] |
| Full Idea: Men begin to distinguish themselves from animals as soon as they begin to produce their means of subsistence. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: This seems a rather external criterion. Presumably we can ask what biological or mental feature made it possible for men to produce their own means of subsistence, and why it evolved. Darwin puts a different perspective on this idea. |
| 5292 | Individuals are mutually hostile unless they group together in competition with other groups [Marx/Engels] |
| Full Idea: Separate individuals form a class only insofar as they have to carry on a battle against another class; otherwise they are on hostile terms with each other as competitors. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.D) | |
| A reaction: Beneath the Marxist view that consciousness is a social creation lies a Hobbesian pessimism about basic human nature. This idea bodes ill for ultimate communism, because class struggle will have been abolished. What, then, can unite people? |
| 5293 | Only in community are people able to cultivate their gifts, and therefore be free [Marx/Engels] |
| Full Idea: Only in community with others has each individual the means of cultivating his gifts in all directions; only in the community, therefore, is personal freedom possible. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.D) | |
| A reaction: This is where Aristotle and Marx agree, and I agree too. I think we could drop the word "free", which is to some degree a necessary right and precondition of human happiness, but is not the real target. |
| 5273 | Young Hegelians think consciousness is chains for men, where old Hegelians think it the bond of society [Marx/Engels] |
| Full Idea: The Young Hegelians consider conceptions, thoughts, ideas, in fact all the products of consciousness, to which they attribute an independent existence, as the real chains of men (just as the Old Hegelians declared them the true bonds of human society). | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: Marx and Engels will attack both views. The Young Hegelians seem potential existentialists, and the Old Hegelians followers of Aristotle. The correct view is somewhere in the middle. Self-criticism is an option given to us by our culture. |
| 5283 | In communist society we are not trapped in one activity, but can act freely [Marx/Engels] |
| Full Idea: In communist society, where nobody has one exclusive sphere of activity but each can become accomplished in any branch he wishes, society regulates production, and I can hunt in the morning, fish in the afternoon and criticise after dinner. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: This sounds like a hopeless daydream, and Plato would be appalled. It now (2004) looks as if this aspiration is more likely to be met in a liberal capitalist democracy than it is under any state-controlled communism. |
| 5282 | If the common interest imposes on the individual, his actions become alienated and enslaving [Marx/Engels] |
| Full Idea: As long as a cleavage exists between the particular and the common interest, as long, therefore, as activity is not voluntarily, but naturally divided, man's own deed becomes an alien power opposed to him, which enslaves him. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: An isolated individual could feel 'alienated' doing menial tasks for themselves when they yearned to get on with their poetry. Alienation is not all-or-nothing. Compare working for a good employer with working for Nazi conquerors. |
| 5288 | The class controlling material production also controls mental production [Marx/Engels] |
| Full Idea: The class which has the means of material production at its disposal, has control at the same time over the means of mental production. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.B) | |
| A reaction: This is mostly true, because the wealthy will control both the media and most of the educational institutions, but in a world of universal education and underground presses it doesn't seem to be a necessary truth. Wide dissemination of ideas needs money. |
| 5290 | The revolutionary class is opposed to 'class', and represents all of society [Marx/Engels] |
| Full Idea: The class making a revolution appears from the very start, if only because it is opposed to a 'class', not as a class but as the representative of the whole of society. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.B) | |
| A reaction: This appears to be the source of most of the troubles of the last 150 years. Aristotle thought a benevolent tyrant could represent all of society. It looks to me as if a representative democracy has the best chance, but control of the media is tricky. |
| 5294 | To assert themselves as individuals, the proletarians must overthrow the State [Marx/Engels] |
| Full Idea: In order to assert themselves as individuals, the proletarians must overthrow the State. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.D) | |
| A reaction: By the 'State' is here meant the centralised power of the owners of the means of production. They are not aiming at anarchism, but at a more fluid 'society' or 'community'. Most of us have an Orwellian fear of violent 'overthrowing'. |
| 5302 | Modern governments are just bourgeois management committees [Marx/Engels] |
| Full Idea: The executive of the modern State is but a committee for managing the common affairs of the whole bourgeoisie. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §1) | |
| A reaction: In Britain the Labour Party and the Trade Unions have appeared since 1848, but bourgeoisie control of the media has pushed us a long way back towards Marx's time. Government will always be someone's management committee. |
| 5304 | Communism aims to abolish not all property, but bourgeois property [Marx/Engels] |
| Full Idea: The distinguishing feature of Communism is not the abolition of property generally, but the abolition of bourgeois property. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §2) | |
| A reaction: This is a sinister remark which has led to huge numbers of murders in the Soviet Union and China. People resent having their property 'abolished', especially if they have worked hard for it. But most of our wealth is owned by about 2% of our people. |
| 5307 | Many of the bourgeois rights grievances are a form of self-defence [Marx/Engels] |
| Full Idea: A part of the bourgeoisie is desirous of redressing social grievances, in order to secure the continued existence of bourgeois society. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §3.II) | |
| A reaction: …so don't try being nice to us. No TRUE bourgeois would actually want to help the proletariate… Nevertheless, he is probably largely right. Do we want the poor to suffer? No. Do we want them to be as rich as us? No! |
| 5285 | Slavery cannot be abolished without the steam-engine [Marx/Engels] |
| Full Idea: Slavery cannot be abolished without the steam-engine. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.B) | |
| A reaction: In Britain and its colonies it does appear that the rise of factories and the abolition of slavery coincided. It is hard to see why this should be a necessity, though. Did the early Christians keep slaves? Some ancient Greeks objected to slavery. |
| 5284 | Communism abolishes private property and dissolves the powerful world market [Marx/Engels] |
| Full Idea: It is empirically established that by the overthrow of the existing state of society by the communist revolution, and the abolition of private property, which is identical with it, the power of the world market will be dissolved. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: They later dropped the abolition of private property as an aim. They were very early in spotting the problem of global capitalism. As long as there are scarcities of anything (e.g. Rembrandts) it is hard to imagine the disappearance of the market. |
| 5306 | The free development of each should be the condition for the free development of all [Marx/Engels] |
| Full Idea: In a communist society we shall have an association, in which the free development of each is the condition for the free development of all. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §2) | |
| A reaction: This ringing slogan is remarkably close to John Stuart Mill's defence of liberalism, where liberty is an absolute, as long as it avoids the liberty of others. Personally I think freedom is marginal in political philosophy, like food and shelter. |
| 5291 | The law says private property is the result of the general will [Marx/Engels] |
| Full Idea: In civil law the existing property relations are declared to be the result of the general will. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.C) | |
| A reaction: In other words, the 'general will' is open to endless abuse, because it is defined by the current power group, which nowadays is whoever controls the mass media. Even a 'free' election doesn't prove the general will, which is a cultural thing. |
| 5305 | Communists want to rescue education from the ruling class [Marx/Engels] |
| Full Idea: Communists seek to rescue education from the influence of the ruling class. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §2) | |
| A reaction: Someone has to control education, and I would personally prefer it if the controllers were well educated themselves. Neutral education is an idle dream. We must educate for democracy, if we really want democracy. |
| 5279 | Human history must always be studied in relation to industry and exchange [Marx/Engels] |
| Full Idea: The 'history of humanity' must always be studied and treated in relation to the history of industry and exchange. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.A) | |
| A reaction: There is a lot of truth in this, but why did the Greeks produce Pythagoras, or the Jews produce Jesus, or the British produce Sid Vicious? Two very similar industrial societies can produce very different cultures. Individuals can make a difference. |
| 5286 | Most historians are trapped in the illusions of their own epoch [Marx/Engels] |
| Full Idea: Most historians see in history just the political actions of princes and states, religious and all sorts of theoretical struggles, and in particular in each historical epoch have had to share the illusion of that epoch. | |
| From: K Marx / F Engels (The German Ideology [1846], §1.B) | |
| A reaction: Is it an illusion of our epoch that we share the illusions of our epoch? It seems unfair to say that Marx and Engels can see beyond the illusions of their epoch, but some historian writing about the Wars of the Roses can't. Princes were important. |
| 5301 | The history of all existing society is the history of class struggles [Marx/Engels] |
| Full Idea: The history of all existing society is the history of class struggles. | |
| From: K Marx / F Engels (The Communist Manifesto [1848], §1) | |
| A reaction: This seems to make, say, the English Peasants' Revolt of 1481 crucial, and the building of Lincoln Cathedral fairly minor. Where does the advent of the telephone figure? Etc. Still, we must concede his point. Most medieval history is about power. |