A Computational Approach to George Boole's Discovery of Mathematical Logic

Abstract This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815–1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the different historical factors that influenced this achievement has served as background for our two main contributions: a computational representation of Boole's Logic before it was mathematized; and a production system, BOOLE2, that rediscovers Logic as a science that behaves exactly as a branch of Mathematics, and that thus validates to some extent the historical explanation. The system's discovery methods are found to be general enough to handle three other cases: two versions of a Geometry due to a contemporary of Boole, and a small subset of the Differential Calculus.

[1]  Wei-Min Shen,et al.  Functional transformations in AI discovery systems , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[2]  De Morgan,et al.  Memoir of Augustus De Morgan , 1882 .

[3]  Maria Panteki.  Relationships between algebra, differential equations and logic in England 1800-1860 , 1991 .

[4]  Desmond MacHale,et al.  George Boole: His Life and Work , 1985 .

[5]  Douglas B. Lenat,et al.  Automated Theory Formation in Mathematics , 1977, IJCAI.

[6]  Alberto Dou,et al.  Actas de la Reunión Matemática En Honor de A. Dou , 1989 .

[7]  H. L. Mansel,et al.  Lectures on metaphysics and logic , 1859 .

[8]  Joan L. Richards.  Boole: L'oiseau de nuit en plein jour , 1991 .

[9]  Joseph W. Dauben,et al.  Mathematical perspectives : essays on mathematics and its historical development , 1981 .

[10]  Luis M. Laita.  Influences on Boole's logic: The controversy between William Hamilton and Augustus De Morgan , 1979 .

[11]  Dominique Flament,et al.  Contra los titanes de la rutina ; Contre les titans de la routine , 1993 .

[12]  Eberhard Knobloch.  Symbolik und Formalismus im mathematischen Denken des 19. und beginnenden 20. Jahrhunderts , 1981 .

[13]  Martin Stacey,et al.  Scientific Discovery: Computational Explorations of the Creative Processes , 1988 .

[14]  William Kneale,et al.  The development of logic , 1963 .

[15]  Herbert A. Simon,et al.  The Search for Regularity: Four Aspects of Scientific Discovery , 1984 .

[16]  Luis M. Laita.  The Influence of Boole’s Search for a Universal Method in Analysis on the Creation of His Logic , 1977 .

[17]  Douglas B. Lenat,et al.  The Nature of Heuristics , 1982, Artif. Intell..

[18]  Luis M. Laita.  Boolean algebra and its extra-logical sources: the testimony of mary everest boole , 1980 .

[19]  Elaine Koppelman,et al.  The calculus of operations and the rise of abstract algebra , 1971 .

[20]  Herbert A. Simon,et al.  The Processes of Scientific Discovery: The Strategy of Experimentation , 1988, Cogn. Sci..

[21]  Jaime G. Carbonell,et al.  FRulekit: A Frame-Based Production System , 1993 .

[22]  Herbert A. Simon,et al.  Scientific discovery: compulalional explorations of the creative process , 1987 .

[23]  Wei-Min Shen.  Functional transformations in AI discovery systems , 1988 .

[24]  G. Boole.  An Investigation of the Laws of Thought: On which are founded the mathematical theories of logic and probabilities , 2007 .

[25]  P. Langley,et al.  Computational Models of Scientific Discovery and Theory Formation , 1990 .

[26]  Douglas B. Lenat,et al.  EURISKO: A Program That Learns New Heuristics and Domain Concepts , 1983, Artif. Intell..