逻辑学研究
邏輯學研究
라집학연구
SUN YATSEN UNIVERSITY FORUM
2012年
1期
96-112
,共17页
L.乔德瑞%M.查克拉波蒂
L.喬德瑞%M.查剋拉波蒂
L.교덕서%M.사극랍파체
开放%表征%概念%集合论%不相容
開放%錶徵%概唸%集閤論%不相容
개방%표정%개념%집합론%불상용
本文通过引入开放域的概念来拓展文恩.i图系统(带个体的文恩图)。“隐无(absence)”的概念在本论文中被当做独立的范畴加以讨论。“隐无”和开放域的概念共同不相容于集合论中绝对补的概念。
本文通過引入開放域的概唸來拓展文恩.i圖繫統(帶箇體的文恩圖)。“隱無(absence)”的概唸在本論文中被噹做獨立的範疇加以討論。“隱無”和開放域的概唸共同不相容于集閤論中絕對補的概唸。
본문통과인입개방역적개념래탁전문은.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.