Abstract
Venn-Peirce diagram system has been extended with the incorporation of individuals and absence of individuals. Three types of diagram-logic system are presented, and the soundness and completeness results are claimed with respect to appropriate semantics. Traditional square of opposition has been extended with singular proposition and its negation. Pictorial representation of the corners of the hexagon thus obtained is analyzed. Finally, nine-cornered and five-cornered diagrams are presented and discussed.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Allwein, G., and J. Barwise, eds. 1996. Logical reasoning with diagrams. New York: Oxford University Press.
Bernhard, P. 2008. Visualizations of the square of opposition. Logica Universalis 2: 31–41. Springer.
Béziau, J.Y., and P. Gillman, eds. 2012. The square of opposition: a general framework for cognition. Bern: Peter Lang.
Bhattacharjee, R., M.K. Chakraborty, and L. Choudhury. 2018. Venn diagram with names of individuals and their absence: a non-classical diagram logic. Logica Universalis 12: 141 . Springer.
Bhattacharjee, R., M.K. Chakraborty, and L. Choudhury. 2019a. A diagram system extending the system venn-II, presented at eighth Indian conference on logic and its applications, IIT Delhi.
Bhattacharjee, R., M.K. Chakraborty, and L. Choudhury. 2019b. Vennio1: A diagram system for universe without boundary. Logica Universalis 13: 289–346. Springer.
Burton J., Chakraborty M., Choudhury L., Stapleton G. 2016. Minimizing Clutter Using Absence in Venn-ie. In: Jamnik M., Uesaka Y., Elzer Schwartz S. (eds) Diagrammatic Representation and Inference. Diagrams 2016. Lecture Notes in Computer Science, vol 9781. Springer, Cham. https://doi.org/10.1007/978-3-319-42333-3_9
Choudhury, L., and M.K. Chakraborty. 2004. On extending Venn diagram by augmenting names of individuals. In Diagrammatic representation and inference, ed. A. Blackwell et al., 142–146. Berlin: Springer.
Choudhury, L., and M.K. Chakraborty. 2005. Comparison between spider diagrams and Venn diagrams with individuals. In Proceedings of the workshop Euler Diagrams 2005, INRIA, Paris, pp 13–17.
Choudhury, L., and M.K. Chakraborty. 2012. On representing open universe. Studies in Logic 5 (1): 96–112.
Choudhury, L., and M.K. Chakraborty. 2013. Singular propositions and their negations in diagrams, published in the proceedings of DLAC 2013. In CEUR workshop proceedings, Vol. 1132. http://ceur-ws.org/
Choudhury, L., and M.K. Chakraborty. 2016. Singular propositions, negation and the square of opposition. Logica Universalis (Copyright 2016 Springer International Publishing), 10 (2–3):215–231.
Datta, S. 1991. The ontology of negation. Jadavpur studies in philosophy, in collaboration with K. P. Bagchi and Co., Kolkata.
Euler, L. 1768. Lettres ‘a une Princesse d’Allemagne. St. Petersburg: l’Academie Imperiale desSciences.
Gil, J., J. Howse, and S. Kent. 1999. Formalizing spider diagrams. In Proceedings of the IEEE symposium on visual languages (VL 99), Tokyo, pp 130–137.
Hammer, E. 1995. Logic and visual information. Stanford: CSLI Pubs.
Howse, J., F. Molina, J. Taylor, S. Kent, and J. Gill. 2001. Spider diagrams: a diagrammatic reasoning system. Journal of Visual Languages and Computing 12 (3): 299–324.
Howse, J., G. Stapleton, and J. Taylor. 2005. Spider diagrams. LMS Journal of Computation and Mathematics 8: 145–194. London Mathematical Society.
Khomskii, Y. 2012. William of Sherwood, singular propositions and the hexagon of opposition. In The square of opposition. A general framework for cognition, ed. J.Y. Béziau and P. Gillman, 43–59. Bern: Peter Lang.
Ma, M., and A. Pietarinen. 2017a. Graphical sequent calculi for modal logics. Electronic Proceedings in Theoretical Computer Science 243: 91–103. https://doi.org/10.4204/EPTCS.243.7. M4M9 EPTCS 243.
Ma, M., and A. Pietarinen. 2017b. Gamma, graph calculi for modal logics, Synthese. Springer. https://doi.org/10.1007/s11229-017-1390-3.
Moktefi, A., and S.J. Shin. 2012. A history of logic diagrams. In Handbook of the history of logic, vol. 11, 611–682. Amsterdam: Elsevier.
Peirce, C.S. 1933. Collected papers of C.S. Peirce. Vol. iv. Cambridge, MA: Harvard University Press.
Sharma, S.S. 2012. Interpreting square of oppositions with the help of diagrams. In The square of opposition. A general framework for cognition, ed. J.Y. Béziau and P. Gillman, 174–192. Bern: Peter Lang.
Shin, S.J. 1994. The logical status of diagrams. Cambridge, UK: Cambridge University Press.
Stapleton, S. 2005. A survey of reasoning systems based on Euler diagram. In Proceedings of the first international workshop on Euler diagrams, Vol. 134, 127–151.
Stapleton, G., & Masthoff, J. 2007. Incorporating negation into visual logics: A case study using Euler diagrams. In P. Maresca, Y. Khalifa, & X. Li (Eds.), Visual languages and computing 2007 (pp. 187–194). Skokie: Knowledge Systems Institute.
Stapleton, G., J. Howse, and J. Taylor. 2005. A decidable constraint diagram reasoning system. Journal of Logic and Computation 15 (6): 975–1008.
Stapleton, G., J. Howse, J. Taylor, and S. Thompson. 2009. The expressiveness of spider diagram augmented with constants. Journal of Visual Languages and Computing 20: 30–49.
Stapleton, G., A. Blake, L. Choudhury, M. Chakraborty, and J. Burton. 2016. Presence and absence of individuals in diagrammatic logics: An empirical comparison. Studia Logica (2006) 82:1–24.
Stapleton, G., A. Blake, J. Burton, and A. Touloumis. 2017. Presence and absence of individuals in diagrammatic logics: An empirical comparison. Studia Logica 105: 787–815. Springer.
Tadeusz, C. 1955. On certain peculiarities of singular propositions. Mind 64: 392–395. JSTOR.
Venn, J. 1880. On the diagrammatic and mechanical representation of propositions and reasonings. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science 10: 1–18.
Venn, J. 1881. Symbolic logic. 1st ed. London: Macmillan.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer Nature India Private Limited
About this entry
Cite this entry
Bhattacharjee, R., Kr. Chakraborty, M., Choudhury, L. (2020). Logic of Diagrams. In: Sarukkai, S., Chakraborty, M. (eds) Handbook of Logical Thought in India. Springer, New Delhi. https://doi.org/10.1007/978-81-322-1812-8_46-1
Download citation
DOI: https://doi.org/10.1007/978-81-322-1812-8_46-1
Received:
Accepted:
Published:
Publisher Name: Springer, New Delhi
Print ISBN: 978-81-322-1812-8
Online ISBN: 978-81-322-1812-8
eBook Packages: Springer Reference Religion and PhilosophyReference Module Humanities and Social SciencesReference Module Humanities