green numbers give full details | back to texts | expand these ideas
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Devlin] |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Weiner] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Friend] |