Cet article en deux parties présente et analyse l’heuristique et la progression de l’oeuvre de Boole, ce « mathématicien qui a voulu doter la Logique de sa véritable structure formelle [..] et fonder une étude scientifique des lois de la pensée ».
La première partie montre la genèse et l’heuristique de son calcul symbolique, d’abord adapté à la logique aristotélicienne, dans la première partie de « The Mathematical Analysis fo Logic ».
La deuxième partie de l’article montre comment, dans les premiers chapitres de « An Investigation of the Laws of Thought », les méthodes sont présentées d’emblée dans toute leur généralité et trouvent leur fondement dans les Lois de la Pensée, dont il sera montré par ailleurs qu’il est l’expression la plus adéquate possible.