Repository | Series | Buch | Kapitel
The mathematical background of George Boole's mathematical analysis of logic (1847)
pp. 167-212
Abstrakt
This paper examines the mathematical stimuli that induced George Boole to conceive of a general calculus of symbols, and eventually of his first algebra of logic, as in his Mathematical Analysis of Logic (1847). We focus our attention particularly on Boole's first mathematical masterpiece "On a General Method in Analysis' (1844), a work grounded on the laws of combination of non-commutative symbols, which apparently convinced Boole of the immense power afforded by symbolical methods, a power largely due to their main property of not depending upon conditions of their interpretation. Our aim is twofold. Firstly we argue that Boole's discovery of a general method was motivated by R.L. Ellis's study of the differential equation involved in the theory of the earth's shape. Secondly, we pick up indicative instances from his first work on logic which manifest the implicit or explicit import that his general method had upon the genesis of his general method in logic.
Publication details
Published in:
Gasser James (2000) A Boole anthology: recent and classical studies in the logic of George Boole. Dordrecht, Springer.
Seiten: 167-212
DOI: 10.1007/978-94-015-9385-4_10
Referenz:
Panteki Maria (2000) „The mathematical background of George Boole's mathematical analysis of logic (1847)“, In: J. Gasser (ed.), A Boole anthology, Dordrecht, Springer, 167–212.