Abstract
Chinese logician and philosopher Jin Yuelin published in 1935 a textbook Logic (in Chinese) in which he proposed proving the distributive laws by a slightly non-standard version of Venn diagrams. In Jin Yuelin’s modification some segments of the circles are marked with dashed instead of continuous lines, namely those that following the meet and join operations encircle the regions outside of the meet regions, as well as those that encircle the regions inside of the join regions. Hence the validity of distribution of meets over joins in the first distributive law and joins over meets in the second is observed by the sameness of the diagrams with exactly the same dashed and continuous line segments. This slight modification removes the need for shading empty regions and liberates one from using the cross mark “x” or some other ‘non-visuals’ for existence while freeing shading for some other uses (as e.g. opined by Venn and Peirce) and reducing clutter. In addition to such implications to the theory of Venn diagrams, we expose this little-known detail from the history of Venn diagrams and assess the factors that contributed to its discovery, such as whether Jin Yuelin decided to apply the dashed line following his reading of Peirce’s broken-cut notations.
Supported by the Basic Research Program of the HSE University and the National Social Science Fund China 20&ZD046.
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
Couturat, L.: The Algebra of Logic. Open Court, Chicago (1914)
Jin, Y.: Logic. Tsinghua University Press, Beijing (1935). (in Chinese)
Ma, M., Pietarinen, A.-V.: Gamma graph calculi for modal logics. Synthese 195, 3621 (2017)
Moktefi, A., Pietarinen, A.-V.: On the diagrammatic representation of existential statements with Venn diagrams. J. Logic Lang. Inform. 24(4), 361–374 (2015). https://doi.org/10.1007/s10849-015-9228-1
Moktefi, A., Pietarinen, A.-V.: Negative terms in Euler diagrams: Peirce’s solution. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 286–288. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42333-3_25
Moktefi, A., Shin, S.-J.: A history of logic diagrams. In: Gabbay, D., et al. (eds.) Logic: A History of Its Central Concepts, pp. 611–682. North-Holland, Amsterdam (2012)
Peirce, C.S.: Prolegomena to an apology for pragmaticism. Monist 16(4), 492–546 (1906)
Peirce, C.S.: Logic of the future: writings on existential graphs. In: Pietarinen, A.-V. (ed.), vol. 1–3. De Gruyter, Berlin & Boston (2019–2021)
Pietarinen, A.-V.: Extensions of Euler diagrams in Peirce’s four manuscripts on logical graphs. In: Jamnik, M., Uesaka, Y., Elzer Schwartz, S. (eds.) Diagrams 2016. LNCS (LNAI), vol. 9781, pp. 139–154. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42333-3_11
Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Liu, X., Pietarinen, AV. (2021). Jin Yuelin’s Simplification of Venn Diagrams. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds) Diagrammatic Representation and Inference. Diagrams 2021. Lecture Notes in Computer Science(), vol 12909. Springer, Cham. https://doi.org/10.1007/978-3-030-86062-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-030-86062-2_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86061-5
Online ISBN: 978-3-030-86062-2
eBook Packages: Computer ScienceComputer Science (R0)