×

Toward a visual proof system: Lewis Carroll’s method of trees. (English) Zbl 1267.01028

Author’s 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.

MSC:

01A55 History of mathematics in the 19th century
03-03 History of mathematical logic and foundations
03F03 Proof theory in general (including proof-theoretic semantics)

Biographic References:

Carroll, Lewis
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abeles, F. (ed.): The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. LCSNA/University Press of Virginia, New York/Charlottesville (2010)
[2] Abeles F.: Lewis Carroll’s visual logic. Hist. Philos. Logic 28, 1–17 (2007) · Zbl 1117.03002 · doi:10.1080/01445340600704481
[3] Abeles F.: Lewis Carroll’s formal logic. Hist. Philos. Logic 26, 33–46 (2005) · Zbl 1062.03004 · doi:10.1080/01445340412331311947
[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)
[5] Abeles F.: Lewis Carroll’s method of trees: its origins in studies in logic. Mod. Logic 1, 25–35 (1990) · Zbl 0708.01009
[6] Anellis I.: The genesis of the truth-table device. Russell: J. Bertrand Russell Stud. 24, 55–70 (2004)
[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) · Zbl 0744.03005
[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) · Zbl 0708.01008
[9] Anonymous: Review of symbolic logic, Part I. The Educational Times, vol. 1, p. 316 (1896)
[10] Bartley, W.W. III (ed.): Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York (1977) (2nd edn 1986)
[11] Berol Collection, Bobst/Fales Library, New York University
[12] Boole, G.: The Mathematical Analysis of Logic. Thoemmes, Bristol (1998) (First published in 1847) · Zbl 0041.34803
[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) · Zbl 1205.03003
[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)
[15] Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)
[16] Carroll L.: Symbolic Logic, Part 1. MacMillan, London (1896)
[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)
[18] Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 72, pp. 62–63 (1900)
[19] Carroll, L.: Question 14122. Mathematical Questions and Solutions. The Educational Times, vol. 73, pp. 125–126 (1900)
[20] Carroll L.: What the Tortoise Said to Achilles. Mind N.S. 4, 278–280 (1895) · doi:10.1093/mind/IV.14.278
[21] Carroll L.: A Logical Paradox. Mind (N.S.) 3, 436–438 (1894)
[22] Curjel, H.W.: Solution to problem 14122. Mathematical questions and solutions. The Educational Times, vol. 72, pp. 63 (1900) · JFM 31.0317.02
[23] De Morgan, A.: Formal Logic: or the Calculus of Inference, Necessary and Probable. Elibron Classics, New York (2005) (First published in 1847)
[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)
[25] Englebretsen G.: The properly Victorian tortoise. Jabberwocky 23, 12–13 (1993/1994)
[26] Grattan-Guinness, I.: Routes of Learning. Highways, Pathways, and Byways in the History of Mathematics. Johns Hopkins University Press, Baltimore (2009) · Zbl 1187.01001
[27] Hawker, G.: http://www.connectedglobe.com/froggy/index.html (2010)
[28] Johnson W.E.: The logical calculus. I. General principles. Mind (N.S.) 1, 3–30 (1892)
[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)
[30] Keynes, J.N.: Studies and Exercises in Formal Logic, 3rd edn. Macmillan, London (1894) (First published in 1884)
[31] MacColl, H.: Symbolic Logic and Its Implications. Longmans Green, London (1906) · JFM 37.0066.06
[32] MacColl H.: Solution to problem 14122. Mathematical questions and solutions from ’The Educational Times’, 73, 125–126 (1900)
[33] MacCo1l, H.: Review of Lewis Carroll, Symbolic Logic, Part 1. The Athenaeum, pp. 520–521 (1896)(published anonymously)
[34] Moktefi A.: La théorie syllogistique de Lewis Carroll. Les Cahiers Philosophiques de Strasbourg 11, 207–224 (2010)
[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) · Zbl 1117.03002
[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)
[37] Russell B.: The Principles of Mathematics. Cambridge University Press, Cambridge (1903) · JFM 34.0062.14
[38] Venn, J.: Symbolic Logic, 2nd revised edn. Burt Franklin, New York (1971) (First published in 1894) · Zbl 0263.01030
[39] Venn J.: Symbolic Logic. Macmillan, London (1881)
[40] Venn J.: On the diagrammatic and mechanical representation of propositions and reasoning. Lond. Edinb. Dublin Philos. Mag. J. Sci. 10, 1–18 (1880) · JFM 12.0045.01 · doi:10.1080/14786448008626877
[41] Wakeling, E.: Lewis Carroll’s Diaries, vol. 9. The Lewis Carroll Society, Herefordshire (2005)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.