---
title: "History of logic"
chunk: 13/13
source: "https://en.wikipedia.org/wiki/History_of_logic"
category: "reference"
tags: "science, encyclopedia"
date_saved: "2026-05-05T03:59:53.898187+00:00"
instance: "kb-cron"
---

== References ==
Primary Sources
Alexander of Aphrodisias, In Aristotelis An. Pr. Lib. I Commentarium, ed. Wallies, Berlin, C.I.A.G. vol. II/1, 1882.
Avicenna, Avicennae Opera Venice 1508.
Boethius Commentary on the Perihermenias, Secunda Editio, ed. Meiser, Leipzig, Teubner, 1880.
Bolzano, Bernard Wissenschaftslehre, (1837) 4 Bde, Neudr., hrsg. W. Schultz, Leipzig I–II 1929, III 1930, IV 1931 (Theory of Science, four volumes, translated by Rolf George and Paul Rusnock, New York: Oxford University Press, 2014).
Bolzano, Bernard Theory of Science (Edited, with an introduction, by Jan Berg. Translated from the German by Burnham Terrell – D. Reidel Publishing Company, Dordrecht and Boston 1973).
Boole, George (1847) The Mathematical Analysis of Logic (Cambridge and London); repr. in Studies in Logic and Probability, ed. R. Rhees (London 1952).
Boole, George (1854) The Laws of Thought (London and Cambridge); repr. as Collected Logical Works. Vol. 2, (Chicago and London: Open Court, 1940).
Epictetus, Epicteti Dissertationes ab Arriano digestae, edited by Heinrich Schenkl, Leipzig, Teubner. 1894.
Frege, G., Boole's Logical Calculus and the Concept Script, 1882, in Posthumous Writings transl. P. Long and R. White 1969, pp. 9–46.
Gergonne, Joseph Diaz, (1816) Essai de dialectique rationelle, in Annales de mathématiques pures et appliquées 7, 1816/1817, 189–228.
Jevons, W. S. The Principles of Science, London 1879.
Ockham's Theory of Terms: Part I of the Summa Logicae, translated and introduced by Michael J. Loux (Notre Dame, IN: University of Notre Dame Press 1974). Reprinted: South Bend, IN: St. Augustine's Press, 1998.
Ockham's Theory of Propositions: Part II of the Summa Logicae, translated by Alfred J. Freddoso and Henry Schuurman and introduced by Alfred J. Freddoso (Notre Dame, IN: University of Notre Dame Press, 1980). Reprinted: South Bend, IN: St. Augustine's Press, 1998.
Peirce, C. S., (1896), "The Regenerated Logic", The Monist, vol. VII, No. 1, p pp. 19–40, The Open Court Publishing Co., Chicago, IL, 1896, for the Hegeler Institute. Reprinted (CP 3.425–455). Internet Archive The Monist 7.
Sextus Empiricus, Against the Logicians. (Adversus Mathematicos VII and VIII). Richard Bett (trans.) Cambridge: Cambridge University Press, 2005. ISBN 0-521-53195-0.
Zermelo, Ernst (1908). "Untersuchungen über die Grundlagen der Mengenlehre I". Mathematische Annalen. 65 (2): 261–281. doi:10.1007/BF01449999. S2CID 120085563. Archived from the original on 2017-09-08. Retrieved 2013-09-30. English translation in van Heijenoort, Jean (1967). "Investigations in the foundations of set theory". From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Source Books in the History of the Sciences. Harvard Univ. Press. pp. 199–215. ISBN 978-0-674-32449-7..
Frege, Gottlob (1879). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. translated in van Heijenoort 1967.
Secondary Sources
Barwise, Jon, (ed.), Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, Amsterdam, North Holland, 1982 ISBN 978-0-444-86388-1 .
Beaney, Michael, The Frege Reader, London: Blackwell 1997.
Bochenski, I. M., A History of Formal Logic, Indiana, Notre Dame University Press, 1961.
Boehner, Philotheus, Medieval Logic, Manchester 1950.
Boyer, C.B. (1991) [1989], A History of Mathematics (2nd ed.), New York: Wiley, ISBN 978-0-471-54397-8
Buroker, Jill Vance (transl. and introduction), A. Arnauld, P. Nicole Logic or the Art of Thinking, Cambridge University Press, 1996, ISBN 0-521-48249-6.
Church, Alonzo, 1936–1938. "A bibliography of symbolic logic". Journal of Symbolic Logic 1: 121–218; 3:178–212.
de Jong, Everard (1989), Galileo Galilei's "Logical Treatises" and Giacomo Zabarella's "Opera Logica": A Comparison, PhD dissertation, Washington, DC: Catholic University of America.
Ebbesen, Sten "Early supposition theory (12th–13th Century)" Histoire, Épistémologie, Langage 3/1: 35–48 (1981).
Farrington, B., The Philosophy of Francis Bacon, Liverpool 1964.
Feferman, Anita B. (1999). "Alfred Tarski". American National Biography. 21. Oxford University Press. pp. 330–332. ISBN 978-0-19-512800-0.
Feferman, Anita B.; Feferman, Solomon (2004). Alfred Tarski: Life and Logic. Cambridge University Press. ISBN 978-0-521-80240-6. OCLC 54691904.
Gabbay, Dov and John Woods, eds, Handbook of the History of Logic 2004. 1. Greek, Indian and Arabic logic; 2. Mediaeval and Renaissance logic; 3. The rise of modern logic: from Leibniz to Frege; 4. British logic in the Nineteenth century; 5. Logic from Russell to Church; 6. Sets and extensions in the Twentieth century; 7. Logic and the modalities in the Twentieth century; 8. The many-valued and nonmonotonic turn in logic; 9. Computational Logic; 10. Inductive logic; 11. Logic: A history of its central concepts; Elsevier, ISBN 0-444-51611-5.
Geach, P. T. Logic Matters, Blackwell 1972.
Goodman, Lenn Evan (2003). Islamic Humanism. Oxford University Press, ISBN 0-19-513580-6.
Goodman, Lenn Evan (1992). Avicenna. Routledge, ISBN 0-415-01929-X.
Grattan-Guinness, Ivor, 2000. The Search for Mathematical Roots 1870–1940. Princeton University Press.
Gracia, J. G. and Noone, T. B., A Companion to Philosophy in the Middle Ages, London 2003.
Haaparanta, Leila (ed.) 2009. The Development of Modern Logic Oxford University Press.
Heath, T. L., 1949. Mathematics in Aristotle, Oxford University Press.
Heath, T. L., 1931, A Manual of Greek Mathematics, Oxford (Clarendon Press).
Honderich, Ted (ed.). The Oxford Companion to Philosophy (New York: Oxford University Press, 1995) ISBN 0-19-866132-0.
Kneale, William and Martha, 1962. The development of logic. Oxford University Press, ISBN 0-19-824773-7.
Lukasiewicz, Aristotle's Syllogistic, Oxford University Press 1951.
Potter, Michael (2004), Set Theory and its Philosophy, Oxford University Press.

== External links ==
The History of Logic from Aristotle to Gödel with annotated bibliographies on the history of logic
Bobzien, Susanne. "Ancient Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174.
Chatti, Saloua. "Avicenna (Ibn Sina): Logic". In Fieser, James; Dowden, Bradley (eds.). Internet Encyclopedia of Philosophy. ISSN 2161-0002. OCLC 37741658.
Spruyt, Joke. "Peter of Spain". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174.
Paul Spade's "Thoughts Words and Things" – An Introduction to Late Mediaeval Logic and Semantic Theory (PDF)
Open Access pdf download; Insights, Images, Bios, and links for 178 logicians by David Marans