Abstract
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.
Similar content being viewed by others
References
Abeles, F. (ed.): The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. LCSNA/University Press of Virginia, New York/Charlottesville (2010)
Abeles F.: Lewis Carroll’s visual logic. Hist. Philos. Logic 28, 1–17 (2007)
Abeles F.: Lewis Carroll’s formal logic. Hist. Philos. Logic 26, 33–46 (2005)
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)
Abeles F.: Lewis Carroll’s method of trees: its origins in studies in logic. Mod. Logic 1, 25–35 (1990)
Anellis I.: The genesis of the truth-table device. Russell: J. Bertrand Russell Stud. 24, 55–70 (2004)
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)
Anellis I.: From semantic tableaux to Smullyan trees: a history of the development of the falsifiability tree method. Mod. Logic 1, 36–69 (1990)
Anonymous: Review of symbolic logic, Part I. The Educational Times, vol. 1, p. 316 (1896)
Bartley, W.W. III (ed.): Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York (1977) (2nd edn 1986)
Berol Collection, Bobst/Fales Library, New York University
Boole, G.: The Mathematical Analysis of Logic. Thoemmes, Bristol (1998) (First published in 1847)
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)
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)
Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)
Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)
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)
Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 72, pp. 62–63 (1900)
Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 73, pp. 125–126 (1900)
Carroll L.: What the Tortoise Said to Achilles. Mind N.S. 4, 278–280 (1895)
Carroll L.: A Logical Paradox. Mind (N.S.) 3, 436–438 (1894)
Curjel, H.W.: Solution to problem 14122. Mathematical questions and solutions. The Educational Times, vol. 72, pp. 63 (1900)
De Morgan, A.: Formal Logic: or the Calculus of Inference, Necessary and Probable. Elibron Classics, New York (2005) (First published in 1847)
Englebretsen G.: The Dodo and the DO: Lewis Carroll and the dictum de omni. Proc. Can. Soc. History Philos. Math. 20, 142–148 (2007)
Englebretsen G.: The properly Victorian tortoise. Jabberwocky 23, 12–13 (1993/1994)
Grattan-Guinness, I.: Routes of Learning. Highways, Pathways, and Byways in the History of Mathematics. Johns Hopkins University Press, Baltimore (2009)
Hawker, G.: http://www.connectedglobe.com/froggy/index.html (2010)
Johnson W.E.: The logical calculus. I. General principles. Mind (N.S.) 1, 3–30 (1892)
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)
Keynes, J.N.: Studies and Exercises in Formal Logic, 3rd edn. Macmillan, London (1894) (First published in 1884)
MacColl, H.: Symbolic Logic and Its Implications. Longmans Green, London (1906)
MacColl H.: Solution to problem 14122. Mathematical questions and solutions from ‘The Educational Times’, 73, 125–126 (1900)
MacCo1l, H.: Review of Lewis Carroll, Symbolic Logic, Part 1. The Athenaeum, pp. 520–521 (1896)(published anonymously)
Moktefi A.: La théorie syllogistique de Lewis Carroll. Les Cahiers Philosophiques de Strasbourg 11, 207–224 (2010)
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)
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)
Russell B.: The Principles of Mathematics. Cambridge University Press, Cambridge (1903)
Venn, J.: Symbolic Logic, 2nd revised edn. Burt Franklin, New York (1971) (First published in 1894)
Venn J.: Symbolic Logic. Macmillan, London (1881)
Venn J.: On the diagrammatic and mechanical representation of propositions and reasoning. Lond. Edinb. Dublin Philos. Mag. J. Sci. 10, 1–18 (1880)
Wakeling, E.: Lewis Carroll’s Diaries, vol. 9. The Lewis Carroll Society, Herefordshire (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Abeles, F.F. Toward A Visual Proof System: Lewis Carroll’s Method of Trees. Log. Univers. 6, 521–534 (2012). https://doi.org/10.1007/s11787-012-0049-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-012-0049-6