Abstract
The logician Lewis Carroll (1832–1898) invented a diagrammatic scheme for syllogisms and described how it could be used for logic problems involving more than 3 terms. Curiously, he never provided in print any diagrammatic solution for such a complex problem. The aim of this paper is to make sense of a manuscript where Carroll attempts to solve a sorite using his quadriliteral diagram. In this problem, three propositions are offered as premises. The purpose is to look for what information can be gathered as to the relation between two given terms involved in the argument. This case study provides some insights about the use of diagrams to solve elimination problems that were highly considered by early symbolist logicians.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abeles, F.F.: Lewis Carroll’s formal logic. Hist. Philos. Logic 26(1), 33–46 (2005)
Abeles, F.F.: Lewis Carroll’s visual logic. Hist. Philos. Logic 28(1), 1–17 (2007)
Abeles, F.F. (ed.): The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. Lewis Carroll Society of North America, New York (2010)
Bartley, W.W. III (ed.): Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York (1977)
Boole, G.: An Investigation of the Laws of Thought. Walton & Maberly, London (1854)
Carroll, L.: The Game of Logic. Macmillan, London (1887)
Carroll, L.: Fifth Paper on Logic. The Parrish Collection, Princeton University Library, Dodgson 431 (1887)
Carroll, L.: Algebraical Geometry. Notebook. The Parrish Collection, Princeton University Library, box 1, folder 1 (1890?)
Carroll, L.: Two Diagrams. The Parrish Collection, Princeton University Library, Dodgson 224 & 225 (1890?)
Carroll, L.: Notes and Calculations on Problems in Symbolic Logic. The Houghton Collection, Pierpont Morgan Library, New York, AAH545 (1892?)
Carroll, L.: Pillow Problems. Macmillan, London (1893)
Carroll, L.: Symbolic Logic—Part I, 4th edn. Macmillan, London (1897)
Marquand, A.: Logical diagrams for n terms. Philos. Mag. 12, 266–270 (1881)
Moktefi, A.: Lewis Carroll’s logic. In: Gabbay, D.M., Woods, J. (eds.) British Logic in the Nineteenth-Century, pp. 457–505. North-Holland, Amsterdam (2008)
Moktefi, A., Edwards, A.W.F.: One more class: Martin Gardner and logic diagrams. In: Burstein, M. (ed.) A Bouquet for the Gardener: Martin Gardner Remembered, pp. 160–174. Lewis Carroll Society of North America, New York (2011)
Moktefi, A., Shin, S.-J.: History of logic diagrams. In: Gabbay, D.M., Pelletier, F.J., Woods, J. (eds.) Logic: A History of Its Central Concepts, pp. 611–682. North-Holland, Amsterdam (2012)
Venn, J.: On the various notations adopted for expressing the common propositions of logic. Proc. Camb. Philos. Soc. 4, 36–47 (1880)
Venn, J.: Symbolic Logic, 2nd edn. Macmillan, London (1894)
Wakeling, E. (ed.): Lewis Carroll’s Diaries, vol. 8. Lewis Carroll Society, Clifford (2004)
Acknowledgements
This work benefited greatly from conversations with many people, notably Francine Abeles, Anthony Edwards, Mark Richards and Edward Wakeling, to whom I express my gratitude. This paper draws upon work supported by a research grant from The Friends of the University of Princeton Library. Finally, I express grateful acknowledgements to the archivists who helped me to consult the material used in Pierpont Morgan Library (New York) and Princeton University Library.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Basel
About this chapter
Cite this chapter
Moktefi, A. (2013). Beyond Syllogisms: Carroll’s (Marked) Quadriliteral Diagram. In: Moktefi, A., Shin, SJ. (eds) Visual Reasoning with Diagrams. Studies in Universal Logic. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-0600-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0600-8_4
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-0599-5
Online ISBN: 978-3-0348-0600-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)