@inproceedings{54204bf4fb784aeea247d6a1e433ceb8,
title = "Jin Yuelin{\textquoteright}s Simplification of Venn Diagrams",
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{\textquoteright}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 {\textquoteleft}non-visuals{\textquoteright} 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{\textquoteright}s broken-cut notations.",
keywords = "Dashed circles, Distributivity, Jin Yuelin, Peirce, Venn diagrams",
author = "Xinwen Liu and Pietarinen, {Ahti Veikko}",
note = "Funding Information: Supported by the Basic Research Program of the HSE University and the National Social Science Fund China 20&ZD046. Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021 ; Conference date: 28-09-2021 Through 30-09-2021",
year = "2021",
month = sep,
day = "3",
doi = "10.1007/978-3-030-86062-2_26",
language = "English",
isbn = "9783030860615",
series = "Lecture Notes in Computer Science",
publisher = "Springer Cham",
pages = "260--263",
editor = "Amrita Basu and Gem Stapleton and Sven Linker and Catherine Legg and Emmanuel Manalo and Petrucio Viana",
booktitle = "Diagrammatic Representation and Inference",
edition = "1st",
url = "https://link.springer.com/book/10.1007/978-3-030-86062-2",
}