Publication:
A computational approach to George Boole's discovery of mathematical logic

Thumbnail Image
Identifiers
URI: https://hdl.handle.net/10016/6768
ISSN: 0004-3702
DOI: 10.1016/S0004-3702(97)00017-9
Files
computational_ledesma_AI_1997_ps.pdf (2.13 MB)
Publication date
1997-04
Defense date
Authors
Advisors
Tutors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Impact
Google Scholar
Export
Research Projects
Organizational Units
Journal Issue
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.
Description
Keywords
Bibliographic citation
Artificial Intelligence Journal, April 1997, vol. 91, n. 2, p. 281-307.
Collections
DI - PLG - Artículos de Revistas