Skip to main content
SpringerLink
Log in

\(\hbox {Venn}_{i_{o1}}\): A Diagram System for Universe Without Boundary

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

A new diagram system \(\hbox {Venn}_{i_{o1}}\) where properties are fundamental and an object exists only w.r.t a property is presented. This work modifies both in syntax and semantics the system \(\hbox {Venn}_{i_{o}}\) proposed by Choudhury and Chakraborty to picturise and address issues connected with open universe. Semantics for the current system is given. Soundness and completeness w.r.t the semantics are established.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allwein, G., Barwise, J. (eds.): Logical Reasoning with Diagrams. Oxford University Press, Oxford (1996)

    MATH  Google Scholar 

  2. Bhattacharjee, R., Chakraborty, M.K., Choudhury, L.: Venn Diagram with Names of Individuals and Their Absence: A Non-Classical Diagram Logic, Logica Universalis. Springer, Berlin (2018)

    MATH  Google Scholar 

  3. Bhattacharjee, R., Chakraborty, M.K., Choudhury, L.: A diagram system extending the system Venn-II. In: Presented at Eighth Indian Conference on Logic and its Applications, IIT Delhi (2019)

  4. Burton, J., Chakraborty, M.K., Choudhury, L., Stapleton, G.: Minimizing clutter using absence in \(\text{Venn-i}_{e}\). In: Diagrammatic Representation and Inference, LNCS, vol. 9781, pp. 107–122. Springer, Berlin (2016)

    Chapter  Google Scholar 

  5. Carroll, L.: Symbolic Logic, Second edn. Macmillan and Co., Ltd., London (1896)

    Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. 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)

  8. Choudhury, L., Chakraborty, M.K.: On representing open universe. Stud. Logic 5(1), 96–112 (2012)

    Google Scholar 

  9. Datta, S.: The Ontology of Negation, Jadavpur Studies in Philosophy, in collaboration with K. P. Bagchi and Co., Kolkata (1991)

  10. Euler, L.: Lettres ‘a une Princesse d’Allemagne, St. Petersburg; l’Academie Imperiale desSciences (1768)

  11. Hammer, E.: Logic and Visual Information. CSLI Pubs, Stanford (1995)

    MATH  Google Scholar 

  12. 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)

    Article  Google Scholar 

  13. Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. Lond. Math. Soc. J. 8, 145–194 (2005)

    MathSciNet  MATH  Google Scholar 

  14. Ma, M., Pietarinen, A.: Graphical sequent calculi for modal logics. In: Electronic Proceedings in Theoretical Computer Science, M4M9 EPTCS 243, pp. 91–103. https://doi.org/10.4204/EPTCS.243.7 (2017)

    Article  MathSciNet  Google Scholar 

  15. Ma, M., Pietarinen, A.: Gamma graph calculi for modal logics. Synthese 195, 3621–3650 (2017). https://doi.org/10.1007/s11229-017-1390-3

    Article  MathSciNet  MATH  Google Scholar 

  16. Peirce, C.S.: Collected Papers of C.S.Peirce, vol. iv. HUP (1933)

  17. Shin, S.J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)

    MATH  Google Scholar 

  18. Stapleton, S.: A survey of reasoning systems based on Euler diagram. Proc. First Int. Workshop Euler Diagr. 134, 127–151 (2005)

    MATH  Google Scholar 

  19. Stapleton, G.: Incorporating negation into visual logics: a case study using Euler diagrams. In: Visual Language and Computing, Knowledge Systems Institute pp. 187–194 (2007)

  20. Stapleton, G., Howse, J., Taylor, J., Thompson, S.: The expressiveness of Spider diagram augmented with constants. J. Vis. Lang. Comput. 20, 30–49 (2009)

    Article  Google Scholar 

  21. Stapleton, G., Blake, A., Choudhury, L., Chakraborty, M., Burton, J.: Presence and absence of individuals in diagrammatic logics: an empirical comparison. Studia Logica (2006) 82, 1–24 (2016)

    Google Scholar 

  22. Venn, J.: Symbolic Logic, 2d edn. Macmilan, London (1894)

    MATH  Google Scholar 

Download references

Acknowledgements

We acknowledge UGC UPE-II, School of Cognitive Science, Jadavpur University for funding this research.

Author information

Authors and Affiliations

  1. Jadavpur University, Kolkata, West Bengal, 700032, India

    Reetu Bhattacharjee, Mihir Kr. Chakraborty & Lopamudra Choudhury

Authors
  1. Reetu Bhattacharjee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mihir Kr. Chakraborty
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lopamudra Choudhury
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Reetu Bhattacharjee.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bhattacharjee, R., Chakraborty, M.K. & Choudhury, L. \(\hbox {Venn}_{i_{o1}}\): A Diagram System for Universe Without Boundary. Log. Univers. 13, 289–346 (2019). https://doi.org/10.1007/s11787-019-00227-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-019-00227-z

Keywords

Mathematics Subject Classification

Search

Navigation