7 ideas
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
19043 | Bivalence applies not just to sentences, but that general terms are true or false of each object [Quine] |
3299 | In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
19042 | Terms learned by ostension tend to be vague, because that must be quick and unrefined [Quine] |