Les conditions économiques et sociales en Angleterre au début du XIX° siècle induisent des tensions dans les milieux universitaires jusqu’alors très fermés. Cette agitation se traduit, pour ce qui nous intéresse, à travers la manière d’insérer la logique dans un enseignement en pleine mutation. Des avancées conceptuelles d’apparences mineures voient alors le jour et c’est sur Boole, mathématicien autodidacte, que tout se cristallise : il réussit à construire un système de type algébrique pour résoudre les problèmes de logique. Son « algèbre de la logique », qui est vraiment opérationnelle par delà ses réelles insuffisances, sera critiquée, contestée. Mais l’élan a été donné, la logique va devenir une branche des mathématiques.