Abstract
Venn diagram system has been extended by introducing names of individuals and their absence. Absence gives a kind of negation of singular propositions. We have offered here a non-classical interpretation of this negation. Soundness and completeness of the present diagram system have been established with respect to this interpretation.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Allwein, G., Barwise, J. (eds.): Logical Reasoning with Diagrams. Oxford University Press, Oxford (1996)
Burton, J., Chakraborty, M.K., Choudhury, L., Stapleton, G.: Minimizing Clutter using Absence in Venn-i\(_{e}\), Diagrammatic Representation and Inference, LNCS, vol. 9781, pp. 107–122. Spinger, Berlin (2016)
Choudhury, L., Chakraborty, M.K.: On extending Venn diagram by augmenting names of individuals. In: Blackwell, A., et al., (eds.) Diagrammatic Representation and Inference, pp. 142–146. Springer, Berlin (2004)
Choudhury, L., Chakraborty, M.K.: Comparison between Spider diagrams and Venn diagrams with individuals. In: Proceedings of the workshop Euler Diagrams 2005, INRIA, Paris, pp. 13–17 (2005)
Choudhury, L., Chakraborty, M.K.: On representing open universe. Stud. Log. 5(1), 96–112 (2012)
Choudhury, L., Chakraborty, M.K.: Singular propositions, negation and the square of opposition. Log. Univ. 10(2–3), 215–231 (2016)
Datta, S.: The Ontology of Negation, Jadavpur Studies in Philosophy, in collaboration with K. P. Bagchi and Co., Kolkata (1991)
Euler, L.: Lettres ‘a une Princesse d’Allemagne. l’Academie Imperiale desSciences, St. Petersburg (1768)
Gil, J., Howse, J., Kent, S.: Formalizing Spider diagrams. In: Proceedings of the IEEE Symposium on Visual Languages (VL 99), Tokyo, pp. 130–137 (1999)
Gurr, C.: Effective diagramatic communication: syntactic, semantic and pragmatic issues. J. Vis. Lang. Comput. 10(4), 317–342 (1999)
Hammer, E.: Logic and Visual Information. CSLI Pubs, Stanford (1995)
Howse, J., Molina, F., Taylor, J., Kent, S., Gill, J.: Spider diagrams: a diagrammatic reasoning system. J. Vis. Lang. Comput. 12(3), 299–324 (2001)
Howse, J., Stapleton, G., Taylor, J.: Spider Diagrams, pp. 145–194. London Mathematical Society, London (2005)
Peirce, C.S.: Collected Papers of C.S.Peirce, vol. iv. HUP (1933)
Shin, S.J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Stapleton, G.: A survey of reasoning systems based on Euler diagram. In: Proceedings of the First International Workshop on Euler Diagrams, vol. 134, pp. 127–151 (2005)
Stapleton, G.: Incorporating negation into visual logics: a case study using Euler diagrams. 13th International Conference on Distributed Multimedia Systems. In: Visual Languages and Computing, DMS’2007, 6–8th September, San Francisco, United States, pp. 187–194 (2007)
Stapleton, G., Howse, J., Taylor, J., Thompson, S.: The expressiveness of spider diagram augmented with constants. J Vis Lang Comput 20, 30–49 (2009)
Stapleton, G., Blake, A., Choudhury, L., Chakraborty, M., Burton, J.: Presence and absence of individuals in diagrammatic logics: an empirical comparison. Stud Log 2006(82), 1–24 (2016)
Swoboda, N.: Implementing Euler/Venn reasoning systems. In: Anderson, M., Meyer, B., Oliver, P. (eds.) Diagramatic Representation and Reasoning, pp. 371–386. Springer, Heidelberg (2001)
Venn, J.: Symbolic Logic, 2d edn. Macmilan, London (1894)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bhattacharjee, R., Chakraborty, M.K. & Choudhury, L. Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic. Log. Univers. 12, 141–206 (2018). https://doi.org/10.1007/s11787-018-0186-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-018-0186-7