Logica Universalis

, Volume 6, Issue 3–4, pp 521–534 | Cite as

Toward A Visual Proof System: Lewis Carroll’s Method of Trees

  • Francine F. Abeles


In the period 1893–1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised.

Mathematics Subject Classification

Primary 03F03 Secondary 01A55 


Tree proofs Dodgson 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abeles, F. (ed.): The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. LCSNA/University Press of Virginia, New York/Charlottesville (2010)Google Scholar
  2. 2.
    Abeles F.: Lewis Carroll’s visual logic. Hist. Philos. Logic 28, 1–17 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Abeles F.: Lewis Carroll’s formal logic. Hist. Philos. Logic 26, 33–46 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Abeles, F.: From the tree method in modern logic to the beginning of automated theorem proving. In: Shell-Gellasch, A., Jardine, D. (eds.) From Calculus to Computers, pp. 149–160. Mathematical Association of America, Washington, D.C. (2005)Google Scholar
  5. 5.
    Abeles F.: Lewis Carroll’s method of trees: its origins in studies in logic. Mod. Logic 1, 25–35 (1990)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Anellis I.: The genesis of the truth-table device. Russell: J. Bertrand Russell Stud. 24, 55–70 (2004)Google Scholar
  7. 7.
    Anellis I.: Forty years of “unnatural” natural deduction and quantification: a history of first-order systems of natural deduction, from Gentzen to Copi. Mod. Logic 2, 113–152 (1991)MathSciNetzbMATHGoogle Scholar
  8. 8.
    Anellis I.: From semantic tableaux to Smullyan trees: a history of the development of the falsifiability tree method. Mod. Logic 1, 36–69 (1990)MathSciNetzbMATHGoogle Scholar
  9. 9.
    Anonymous: Review of symbolic logic, Part I. The Educational Times, vol. 1, p. 316 (1896)Google Scholar
  10. 10.
    Bartley, W.W. III (ed.): Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York (1977) (2nd edn 1986)Google Scholar
  11. 11.
    Berol Collection, Bobst/Fales Library, New York UniversityGoogle Scholar
  12. 12.
    Boole, G.: The Mathematical Analysis of Logic. Thoemmes, Bristol (1998) (First published in 1847)Google Scholar
  13. 13.
    Boole, G.: An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities. New York, Dover (1958) (First published in 1854)Google Scholar
  14. 14.
    Carroll, L.: Symbolic Logic, Part 1. 4th edn. Published with The Game of Logic as The Mathematical Recreations of Lewis Carroll, Dover (1958) (First published in 1896)Google Scholar
  15. 15.
    Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)Google Scholar
  16. 16.
    Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)Google Scholar
  17. 17.
    Carroll, L.: The Game of Logic. Published with Symbolic Logic, Part 1 as The Mathematical Recreations of Lewis Carroll, Dover (1958) (First published in 1887)Google Scholar
  18. 18.
    Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 72, pp. 62–63 (1900)Google Scholar
  19. 19.
    Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 73, pp. 125–126 (1900)Google Scholar
  20. 20.
    Carroll L.: What the Tortoise Said to Achilles. Mind N.S. 4, 278–280 (1895)CrossRefGoogle Scholar
  21. 21.
    Carroll L.: A Logical Paradox. Mind (N.S.) 3, 436–438 (1894)Google Scholar
  22. 22.
    Curjel, H.W.: Solution to problem 14122. Mathematical questions and solutions. The Educational Times, vol. 72, pp. 63 (1900)Google Scholar
  23. 23.
    De Morgan, A.: Formal Logic: or the Calculus of Inference, Necessary and Probable. Elibron Classics, New York (2005) (First published in 1847)Google Scholar
  24. 24.
    Englebretsen G.: The Dodo and the DO: Lewis Carroll and the dictum de omni. Proc. Can. Soc. History Philos. Math. 20, 142–148 (2007)Google Scholar
  25. 25.
    Englebretsen G.: The properly Victorian tortoise. Jabberwocky 23, 12–13 (1993/1994)Google Scholar
  26. 26.
    Grattan-Guinness, I.: Routes of Learning. Highways, Pathways, and Byways in the History of Mathematics. Johns Hopkins University Press, Baltimore (2009)Google Scholar
  27. 27.
  28. 28.
    Johnson W.E.: The logical calculus. I. General principles. Mind (N.S.) 1, 3–30 (1892)CrossRefGoogle Scholar
  29. 29.
    Keene, C.A. (ed.): F. H. Bradley: Selected Correspondence. June 1872–December 1904. v. 4 of the Collected Works of F. H. Bradley. Thoemmes, Bristol (1999)Google Scholar
  30. 30.
    Keynes, J.N.: Studies and Exercises in Formal Logic, 3rd edn. Macmillan, London (1894) (First published in 1884)Google Scholar
  31. 31.
    MacColl, H.: Symbolic Logic and Its Implications. Longmans Green, London (1906)Google Scholar
  32. 32.
    MacColl H.: Solution to problem 14122. Mathematical questions and solutions from ‘The Educational Times’, 73, 125–126 (1900)Google Scholar
  33. 33.
    MacCo1l, H.: Review of Lewis Carroll, Symbolic Logic, Part 1. The Athenaeum, pp. 520–521 (1896)(published anonymously)Google Scholar
  34. 34.
    Moktefi A.: La théorie syllogistique de Lewis Carroll. Les Cahiers Philosophiques de Strasbourg 11, 207–224 (2010)Google Scholar
  35. 35.
    Moktefi, A.: Lewis Carroll’s logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 4, pp. 1–49. Elsevier, Amsterdam (2007)Google Scholar
  36. 36.
    Moktefi A.: Lewis Carroll and the British nineteenth-century logicians on the barber shop problem. Proc. Can. Soc. History Philos. Math. 20, 189–199 (2007)Google Scholar
  37. 37.
    Russell B.: The Principles of Mathematics. Cambridge University Press, Cambridge (1903)zbMATHGoogle Scholar
  38. 38.
    Venn, J.: Symbolic Logic, 2nd revised edn. Burt Franklin, New York (1971) (First published in 1894)Google Scholar
  39. 39.
    Venn J.: Symbolic Logic. Macmillan, London (1881)Google Scholar
  40. 40.
    Venn J.: On the diagrammatic and mechanical representation of propositions and reasoning. Lond. Edinb. Dublin Philos. Mag. J. Sci. 10, 1–18 (1880)Google Scholar
  41. 41.
    Wakeling, E.: Lewis Carroll’s Diaries, vol. 9. The Lewis Carroll Society, Herefordshire (2005)Google Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  1. 1.Department of Mathematics and Department of Computer ScienceKean UniversityUnionUSA

Personalised recommendations