Primary Literature

• Boole, G., 1841, “On the Integration of Linear Differential Equations with Constant Coefficients,” The Cambridge Mathematical Journal, 2: 114–119. (Scholar)
• –––, 1841, “Researches on the Theory of Analytical Transformations, with a special application to the Reduction of the General Equation of the Second Order,” The Cambridge Mathematical Journal, 2: 64–73. (Scholar)
• –––, 1841, “On Certain Theorems in the Calculus of Variations,” The Cambridge Mathematical Journal, 2: 97–102. (Scholar)
• –––, 1847, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning, Cambridge: Macmillan, Barclay, & Macmillan, and London: George Bell; reprinted, Oxford: Blackwell, 1951. (Scholar)
• –––, 1848, “The Calculus of Logic,” The Cambridge and Dublin Mathematical Journal, 3: 183–198. (Scholar)
• –––, 1854, An Investigation of The Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, London: Walton and Maberly, Cambridge: Macmillan and Co.; reprinted, New York: Dover, 1958. (Scholar)
• –––, 1859, A Treatise on Differential Equations, Cambridge: Cambridge University Press, and London: Macmillan. (Scholar)
• –––, 1860, A Treatise on the Calculus of Finite Differences, Cambridge: Cambridge University Press, and London: Macmillan. (Scholar)
• –––, 1997, Selected Manuscripts on Logic and its Philosophy (Science Networks Historical Studies: Volume 20), edited by Ivor Grattan-Guinness and Gérard Bornet. Basel, Boston, and Berlin: Birkhäuser Verlag. (Scholar)
• De Morgan, A., 1839, “On the Foundation of Algebra,” Transactions of the Cambridge Philosophical Society, VII, 174–187. (Scholar)
• –––, 1841, “On the Foundation of Algebra, No. II,” Transactions of the Cambridge Philosophical Society VII, 287–300. (Scholar)
• –––, 1847, Formal Logic: or, the Calculus of Inference, Necessary and Probable, Originally published in London by Taylor and Walton. Reprinted in London by The Open Court Company, 1926. (Scholar)
• –––, On the Syllogism, and Other Logical Writings, P. Heath (ed.), New Haven: Yale University Press, 1966. (A posthumous collection of De Morgan’s papers on logic.)
• Gregory, D.F., 1839, “Demonstrations in the Differential Calculus and the Calculus of Finite Differences,” The Cambridge Mathematical Journal, I: 212–222. (Scholar)
• –––, 1839, “I.–On the Elementary Principles of the Application of Algebraical Symbols to Geometry,” The Cambridge Mathematical Journal, II (No. VII): 1–9. (Scholar)
• –––, 1840, “On the Real Nature of Symbolical Algebra.” Transactions of the Royal Society of Edinburgh, 14: 208–216. Also in [Gregory 1865, pp. 1–13]. (Scholar)
• –––, 1865, The Mathematical Writings of Duncan Farquharson Gregory, M.A., W. Walton (ed.), Cambridge: Deighton, Bell. (Scholar)
• Jevons, W.S., 1864, Pure Logic, or the Logic of Quality apart from Quantity: with Remarks on Boole’s System and on the Relation of Logic and Mathematics, London: Edward Stanford. Reprinted 1971 in Pure Logic and Other Minor Works, R. Adamson and H.A. Jevons (eds.), New York: Lennox Hill Pub. & Dist. Co. (Scholar)
• Lacroix, S.F, 1797/1798, Traité du Calcul Différentiel et du Calcul Integral, Paris: Chez Courcier. (Scholar)
• Lagrange, J.L., 1788, Méchanique Analytique, Paris: Desaint. (Scholar)
• –––, 1797, Théorie des Fonctions Analytique, Paris: Imprimerie de la Republique. (Scholar)
• Peacock, G., 1830, Treatise on Algebra, 2nd ed., 2 vols., Cambridge: J.&J.J. Deighton, 1842/1845. (Scholar)
• –––, 1833, “Report on the Recent Progress and Present State of certain Branches of Analysis”, in Report of the Third Meeting of the British Association for the Advancement of Science (held at Cambridge in 1833), London: John Murray, pp. 185–352. (Scholar)
• Schröder, E., 1890–1910, Algebra der Logik (Volumes I–III), Leipzig: B.G. Teubner; reprinted Chelsea 1966. (Scholar)
• Whately, R., 1826, Elements of Logic, London: J. Mawman. (Scholar)

Secondary Literature

Cited Works

• Aiken, H.A., 1951, Synthesis of Electronic Computing and Control Circuits, Cambridge, MA: Harvard University Press. (Scholar)
• Brown, F.W, 2009, “ George Boole’s Deductive System”, Notre Dame Journal of Logic, 50: 303–330. (Scholar)
• Burris, S. and Sankappanavar, H.P., 2013, “The Horn Theory of Boole’s Partial Algebras”, The Bulletin of Symbolic Logic, 19: 97–105. (Scholar)
• Burris, S.N., 2015, “George Boole and Boolean Algebra”, European Mathematical Society Newsletter, 98: 27–31. (Scholar)
• Dummett, M., 1959, “Review of Studies in Logic and Probability, by George Boole”, Watts & Co., London, 1952, edited by R. Rhees, The Journal of Symbolic Logic, 24: 203–209. (Scholar)
• Ewald, W. (ed.), 1996, From Kant to Hilbert. A Source Book in the History of Mathematics, 2 volumes, Oxford: Oxford University Press. (Scholar)
• Grattan-Guiness, I., 2001, The Search for Mathematical Roots, Princeton, NJ: Princeton University Press. (Scholar)
• Hailperin, T., 1976, Boole’s Logic and Probability, (Series: Studies in Logic and the Foundations of Mathematics, 85), Amsterdam, New York, Oxford: Elsevier North-Holland. 2nd edition, Revised and enlarged, 1986. (Scholar)
• –––, 1981, “Boole’s algebra isn’t Boolean algebra”, Mathematics Magazine, 54: 172–184. (Scholar)
• Jourdain, P.E.B., 1914, “The Development of the Theories of Mathematical Logic and the Principles of Mathematics. William Stanley Jevons”, Quarterly Journal of Pure and Applied Mathematics, 44: 113–128. (Scholar)
• MacHale, D., 1985, George Boole, His Life and Work, Dublin: Boole Press; 2nd edition, 2014, Cork University Press. (Scholar)
• MacHale, D. and Cohen, Y., 2018, New Light on George Boole, Cork University Press. (Scholar)
• Schröder, E., 1890–1910, Algebra der Logik (Volumes I–III), Leipzig: B.G. Teubner; reprinted Chelsea 1966. (Scholar)
• Whitney, H., 1933, “Characteristic Functions and the Algebra of Logic”, Annals of Mathematics (Second Series), 34: 405–414. (Scholar)

Other Important Literature

• Couturat, L., 1905, L’algèbre de la Logique, 2d edition, Librairie Scientifique et Technique Albert Blanchard, Paris; English translation by Lydia G. Robinson: Open Court Publishing Co., Chicago & London, 1914; reprinted by Mineola: Dover Publications, 2006.
• Frege, G., 1880, “Boole’s Logical Calculus and the Concept-Script”, in Gottlob Frege: Posthumous Writings, Basil Blackwell, Oxford, 1979. English translation of Nachgelassene Schriften, vol. 1, edited by H. Hermes, F. Kambartel, and F. Kaulbach, Felix Meiner, Hamburg, 1969. (Scholar)
• Kneale, W., and M. Kneale, 1962, The Development of Logic, Oxford: The Clarendon Press. (Scholar)
• Lewis, C. I., 1918, A Survey of Symbolic Logic, University of California Press, Berkeley; reprinted New York: Dover Publications, 1960. (See Chap. II, “The Classic, or Boole-Schröder Algebra of Logic.”) (Scholar)
• Peirce, C. S., 1880, “On the Algebra of Logic”, American Journal of Mathematics, 3: 15–57. (Scholar)
• Smith, G. C., 1983, “Boole’s Annotations on The Mathematical Analysis of Logic”, History and Philosophy of Logic, 4: 27–39. (Scholar)
• Styazhkin, N. I., 1969, Concise History of Mathematical Logic from Leibniz to Peano, Cambridge, MA: The MIT Press. (Scholar)
• van Evra, J. W., 1977, “A Reassessment of George Boole’s Theory of Logic”, Notre Dame Journal of Formal Logic, 18: 363–77. (Scholar)
• Venn, J., 1894, Symbolic Logic, 2nd edition (revised), London: Macmillan; reprinted Bronx: Chelsea Publishing Co., 1971. (Scholar)