Abstract
There is growing literature on the employment of diagrams to ease logical reasoning. Less is said about the visual properties of symbolic notations. It is, for instance, no coincidence that most notations offered for implication are asymmetrical to reflect the asymmetry of the operator itself. Hence, the symbol is self-interpreting in that its appearance suggests a property of the object it stands for. In this paper, we discuss a compositional notation, invented by Lewis Carroll in 1884, which suggests relations between propositions. Carroll is known for designing both symbolic and diagrammatic notations for logic. Although his theory was rooted in the “old” logic, he championed a thorough use of notations in the Boolean style that was spreading in his time. In the notation we are considering here, Carroll represents simple propositions, and then their symbols are combined to form compound propositions. An interesting outcome of this design, based on the visualization of the composition of propositions, is that the layout exhibits relations between propositions. For instance, a proposition is shown to be subaltern to another if the symbol of the former is contained by the symbol of the latter. In this paper, we consider the guiding principles for the design of this notation and the extent to which it visually conveys relations between propositions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abeles, F. F., ed.: The Mathematical Pamphlets of Charles Lutwidge Dodgson and Related Pieces. Lewis Carroll Society of North America, New York (1994).
Abeles, F. F.: Lewis Carroll's visual logic. History and Philosophy of Logic 28, 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).
Abeles, F. F.: Mathematical legacy. In: Wilson, R., Moktefi, A. (eds) The Mathematical World of Charles L. Dodgson (Lewis Carroll) (pp. 177-215). Oxford University Press, Oxford (2019).
Abeles, F. F.: Charles L. Dodgson’s work on trigonometry. Acta Baltica Historiae et Philosophiae Scientiarum 7, 27-38 (2019).
Bartley III, W. W., ed.: Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York (1986).
Bellucci, F., Moktefi, A., Pietarinen, A.-V.: Diagrammatic autarchy. Linear diagrams in the 17th and 18th centuries. In: Burton, J., Choudhury, L. (eds.), DLAC 2013: Diagrams, Logic and Cognition (pp. 23-30). CEUR Workshop Proceedings, vol. 1132. (2014).
Bhattacharjee, R., Moktefi, A., Pietarinen, A.-V.: The representation of negative terms with Euler diagrams. In: Béziau, J.-Y., et al. (eds) Logic in Question. Birkhaüser, Basel (2020).
Boole, G.: An Investigation of the Laws of Thought. Macmillan, London (1854).
Carroll, L.: The Game of Logic. Macmillan, London (1886).
Carroll, L.: Symbolic logic: Part I. Macmillan, London (1897).
Corcoran, J.: Introduction. The Laws of Thought: George Boole. Prometheus Books, Amherst, NY. (2003).
Corcoran, J.: Aristotle’s Prior Analytics and Boole’s Laws of Thought. History and Philosophy of Logic 24, 261-288 (2003).
De Morgan, A.: Formal Logic. Taylor & Walton, London (1847).
De Morgan, A.: Review of C. L. Dodgson’s The Formulae of Plane Trigonometry. The Athenaeum 1761, 113 (27 July 1861).
De Morgan, A.: On the Syllogism and Other Logical Writings. Routledge & Kegan Paul, London (1966).
Dodgson, C. L.: Euclid and his Modern Rivals. Macmillan, London (1879)
Dodgson, C. L.: Pillow Problems. Macmillan, London (1895).
Durand-Richard, M.-J., Moktefi, A.: Algèbre et logique symboliques : arbitraire du signe et langage formel. In : Béziau, J.-Y. (ed.) La Pointure du Symbole (pp. 295-328). Pétra, Paris (2014).
Englebretsen, G. Lewis Carroll on logical quantity. Jabberwocky 12 (2), 39-41 (1983).
Englebretsen, G.: The Dodo and the DO: Lewis Carroll on the Dictum de Omni. The Carrollian 25, 29-37 (2014).
Englebretsen, G.: Figuring it Out. De Gruyter, Berlin (2020).
Englebretsen, G., Gilday, N.: Lewis Carroll and the logic of negation, Jabberwocky 5 (2), 42-45 (1976).
Frege, G.: Begriffsschrift. Louis Nebert, Halle (1879).
Green, J.: The problem of elimination in the algebra of logic. In: Drucker, T. (ed.) Perspectives on the History of Mathematical Logic (pp. 1-9), Birkhauser, Boston (1991).
Heinemann, A.-S.: ‘Horrent with mysterious spiculae’: Augustus De Morgan’s logic notation of a ‘calculus of opposite relations’. History and Philosophy of Logic 39, 29-52 (2018).
Ladd-Franklin, C.: On the algebra of logic. In: Peirce, C. S. (ed) Studies in Logic (pp. 17-71). Little, Brown, and Company, Boston (1883).
Land, J. P. N.: Brentano’s logical innovations. Mind 1 (2), 289-292 (1876).
Lemanski, J.: Periods in the use of Euler-type diagrams. Acta Baltica Historiae et Philosophiae Scientiarum 5 (1), 50–69 (2017).
Lu, A., et al.: What directions do we look at power from? Up-down, left-right, and front-back. PLoS ONE 10(7): e0132756. doi:10.1371/journal.pone.0132756, pp. 1-16
Macbeth, D.: Diagrammatic reasoning in Frege’s Begriffsschrift. Synthese 186, 289-314 (2012).
Macbeth, D.: Writing Reason. Logique et Analyse 221, 25-44 (2013).
Marion, M., Moktefi, A.: La logique symbolique en débat à Oxford à la fin du XIXe siècle : les disputes logiques de Lewis Carroll et John Cook Wilson. Revue d’Histoire des Sciences 67 (2), 185-205 (2014).
Moktefi, A.: Beyond syllogisms: Carroll’s (marked) quadriliteral diagram. In: Moktefi, A., Shin, S.-J. (eds.) Visual Reasoning with Diagrams (pp. 55–72). Birkhäuser, Basel, (2013).
Moktefi A.: Is Euler’s Circle a Symbol or an Icon?. Sign Systems Studies 43 (4), 597–615 (2015).
Moktefi, A.: On the social utility of symbolic logic: Lewis Carroll against ‘The Logicians’. Studia Metodologiczne 35, 133-150 (2015).
Moktefi, A.: Are other people’s books difficult to read? The logic books in Lewis Carroll’s private library. Acta Baltica Historiae et Philosophiae Scientiarum 5 (1), 28-49 (2017).
Moktefi, A.: Logic. In: Wilson, R. J., Moktefi, A. (eds.) The Mathematical World of Charles L. Dodgson (Lewis Carroll) (pp. 87-119). Oxford University Press, Oxford (2019).
Moktefi, A.: The Social sha** of modern logic. In: Gabbay, D., et al. (eds) Natural Arguments: A Tribute to John Woods (pp. 503-520). College Publications, London (2019).
Moktefi, A., Abeles, F. F.: The making of ‘What the Tortoise said to Achilles’: Lewis Carroll’s logical investigations toward a workable theory of hypotheticals. The Carrollian 28, 14-47 (2016).
Moktefi, A., Edwards, A. W. F.: One more class: Martin Gardner and logic diagrams. In: Burstein, M. (ed.) A Bouquet for the Gardener (pp. 160-174). The Lewis Carroll Society of North America, New York (2011).
Moktefi, A., Pietarinen, A.-V.: On the diagrammatic representation of existential statements with Venn diagrams. Journal of Logic, Language and Information 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).
Moretti, A.: Was Lewis Carroll an amazing oppositional geometer?. History and Philosophy of Logic 35 (4), 383-409 (2014).
Peirce, C. S., Pietarinen, A.-V.: Logic of the Future: Writings on Existential Graphs. Vol. 1, De Gruyter, Mouton (2019).
Schlimm, D.: On Frege’s Begriffsschrift notation for propositional logic. History and Philosophy of Logic 39 (1), 53-79 (2018).
Shin, S.-J.: The Iconic Logic of Peirce’s Graphs. MIT Press, Cambridge, MA (2002).
Tennant, N.: The withering away of formal semantics?. Mind & Language 1, 302-318 (1986).
Van Evra, J.: The development of logic as reflected in the fate of the syllogism 1600-1900. History and Philosophy of Logic 21, 115-134 (2000).
Venn, J.: Symbolic Logic. Macmillan, London (1894).
Wakeling, E., ed.: Lewis Carroll’s Diaries. vol. 6, The Lewis Carroll Society, Clifford, Herefordshire (2001).
Wakeling, E., ed.: Lewis Carroll’s Diaries. vol. 8, The Lewis Carroll Society, Clifford, Herefordshire (2004).
Wesoły, M.: Aristotle’s lost diagrams of the analytical figures. Eos 84, 53-64 (1996).
Wesoły, M.: ANAΛ\(\Upsilon \Sigma {I}\Sigma\ \Pi {EPI}\ {TA}\Sigma{XHMATA}\):Restoring Aristotle’s lost diagrams of the syllogistic figures. Peitho 3, 83-114 (2012).
Acknowledgments
In addition to expressing our appreciation to Miles Rind for his help and advice, we want to thank Francine Abeles for her valuable suggestions and critique. Fran has provided us with so many of the fruits of her research over many years, answering our questions while making astute suggestions with generosity and patience. For the second author, this research benefitted from the support of ERC project “Abduction in the age of Uncertainty” (PUT 1305, Principal Investigator: Prof. Ahti-Veikko Pietarinen).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Englebretsen, G., Moktefi, A. (2022). Lewis Carroll’s Almost Diagrammatic Logic Notation. In: Béziau, JY., Desclés, JP., Moktefi, A., Pascu, A.C. (eds) Logic in Question. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-94452-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-94452-0_8
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-94451-3
Online ISBN: 978-3-030-94452-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)