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