Skip to main content
SpringerLink
Log in

The Mathematical Background of George Boole’s Mathematical Analysis of Logic (1847)

  • Chapter
A Boole Anthology

Part of the book series: Synthese Library ((SYLI,volume 291))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Airy, G.B. 1826. Mathematical tracts on the lunar and planetary theories, the figure of the earth, precession, nutation and the calculus of variations. Cambridge: Deighton.

    Google Scholar 

  • Babbage, C, J.F.W. Herschel, and G. Peacock. 1820. Collection of examples. Cambridge: Deighton.

    Google Scholar 

  • Becher, H. 1980. William Whewell and Cambridge mathematics. Historical Studies of the Physical Sciences 11: 1–48.

    Article  Google Scholar 

  • Becher, H. 1992. The Whewell story: Essay review. Annals of Science 49: 377–84.

    Article  Google Scholar 

  • Becher, H. 1995. Radicals, Whigs and conservatives: the middle and lower classes in the analytical revolution at Cambridge in the age of aristocracy. British Journal of the History of Science 28: 405–26.

    Article  Google Scholar 

  • Bentham, G. 1827. An outline of a new system of logic. London: Hunt and Clark.

    Google Scholar 

  • Boole, G. 1841. On the integration of linear differential equations with constant coefficients. Cambridge Mathematical Journal 2: 114–9.

    Google Scholar 

  • Boole, G. 1844. On a general method in analysis. Philosophical Transactions of the Royal Society of London 134:225–82.

    Article  Google Scholar 

  • Boole, G. 1845. On the theory of developments. Part I. Cambridge Mathematical Journal 4: 20–8.

    Google Scholar 

  • Boole, G. 1846. On the equation of Laplace’s functions. Cambridge and Dublin MathematicalJournal 1: 10–22.

    Google Scholar 

  • Boole, G. 1847a. The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning. Cambridge: Macmillan.

    Google Scholar 

  • Boole, G. 1847b. On a certain symbolical equation. Cambridge and Dublin Mathematical Journal 2: 7–12.

    Google Scholar 

  • Boole, G. 1848. Remarks on a paper by the Rev. Brice Brownin, On the solution of a particular differential equation. Philosophical Magazine 32: 413–8.

    Google Scholar 

  • Boole, G. 1854. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. London: Walton and Maberley.

    Google Scholar 

  • Boole, G. 1859. A treatise on differential equations. London: Macmillan. Pagination referred to from a reprint of the 4th edition (1877) published by G.E. Sterchert (1931), New York.

    Google Scholar 

  • Boole, G. 1860. A treatise on the calculus of finite differences. London: Macmillan. References from the 2nd edition by J.F. Moulton (1872). London: Dover.

    Google Scholar 

  • Boole, G. 1997. George Boole. Selected manuscripts on logic and its philosophy. Edited by I. Grattan-Guinness and G. Bornet. Basel: Birkhäuser.

    Google Scholar 

  • Brownin, B. 1848. On the solution of a particular differential equation. Philosophical Magazine 32: 256–62.

    Google Scholar 

  • Brownin, B. 1851. On the solution of linear differential equations. Philosophical Transactions of the Royal Society of London 141: 461–82.

    Article  Google Scholar 

  • Bryant, S. 1901. The relation of mathematics to general formal logic. Proceedings of the Aristotelian Society, n.ser. 2: 105–34.

    Google Scholar 

  • Carmichael, R. 1854. Remarks on integration. Cambridge and Dublin Mathematical Journal 9: 227–33.

    Google Scholar 

  • Carmichael, R. 1855. Treatise on the calculus of operations. London: Longman.

    Google Scholar 

  • Corcoran, J. 1986. Correspondence without communication. History and Philosophy of Logic 7: 65–75. (Review of Smith (1982).)

    Article  Google Scholar 

  • Corcoran, J. and S. Wood. 1980. Boole’s criteria for validity and invalidity. Notre Dame Journal of Formal Logic 21: 609–38. [Reprinted in this volume, pp. 101–128.]

    Article  Google Scholar 

  • Creedon, L. 1992. The life and works of Robert Murphy 1806–1843. (Msc Dissertation, National University of Ireland.)

    Google Scholar 

  • De Morgan, A. 1835. A treatise on algebra. Quarterly Journal of Education 9: 91–110; 239–311. (Review of Peacock (1830).)

    Google Scholar 

  • De Morgan, A. 1836. Calculus of functions. Encyclopedia Metropolitana 2: 305–92. (Date of original offprint publication.)

    Google Scholar 

  • De Morgan, A. 1840. Operation. Penny Cyclopedia 16: 442–6.

    Google Scholar 

  • De Morgan, A. 1842. The differential and integral calculus. London: Baldwin and Cradock. (Dated as of completion; published in numbers from 1836.)

    Google Scholar 

  • De Morgan, A. 1847. Formal logic; or, the calculus of inference, necessary and probable. London: Taylor and Walton.

    Google Scholar 

  • De Morgan, A. 1850. On the syllogism: II. On the symbols of logic, the theory of the syllogism, and in particular of the copula. Transactions of the Cambridge Philosophical Society 9: 79–127. (Read 1850; also in De Morgan (1966), 22–68.)

    Google Scholar 

  • De Morgan, A. 1966. On the syllogism, and other logical writings. Edited by P. Heath. London: Routledge.

    Google Scholar 

  • Dessi, P., ed. 1988. Introduction to Whately (1826). Bologna: Instrumenta Rationis.

    Google Scholar 

  • Durand, M.J. 1996. L’Ecole algébrique anglaise: les conditions conceptuelles et institutionnelles d’un calcul symbolique comme fondement de la connaissance. In L’Europe mathématique: Mythes, his toires, identités, edited by C. Goldstein, J. Gray and J. Ritter. Paris: Editions de la Maison des sciences de l’homme.

    Google Scholar 

  • Ellis, R.L. 1841a. On the integration of certain differential equations. Cambridge Mathematical Journal 2: 169–77.

    Google Scholar 

  • Ellis, R.L. 1841b. On the integration of certain differential equations. Cambridge Mathematical Journal 2: 193–201.

    Google Scholar 

  • Enros, P.C. 1983. The analytical society (1812–1813): precursor of the renewal of Cambridge mathematics. Historia Mathematica 10: 24–47.

    Article  Google Scholar 

  • Forsyth, A.R. 1914: A treatise on differential equations. 4th ed. London: Macmillan. (1st edition dated 1885.)

    Google Scholar 

  • Glaisher, J.W.L. 1881. On Riccati’s equation and its transformations, and on some definite integrals which satisfy them. Philosophical Transactions of the Royal Society of London. 172: 759–828.

    Article  Google Scholar 

  • Grattan-Guinness, I. 1982. Psychology in the foundations of logic and mathematics: the cases of Boole, Cantor and Brouwer. History and Philosophy of Logic 3: 33–53.

    Article  Google Scholar 

  • Grattan-Guinness, I. 1991. The correspondence between George Boole and Stanley Jevons, 1863–1864. History and Philosophy of Logic 12: 15–35.

    Article  Google Scholar 

  • Grattan-Guinness, I. 1992a. Charles Babbage as an algorithmic thinker. Annals of the History of Computing 14: 34–48.

    Article  Google Scholar 

  • Grattan-Guinness, I. 1992b. The young mathematician. In John Herschel 1792–1871: a bicentennial commemoration, edited by D.G. King-Hele. London: Royal Society.

    Google Scholar 

  • Grattan-Guinness, I. 1994. Operator methods. In Companion encyclopedia of the history and philosophy of the mathematical sciences, edited by I. Grattan-Guinness. London and New York: Routledge.

    Google Scholar 

  • Gregory, D.F. 1839a. On the solution of differential equations with constant coefficients. Cambridge Mathematical Journal 1: 22–31. (Also in Gregory (1865), 14–27.)

    Google Scholar 

  • Gregory, D.F. 1839b. Demonstrations of theorems in the differential calculus and the calculus of finite differences. Cambridge Mathematical Journal 1: 212–22. (Also in Gregory (1865), 108–23.)

    Google Scholar 

  • Gregory, D.F. 1841. Examples of the processes of the differential and integral calculus. London: Deighton.

    Google Scholar 

  • Gregory, D.F. 1865. The mathematical writings of D.F. Gregory. Edited by Walton. Cambridge: Deighton.

    Google Scholar 

  • Hailperin, T. 1981. Boole’s algebra isn’t Boolean algebra. Mathematical Magazine 54: 173–84. [Reprinted in this volume, pp. 61–77.]

    Google Scholar 

  • Hamilton, W. 1833. Recent publications on logical sciences. Edinburgh Review 57: 194–238.

    Google Scholar 

  • Hamilton, W. 1836. Thoughts on the study of mathematics as a part of a liberal education. Edinburgh Review 62: 409–55. (Review of Whewell (1835).

    Google Scholar 

  • Hargreave, C. 1848. On the solution of linear differential equations. Philosophical Transactions of the Royal Society of London 138: 31–54.

    Article  Google Scholar 

  • Hargreave, C. 1850. General method in analysis for the resolution of linear equations in finite differences and linear differential equations. Philosophical Transactions of the Royal Society of London 140: 262–86.

    Article  Google Scholar 

  • Hooley, J. 1966. Boole’s method for solving boolean equations. Mathematical Gazette 50: 114–8.

    Article  Google Scholar 

  • Hymers, J. 1839. A treatise on differential equations and the calculus of finite differences. Cambridge.

    Google Scholar 

  • Kelland, P. 1858. Address on the award of the Keith Medal. Proceedings of the Royal Society of Edinburgh 84–7.

    Google Scholar 

  • Kirwan, R. 1807. Logick. London.

    Google Scholar 

  • Koppelman, E. 1971. The calculus of operations and the rise of abstract algebra, Archive for History of Exact Sciences 8: 155–242.

    Article  Google Scholar 

  • Lacroix, S.F. 1816. An elementary treatise on the differential and integral calculus. Translated by C. Babbage, J.W.F. Herschel and G. Peacock. Cambridge: Deighton.

    Google Scholar 

  • Laita, L.M. 1977. The influence of Boole’s search for a universal method in analysis on the creation of his logic. Annals of Science 34: 163–76. [Reprinted in this volume, pp. 45–59.]

    Article  Google Scholar 

  • Laita, L.M. 1979. Influences of Boole’s logic: the controversy between William Hamilton and A. De Morgan. Annals of Science 36: 45–65.

    Article  Google Scholar 

  • Laplace, P.S. 1799–1825. Traité de mécanique céleste. Paris.

    Google Scholar 

  • Lewis, C. 1918. A survey of symbolic logic. Berkeley: University of California Press.

    Google Scholar 

  • MacHale, D. 1985. George Boole. His life and work. Dublin: Boole Press.

    Google Scholar 

  • Merrill, D.D. 1996. Making sense of Solly’s syllogistic symbolism. History and Philosophy of Logic 17: 199–207.

    Article  Google Scholar 

  • Murphy, R. 1833. On the inverse method of definite integrals, with physical applications. Transactions of the Cambridge Philosophical Society 4: 352–408.

    Google Scholar 

  • Murphy, R. 1837. On the theory of analytical operations. Philosophical Transactions of the Royal Society of London 127: 179–210.

    Article  Google Scholar 

  • Panteki, M. 1992. Relationships between algebra, differential equations and logic in England: 1800–1860. Ph.D. Dissertation, London (Council of National Academic Awards).

    Google Scholar 

  • Panteki, M. 1993. Thomas Solly (1816–1875): an unknown pioneer of the mathematization of logic in England, 1839. History and Philosophy of Logic 14: 133–69.

    Article  Google Scholar 

  • Passmore, J. 1968. A hundred years of philosophy. London: Pelican.

    Google Scholar 

  • Peacock, G. 1830. A treatise on algebra. Cambridge.

    Google Scholar 

  • Petrova, S. 1987. Heaviside and the development of the symbolic calculus. Archive for History of Exact Sciences 37: 1–23.

    Article  Google Scholar 

  • Pratt, J.H. 1836. The mathematical principles of mechanical philosophy. Cambridge: Deighton.

    Google Scholar 

  • Pycior, H.M. 1983. Augustus De Morgan’s algebraic work: the three stages. Isis 74: 211–26.

    Article  Google Scholar 

  • Richards, J. 1987. Augustus De Morgan, the history of mathematics, and the foundations of algebra. Isis 78: 7–30.

    Google Scholar 

  • Smith, G.C., ed. 1982. The Boole-De Morgan correspondence 1842–1864. Oxford: Clarendon Press.

    Google Scholar 

  • Smith, G.C.. 1984. The Boole-Thomson letters. Monash University, Clayton (Australia), Paper no 32.

    Google Scholar 

  • Solly, T. 1839. A syllabus of logic in which the views of Kant are generally adopted, and the laws of syllogism symbolically expressed, Cambridge: Deighton.

    Google Scholar 

  • Styazhkin, L. 1969. History of mathematical logic from Leibniz to Peano. London: M.I.T. Press.

    Google Scholar 

  • Van Evra, J. 1984. Richard Whately and the rise of modern logic. History and Philosophy of Logic 5: 1–18.

    Article  Google Scholar 

  • Van Evra, J. 1977. A reassessment of George Boole’s theory of logic. Notre Dame Journal of Formal Logic 17: 363–77. [Reprinted in this volume, pp. 87–99.]

    Google Scholar 

  • Whately, R. 1826. Elements of logic. London. Pagination referred to from the reprint of this first edition by Dessi(1988).

    Google Scholar 

  • Whewell, W. 1835. Thoughts on the study of mathematics as a part of a liberal education. Cambridge: Deighton.

    Google Scholar 

  • Wilson, C.A. 1980. Perturbations and solar tables from Lacaille to Delambre: the rapprochement of observation and theory, Part I. Archive for History of Exact Sciences 22: 53–188.

    Article  Google Scholar 

  • Woodhouse, R. 1818. An elementary treatise on astronomy, Vol. II containing physical astronomy. Cambridge: Deighton.

    Google Scholar 

  • Yeo, R. 1993. Defining science. William Whewell, natural knowledge and public debate in early Victorian Britain. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, 54006, Greece

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Aristotle University of Thessaloniki, Thessaloniki, 54006, Greece

    Maria Panteki

Authors
  1. Maria Panteki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Lausanne, Switzerland

    James Gasser

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Panteki, M. (2000). The Mathematical Background of George Boole’s Mathematical Analysis of Logic (1847). In: Gasser, J. (eds) A Boole Anthology. Synthese Library, vol 291. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9385-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-94-015-9385-4_10

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5491-3

  • Online ISBN: 978-94-015-9385-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation