摘要
本文通过引入开放域的概念来拓展文恩-i图系统(带个体的文恩图)。"隐无(absence)"的概念在本论文中被当做独立的范畴加以讨论。"隐无"和开放域的概念共同不相容于集合论中绝对补的概念。
This paper extends the diagrammatic system Venn-i (Venn diagrams with individuals) by bringing in the notion of open universe. The notion of absence is discussed in the above mentioned paper as an independent category. The notion of absence and open universe together show incompatibility with set theoretic notion of absolute complementation.
出处
《逻辑学研究》
CSSCI
2012年第1期96-112,共17页
Studies in Logic
基金
supported by the Centre for Cognitive Science,Jadavpur University