display all the ideas for this combination of texts
3 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? |
9406 | A class is natural when everybody can spot further members of it [Quinton] |
Full Idea: To say that a class is natural is to say that when some of its members are shown to people they pick out others without hesitation and in agreement. | |
From: Anthony Quinton (The Nature of Things [1973], 9 'Nat') | |
A reaction: He concedes a number of problems with his view, but I admire his attempt to at least begin to distinguish the natural (real!) classes from the ersatz ones. A mention of causal powers would greatly improve his story. |