Plan de l'article :
Introduction
1. G. Boole (1815-1864) : éléments biographiques
2. Influence de l'Ecole algébrique anglaise - R. Woodhouse : la logique propre des opérations de l'analyse algébrique - L'algèbre Symbolique de G. Peacock
3. G. Boole et l'expression de la logique comme calcul symbolique - Son projet - Les lois des signes. Que représentent x, y, etc. ?. Que représentent les signes +, -,. , etc. ?. Que représente le signe = ? - L'Algèbre de la Logique : une algèbre spéciale - La logique comme science de l'esprit - Raisonnement symbolique et interprétation
4. Le projet de G. Boole et la philosophie de J. Locke
5. Les potentialités du calcul logique de G. Boole - Définition d'une fonction logique et de ses constituants - La réduction des propositions secondaires aux propositions primaires - Le cas de la logique classique. La conversion. Le syllogisme
6. Conclusion