8083 | Boole applied normal algebra to logic, aiming at an algebra of thought |

7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once |

8686 | Boole made logic more mathematical, with algebra, quantifiers and probability |