 Boole’s theorems, completed and perfected in 1854, gave algorithms for analyzing infinitely many argument forms. This opened a new and fruitful perspective, deviating from the traditional approach to logic, where for centuries scholars had struggled to come up with clever mnemonics to memorize a very small catalog of valid conversions and syllogisms and their various interrelations.