Abstract
The use of diagrams in logic is old. Euler and Venn schemes are among the most popular. Carroll diagrams are less known but are occasionally mentioned in recent literature. The objective of this tutorial is to expose the working of Carroll’s diagrams and their significance from a triple perspective: historical, mathematical and philosophical. The diagrams are exposed, worked out and compared to Euler-Venn diagrams. These schemes are used to solve the problem of elimination which was widely addressed by early mathematical logicians: finding the conclusion that is to be drawn from any number of propositions given as premises containing any number of terms. For this purpose, they designed symbolic, visual and sometimes mechanical devices. The significance of Venn and Carroll diagrams is better understood within this historical context. The development of mathematical logic notably created the need for more complex diagrams to represent n terms, rather than merely 3 terms (the number demanded by syllogisms). Several methods to construct diagrams for n terms, with different strategies, are discussed. Finally, the philosophical significance of Carroll diagrams is discussed in relation to the use of rules to transfer information from a diagram to another. This practice is connected to recent philosophical debates on the role of diagrams in mathematical practices.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abeles, F.F.: Lewis Carroll’s visual logic. Hist. Philos. Log. 28(1), 1–17 (2007)
Bartley III, W.W. (ed.): Lewis Carroll’s Symbolic Logic. C. N. Potter, New York (1986)
Carroll, L.: The Game of Logic. Macmillan, London (1887)
Coumet, E.: The game of logic: a game of universes. In: Guiliano, E. (ed.) Lewis Carroll Observed, pp. 181–195. C. N. Potter, New York (1976)
Edwards, A.W.F.: Cogwheels of the Mind: The Story of Venn Diagrams. Johns Hopkins University Press, Baltimore (2004)
Euler, L.: Lettres à une princesse d’Allemagne, vol. 2. Imprimerie de l’Académie impériale des sciences, Saint Petersburg (1768)
Geach, P.: Reason and Argument. University of California Press, Berkeley (1976)
Lewis, C.I.: A Survey of Symbolic Logic. University of California press, Berkeley (1918)
Macula, A.J.: Lewis Carroll and the enumeration of minimal covers. Math. Mag. 68(4), 269–274 (1995)
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.: Beyond syllogisms: Carroll’s (marked) quadriliteral diagram. In: Moktefi, A., Shin, S.-J. (eds.) Visual Reasoning with Diagrams, pp. 55–71. Basel, Birkhäuser (2013)
Moktefi, A.: On the social utility of symbolic logic: Lewis Carroll against ‘The Logicians’. Stud. Metodol. 35, 133–150 (2015)
Moktefi, A.: Diagrams as scientific instruments. In: Benedek, A., Veszelszki, A. (eds.) Virtual Reality – Real Visuality, pp. 81–89. Peter Lang, Frankfurt am Main (2017)
Moktefi, A., Bellucci, F., Pietarinen, A.-V.: Continuity, connectivity and regularity in spatial diagrams for N terms. In: Burton, J., Choudhury, L. (eds.) DLAC 2013: Diagrams, Logic and Cognition, CEUR Workshop Proceedings, vol. 1132, pp. 31–35 (2014)
Moktefi, A., Pietarinen, A.-V.: On the diagrammatic representation of existential statements with Venn diagrams. J. Logic Lang. Inf. 24(4), 361–374 (2015)
Moktefi, A., Shin, S.-J.: A 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 diagrammatic and mechanical representation of propositions and reasonings. Philos. Mag. 10, 1–18 (1880)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Moktefi, A. (2018). Carroll Diagrams: Design and Manipulation. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-91376-6_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91375-9
Online ISBN: 978-3-319-91376-6
eBook Packages: Computer ScienceComputer Science (R0)