Click on the Idea Number for the full details | back to texts | expand these ideas
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once |
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability |