Abstract
Was George Boole really the ‘father’ of modern logic? I confess that I regard this question as rather academic, because it is not possible to answer it convincingly. A typical answer to questions of this kind is: ‘it depends’. In our case it depends on what is meant by the ‘father of a scientific discipline’, it depends on the understanding of modern logic, and it even depends on one’s own attitude towards the notion of scientific development.
Lecture delivered on 26 September 1997 at the conference ‘Boole 1997: One Hundred Fifty Years of Mathematical Analysis of:ogic’ (26–27 September 1997) at Lausanne. I would like to thank Christian Thiel and James Gasser for their comments, and Mairi Barkei for her offors to improve my English.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bacon, Francis. [1858] 1963. Novum Organum sive indicia vera de interpretatione naturae. In The works of Francis Bacon, edited by James Spedding, Robert Leslie Ellis, and Douglas Denon Heath, 14 vols 1858–1874. London: Longman. Vol. 1 (1858), 149–365. Reprint, Stuttgart-Bad Cannstatt: Friedrich Frommann Verlag Günther Holzboog.
Berka, Karel, and Lothar Kreiser. 1983. Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik. 4th ed., enlarged. Berlin: Akademie-Verlag.
Bochenski, Joseph Maria. 1956. Formale Logik. Orbis Academicus, III, 2. Freiburg/München: Alber. (4thed. 1978.)
Boole, George. 1844. On a general method in analysis. Philosophical Transactions of the Royal Society of London for the Year MDCCCXLIV, pt. 1, 225–82.
Boole, George. [1847] 1951. The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning. Cambridge: Macmillan, Barclay and Macmillan; London: George Bell. Reprint, Oxford: Basil Blackwell.
Boole, George. [1854] [1958]. An investigation of the laws of thought, on which are founded the mathematical theories of logic and probabilities. London: Walton and Maberley. Reprint, New York: Dover.
Boole, Mary Everest. [1905] 1931. Letters to a reformer’s children. In: Boole, M.E., Collected works, 4 vols, edited by E.M. Cobham. London: C.W. Daniel. Vol. 3, 1138–63.
Brady, Geraldine. 1997. From the algebra of relations to the logic of quantifiers. In Studies in the logic of Charles S. Peirce, edited by Nathan Houser, Don D. Roberts, and James Van Evra. Bloomington: Indiana University Press.
Couturat, Louis. [1901] 1961, 1969. La logique de Leibniz d’après des documents inédits. Paris: Alcan. Reprint, Hildesheim: Olms.
Dummett, Michael. 1959. Review of Boole (1952), Journal of Symbolic Logic 24: 203–9. [Reprinted in this volume, pp. 79–85.]
Fearnly-Sander, Desmond. 1982. Hermann Grassmann and the prehistory of universal algebra. American Mathematical Monthly 89: 161–6.
Feys, Robert. 1957. Boole as a logician. Proceedings of the Royal Irish Academy 57: sect. A, no 6, 97–106.
Frege, Gottlob. 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert. Reprinted in Frege (1977).
Frege, Gottlob. 1883. Ueber den Zweck der Begriffsschrift. Jenaische Zeitschrift für Naturwissenschaft 15: Supplement: Sitzungsberichte der Jenaischen Gesellschaft für Median und Naturwissenschaft für das Jahr 1882, 1–10. Reprinted Frege (1977), 97–106.
Frege, Gottlob. [1893] 1962. Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, vol. 1. Jena: Hermann Pohle. Reprint, Hildesheim: Olms.
Frege, Gottlob. [1903] 1962. Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, vol. 2. Jena: Hermann Pohle. Reprint, Hildesheim: Olms.
Frege, Gottlob. 1972. Conceptual notation and related articles. Translated and edited with a biography and introduction by Terrell Ward Bynum. Oxford: Clarendon Press.
Frege, Gottlob. 1977. Begriffsschrift und andere Aufsätze, 3rd ed. Edited by Ignacio Angelelli. Darmstadt: Wissenschaftliche Buchgesellschaft.
Graßmann, Hermann Günther. [1844] 1878. Die lineale Ausdehnungslehre ein neuer Zweig der Mathematik dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie erläutert. 2nd ed. Leipzig: Otto Wigand.
Graßmann, Hermann Günther. 1861. Lehrbuch der Arithmetik für höhere Lehranstalten. Berlin: Th. Chr. Fr. Enslin. (=Graßmann, Lehrbuch der Mathematik für höhere Lehranstalten, pt. 1).
Graßmann, Robert. 1872. Die Formenlehre oder Mathematik. Stettin: R. Grassmann. Reprinted with an introduction by J.E. Hofmann. Hildesheim: Georg Olms.
Grattan-Guinness, Ivor. 1988. Living together and living apart. On the interactions between mathematics and logics from the French Revolution to the First World War. South African Journal of Philosophy 7: 73–82.
Grattan-Guinness. 1997. Editor’s introduction. Part 1: Boole’s quest for the foundations of his logic. In Grattan-Guinness and Bornet (1997), xiii-xlvii, notes lxii-lxiv.
Grattan-Guinness, Ivor, and Gérard Bornet, eds. 1997. George Boole: Selected manuscripts on logic and its philosophy. Science networks—historical studies, no 20. Basel: Birkhäuser.
Gregory, Duncan Farquharson. 1840. On the real nature of symbolical algebra. Transactions of the Royal Society of Edinburgh 14: 208–16.
Gregory, Duncan Farquharson. 1841. Examples of the process of the differential and integral calculus. Cambridge: Deighton.
Hankel, Hermann. 1867. Theorie der complexen Zahlensysteme insbesondere der gemeinen imaginären Zahlen und der Hamilton’sehen Quaternionen nebst ihrer geometrischen Darstellung. Leipzig: Leopold Voss. (= Hankel, Vorlesungen über die complexen Zahlen und ihre Functionen, pt. 1).
Harley, Robert. 1867. Remarks on Boole’s mathematical analysis of logic. Report of the thirty-sixth meeting of the British Association for the Advancement of Science; held at Nottingham in August 1866. London: John Murray.
Hilbert, David. 1899. Grundlagen der Geometric In Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen. Edited by the Fest-Comitee. Leipzig, 1–92.
Hilbert, David. 1900. Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900. Nachrichten von der königl. Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-physikalische Klasse aus dem Jahre 1900, 253–97.
Hilbert, David. 1902. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. Translated by Mary Winston Newson. Bulletin of the American Mathematical Society 8: 437–79.
Hilbert, David. 1905. Logische Principien des mathematischen Denkens. Lecture course, summer term 1905, notes by Ernst Hellinger. (Library of the Mathematical Seminar of the University of Göttingen.)
Jevons, William Stanley. 1864. Pure logic or the logic of quality apart from quantity with remarks on Boole’s system and the relation of logic and mathematics. London: Stanford. (Reprinted in Jevons, Pure logic and other minor works, edited by Robert Adamson and Harriet A. Jevons. London: Macmillan 1890 (re-issued by Thoemmes Press, Bristol 1991), 3–77.)
Jevons, William Stanley. 1874. The principles of science. A treatise on logic and scientific method. 2 vols. London: Macmillan [New York 1875].
Jevons, William Stanley. 1877. The principles of science. A treatise on logic and scientific method. 2nd ed. London and New York: Macmillan. (3rd ed. 1879; ‘stereotyped edition’ 1883.)
Kneale, William. 1948. Boole and the revival of logic. Mind 57: 149–75.
Laita, Luis Maria. 1976. A study of the genesis of Boolean logic. Ph.D. thesis, University of Notre Dame.
Leibniz, Gottfried Wilhelm. 1839/40. God. Guil. Leibnitii opera philosophica quae exstant Latina Gallica Germanica omnia, edited by Johann Eduard Erdmann. 2 parts. Berlin: Eichler. (Pt. 1, 1840; pt.2, 1839.)
Leibniz, Gottfried Wilhelm. 1903. Opuscules et fragments inédits de Leibniz. Extraits des manuscrits de la Bibliothèque royale de Hanovre, edited by Louis Couturat. Paris: Alcan.
Leibniz, Gottfried Wilhelm. 1982. Generales Inquisitiones de Analysi Notionum et Veritatum. Allgemeine Untersuchungen über die Analyse der Begriffe und Wahrheiten, edited by Franz Schupp. Philosophische Bibliothek, no 338. Hamburg: Felix Meiner. (2nd ed. 1993.)
Lenzen, Wolfgang. 1984. Leibniz und die Boolesche Algebra. Studia leibnitiana 16: 187–203.
Lewis, Clarence Irving. [1918] 1960. A survey of symbolic logic. Semicentennial Publications of the University of California. Berkeley: University of California Press. New edition (shortened) New York: Dover.
Lewis, Clarence Irving, and Cooper Harold Langford. 1932. Symbolic logic. The Century Philosophy Series. New York: The Century Co.
Liard, Louis. 1877a. Un nouveau système de logique formelle. M. Stanley Jevons. Revue philosophique de la France et de l’étranger 3: 277–93.
Liard, Louis. 1877b. La logique algébrique de Boole. Revue philosophique de la France et de l’étranger 2: 285–317.
Liard, Louis. 1878. Les logiciens anglais contemporains. Paris: Germer Baillière. (5th ed.1907.)
Löwenheim, Leopold. 1915. Über Möglichkeiten im Relativkalkül. Mathematische Annalen 76: 447–70.
MacHale, Desmond. 1985. George Boole: His life and work. Profiles of Genius Series, no 2. Dublin: Boole Press.
Ohm, Martin. 1853. Versuch eines vollkommen consequenten Systems der Mathematik. Pt. 1: Arithmetik und Algebra enthaltend. 3rd ed. Nürnberg: Komische Buchhandlung.
Peano, Giuseppe. 1889. Arithmetices principia, nova methodo exposita. Torino.
Peckhaus, Volker. 1990a. ‘Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen’. Ernst Zermelo in Göttingen. History and Philosophy of Logic 11: 19–58.
Peckhaus, Volker. 1990b. Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie. Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik, no 7. Göttingen: Vandenhoeck & Ruprecht.
Peckhaus, Volker. 1992. Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland. Berichte zur Wissenschaftsgeschichte 15: 27–38.
Peckhaus, Volker. 1994. Logic in transition: The logical calculi of Hilbert (1905) and Zermelo (1908). In Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science, edited by Dag Prawitz and Dag Westerståhl. Synthese Library, no 236. Dordrecht: Kluwer.
Peckhaus, Volker. 1995. Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM. Internationale Zeitschrift für Geschichte und Ethik der Naturwissenschaften, Technik und Medizin n.s. 3: 65–86.
Peckhaus, Volker. 1997a. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag.
Peckhaus, Volker. 1997b. The way of logic into mathematics. Theoria 2nd ser., 12: 39–64.
Peirce, Charles S. 1885. On the algebra of logic. A contribution to the philosophy of notation. American Journal of Mathematics 7: 180–202.
Prior, Arthur N. 1949. Categoricals and hypothetical in George Boole and his successors. Australasian Journal of Philosophy 27: 171–96.
Prior, Arthur N., ed. 1967. Logic, History of. In The Encyclopedia of Philosophy, edited by Paul Edwards. New York: Macmillan and The Free Press; London: Collier-Macmillan. 4: 513–71.
Quine, Willard Van Orman. 1985. In a logical vestibule. Review of MacHale (1985). Times Literary Supplement of 12 July 1985, p. 767. Reprinted as Quine (1995).
Quine, Willard Van Orman. 1995. MacHale on Boole. In Quine, Selected logic papers. Enlarged ed. Cambridge Mass.: Harvard University Press.
Riehl, Alois. 1877. Die englische Logik der Gegenwart. Vierteljahrsschrift für wissenschaftliche Philosophie 1:51–80.
Russell, Bertrand. [1903] 1992. The principles of mathematics. Cambridge: The University Press [as ‘Vol. I’]. 2nd ed. London: Allen & Unwin 1937. Reprint, London: Routledge.
Russell, Bertrand. 1951. Mathematics and the metaphysicians. In Russell, Mysticism and logic and other essays. 10th ed. London: George Allen & Unwin. [The edition was first published in 1910, the paper in 1901.]
Schlote, Karl-Heinz. 1987. Die Entwicklung der Algebrentheorie bis zu ihrer Formulierung als abstrakte algebraische Theorie. Dissertation (B), University of Leipzig.
Schröder, Ernst. 1873. Lehrbuch der Arithmetik und Algebra für Lehrer und Studirende. Vol. 1, Die sieben algebraischen Operationen. Leipzig: Teubner.
Schröder, Ernst. 1874. Über die formalen Elemente der absoluten Algebra. Stuttgart: Schweizerbart’sche Buchdruckerei. [Programme pamphlet of the Pro- and Real-Gymnasium at Baden-Baden for 1873/74.]
Schröder, Ernst. [1877] 1966. Der Operationskreis des Logikkalkuls. Leipzig: Teubner. Reprint, Darmstadt: Wissenschaftliche Buchgesellschaft.
Schröder, Ernst. 1880. Review of Frege 1879. Zeitschrift für Mathematik und Physik, historisch-literarische Abt. 25:81–94.
Schröder, Ernst. 1895. Vorlesungen über die Algebra der Logik (exakte Logik). Vol. 3, pt. 1, Algebra und Logik der Relative, Leipzig: Teubner. [Reprinted in the ‘second edition’, vol. 3. Bronx N.Y.: Chelsea 1966.]
Shannon, Claude Elwood. 1938. A symbolic analysis of relay and switching circuits. Transactions American Institute of Electrical Engineers 57: 713–23.
Skolem, Thoralf. 1920. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Skrifter utgit av Videnskapsselskapet i Kristiana. I. Matematisk-naturvidenskabelig klasse no 4.
Skolem, Thoralf. 1923. Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. Wissenschaftliche Vorträge gehalten auf dem fünften Kongress der Skandinavischen Mathematiker in Helsingfors vom 4. bis 7. Juli 1922. Helsingfors, 217–32.
Venn, John. 1881. Symbolic logic. London: Macmillan.
Whitehead, Alfred North. [1898] 1960. A treatise on universal algebra with applications. Vol. 1. Cambridge: Cambridge University Press. Reprint, New York: Hafner.
Whitehead, Alfred North, and Bertrand Russell. 1910–1913. Principia mathematica. 3 vols. Cambridge: Cambridge University Press.
Zermelo, Ernst. 1908. Untersuchungen über die Grundlagen der Mengenlehre. I. Mathematische Annalen 65:261–81.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Peckhaus, V. (2000). Was George Boole Really the ‘Father’ of Modern Logic?. In: Gasser, J. (eds) A Boole Anthology. Synthese Library, vol 291. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9385-4_15
Download citation
DOI: https://doi.org/10.1007/978-94-015-9385-4_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5491-3
Online ISBN: 978-94-015-9385-4
eBook Packages: Springer Book Archive