Skip to main content

On Boole’s Algebraic Logic after The Mathematical Analysis of Logic

  • Chapter
A Boole Anthology

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

Abstract

Boole did not fundamentally change the lines of his research after publishing The Mathematical Analysis of Logic (Boole 1847; hereafter ‘MAL’). His logic was still mathematics applied to logic; consequences were to be drawn from premises rendered in algebraic form by means of expansion theorems which in effect solved class equations; logical expressions might (not) be interpretable; the role of signs remained prominent; language was still focused upon nouns and adjectives, although its role in general was still emphasised; classes were analysed in terms of part and whole; disjunction was defined only for disjoint classes; and so on.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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.

Similar content being viewed by others

Bibliography

  • IBoole, G. 1847. The mathematical analysis of logic ..., Cambridge: Macmillan, Barclay and Macmillan. [Also in (1952), 45–124 (with additions). Repr. 1948, Oxford: Blackwell.]

    Google Scholar 

  • Boole, G. 1854. The laws of thought..., London: Walton and Maberley. [Repr. 1958, New York: Dover.]

    Google Scholar 

  • Boole, G. 1952. Studies in logic and probability. Edited by R. Rhees. London: Watts.

    Google Scholar 

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

    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–28.]

    Article  Google Scholar 

  • Gratry, A.J.A. 1855. Philosophielogique. Paris: Douniot. [English trans. and introd. by H. and M. Singer of the 5th ed. (1868): Logic. La Salle; Open Court (1944).]

    Google Scholar 

  • Grattan-Guinness, I. 1975. Wiener on the logics of Russell and Schröder. An account of his doctoral thesis, and of his subsequent discussion of it with Russell. Annals of Science 32: 103–32.

    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. Also in Psicoanalisi e storia delta scienza. Florence: Olschki (1983, 93–121).

    Article  Google Scholar 

  • Hailperin, T. 1986. Boole’s logic and probability. 2nd ed. Amsterdam: North Holland.

    Google Scholar 

  • Laita, L. 1980. Boolean algebra and its extra-logical sources: the testimony of Mary Everest Boole. History and Philosophy of Logic 1: 37–60. [Argues well for her basic reliability.]

    Article  Google Scholar 

  • MacColl, H. 1877. The calculus of equivalent statements and integration limits. Proceedings of the London Mathematical Society 9(1): 9–20.

    Article  Google Scholar 

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

    Google Scholar 

  • Neil, S. 1865. Modern logicians—the late George Boole. The British Controversialist and Literary Magazine n.s., no 80, 81–94; no 81, 161–74. [Fine, little-known obituary; reprinted in this volume, pp. 1–25.]

    Google Scholar 

  • Panteki, M. 1992. Relationships between algebra, differential equations and logic in England: 1800–1860. C.N.A.A. (London) doctoral dissertation. [Strong on context and pre-history.]

    Google Scholar 

  • Prior, A.N. 1949. Categoricals and hypotheticals in George Boole and his successors. Australian Journal of Philosophy 27: 171–96. [Insightful on the role of universes.]

    Article  Google Scholar 

  • Styazhkin, N.I. 1969. History of mathematical logic from Leibniz to Peano. Cambridge, Mass.: MIT Press. [Useful on the reception of Boole in the late 19th century.]

    Google Scholar 

  • Young, G.P. 1865. Remarks on Professor Boole’s mathematical theory of the laws of thought. The Canadian Journal 10: 161–82. [Interesting early, and little-known, study; reprinted in this volume, pp. 27–43.]

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Grattan-Guinness, I. (2000). On Boole’s Algebraic Logic after The Mathematical Analysis of Logic . In: Gasser, J. (eds) A Boole Anthology. Synthese Library, vol 291. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9385-4_11

Download citation

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

  • 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