15 ideas
| 8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
| Full Idea: Boole proposed to use the entire apparatus of a school algebra class, with operations such as addition and multiplication, methods to solve equations, and the like, to produce an algebra of thought. | |
| From: report of George Boole (The Laws of Thought [1854]) by Keith Devlin - Goodbye Descartes Ch.3 | |
| A reaction: The Stoics didn’t use any algebraic notation for their study of propositions, so Boole's idea launched full blown propositional logic, and the rest of modern logic followed. Nice one. |
| 7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
| Full Idea: Boole introduced a new symbolic notation in which it was possible to represent both syllogisms and propositional arguments, ...but not both at once. | |
| From: report of George Boole (The Laws of Thought [1854], Ch.3) by Joan Weiner - Frege | |
| A reaction: How important is the development of symbolic notations for the advancement of civilisations? Is there a perfect notation, as used in logical heaven? |
| 8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
| Full Idea: Boole (followed by Frege) began to turn logic from a branch of philosophy into a branch of mathematics. He brought an algebraic approach to propositions, and introduced the notion of a quantifier and a type of probabilistic reasoning. | |
| From: report of George Boole (The Laws of Thought [1854], 3.2) by Michèle Friend - Introducing the Philosophy of Mathematics | |
| A reaction: The result was that logic not only became more mathematical, but also more specialised. We now have two types of philosopher, those steeped in mathematical logic and the rest. They don't always sing from the same songsheet. |
| 22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
| Full Idea: Boole's work was an early example of the axiomatic method, whereby intellectual economy is achieved by studying a set of axioms in which the primitive terms have multiple interpretations. | |
| From: report of George Boole (The Laws of Thought [1854]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Boole' | |
| A reaction: Unclear about this. I suppose the axioms are just syntactic, and a range of semantic interpretations can be applied. Are De Morgan's Laws interpretations, or implications of the syntactic axioms? The latter, I think. |
| 2705 | How can intuitionists distinguish universal convictions from local cultural ones? [Hare] |
| Full Idea: There are convictions which are common to most societies; but there are others which are not, and no way is given by intuitionists of telling which are the authoritative data. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.454) | |
| A reaction: It seems unfair on intuitionists to say they haven't given a way to evaluate such things, given that they have offered intuition. The issue is what exactly they mean by 'intuition'. |
| 2712 | You can't use intuitions to decide which intuitions you should cultivate [Hare] |
| Full Idea: If it comes to deciding what intuitions and dispositions to cultivate, we cannot rely on the intuitions themselves, as intuitionists do. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.461) | |
| A reaction: Makes intuitionists sound a bit dim. Surely Hume identifies dispositions (such as benevolence) which should be cultivated, because they self-evidently improve social life? |
| 2706 | Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare] |
| Full Idea: Emotivists concluded too hastily that because naturalism and intuitionism are false, you cannot reason about moral questions, because they assumed that the only questions you can reason about are factual ones. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: Personally I have a naturalistic view of ethics (based on successful functioning, as indicated by Aristotle), so not my prob. Why can't we reason about expressive emotions? We reason about art. |
| 2704 | If morality is just a natural or intuitive description, that leads to relativism [Hare] |
| Full Idea: Non-descriptivists (e.g. prescriptivists) reject descriptivism in its naturalist or intuitionist form, because they are both destined to collapse into relativism. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.453) | |
| A reaction: I'm not clear from this why prescriptism would not also turn out to be relativist, if it includes evaluations along with facts. |
| 2703 | Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare] |
| Full Idea: Ethical descriptivism is the view that ethical sentence-meaning is wholly determined by truth-conditions. …Prescriptivists think there is a further element of meaning, which expresses prescriptions or evaluations or attitudes which we assent to. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.452) | |
| A reaction: Not sure I understand either of these. If all meaning consists of truth-conditions, that will apply to ethics. If meaning includes evaluations, that will apply to non-ethics. |
| 2707 | If there can be contradictory prescriptions, then reasoning must be involved [Hare] |
| Full Idea: Prescriptivists claim that there are rules of reasoning which govern non-descriptive as well as descriptive speech acts. The standard example is possible logical inconsistency between contradictory prescriptions. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.455) | |
| A reaction: The example doesn't seem very good. Inconsistency can appear in any area of thought, but that isn't enough to infer full 'rules of reasoning'. I could desire two incompatible crazy things. |
| 2708 | An 'ought' statement implies universal application [Hare] |
| Full Idea: In any 'ought' statement there is implicit a principle which says that the statement applies to all precisely similar situations. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.456) | |
| A reaction: No two situations can ever be 'precisely' similar. Indeed, 'precisely similar' may be an oxymoron (at least for situations). Kantians presumably like this idea. |
| 2711 | Prescriptivism implies a commitment, but descriptivism doesn't [Hare] |
| Full Idea: Prescriptivists hold that moral judgements commit the speaker to motivations and actions, but non-moral facts by themselves do not do this. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.459) | |
| A reaction: Surely hunger motivates to action? I suppose the key word is 'commit'. But lazy people are allowed to make moral judgements. |
| 2709 | Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare] |
| Full Idea: Universal prescriptivists hold that 'ought'-judgements are prescriptive like plain imperatives, but differ from them in being universalisable. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.457) | |
| A reaction: Sounds a bit tautological. Which comes first, the normativity or the universalisability? |
| 2710 | Moral judgements must invoke some sort of principle [Hare] |
| Full Idea: To make moral judgements is implicitly to invoke some principle, however specific. | |
| From: Richard M. Hare (Universal Prescriptivism [1991], p.458) |
| 8592 | Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker] |
| Full Idea: Because of the multidimensionality of space and unidimensionality of time, empty space is measurable in ways in which empty time necessarily is not. | |
| From: report of Jonathan Bennett (Kant's Analytic [1966], p.175) by Sydney Shoemaker - Time Without Change p.49 n4 | |
| A reaction: An interesting observation, which could have been used by Samuel Clarke in his attempts to prove absolute space to Leibniz. The point does not prove absolute space, of course, but it seems to make a difference. |