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.

Veiling is one of the sources of seclusion of women from and within society. _Ghūnghat_ (_avagunṭhana, purdāh_) or veiling is primarily associated with covering one’s face which performs various functions. The rationale for veiling could be that it becomes a source of refuge to women from the gaze of others, sometimes providing them with a place of their own, without any interference from others, maintains their respectability and _mān_ or _izzat_ (honour), and becomes a sign of their modesty in society. (...) On the other hand, on analysis, it turns out to be a source of concealment of one’s identity, suppression of one’s sexuality, and a life without any agency. This paper, in the context of the dominant caste of the North Indian Hindu community, will bring out the cultural, social, and gendered aspects of the practice of veiling to show how the acceptance and deference to this practice is the byproduct of women’s conditioning in a patriarchal society. By bringing in the physical and symbolic aspects of veiling, this paper attempts to show how this discussion is significant for the attainment of a ‘good quality of life’ as mentioned by Martha Nussbaum and to come out of the state of an internalised sense of oppression. (shrink)

A new diagram system \ 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 \ 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.

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, then (...) give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

CL diagrams – the abbreviation of Cubus Logicus – are inspired by J.C. Lange’s logic machine from 1714. In recent times, Lange’s diagrams have been used for extended syllogistics, bitstring semantics, analogical reasoning and many more. The paper presents a method for testing statistical syllogisms (also called proportional syllogisms or inductive syllogisms) by using CL diagrams.