Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic
Reetu Bhattacharjee,Mihir Kr. Chakraborty,Lopamudra Choudhury
DOI: https://doi.org/10.1007/s11787-018-0186-7
2018-02-21
Logica Universalis
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.
logic
What problem does this paper attempt to address?