×
洛帕穆德拉·乔杜里;查克拉博蒂，米希尔·库马尔

奇异命题、否定和对立的正方形。 （英语） Zbl 1403.03052号

日志。Univers大学。 10，编号2-3215-231（2016）.
摘要：本文包含两种图解研究传统，一种是欧拉-文恩-皮尔士图解，另一种是遵循亚里士多德的传统，即对立的正方形。我们将这两种传统结合起来研究奇异命题的表示（通过一个包含常数的图系统Venn-i）、它们的否定以及两者之间的相互关系。除了经典否定外，我们还纳入了另一种否定，即缺席（从古代印度知识体系中存在的“abháva”概念中得到启示）。我们还考虑了在开放宇宙背景下发生的变化。

引用于5文件

MSC公司：

03B99号 一般逻辑

关键词：

对立平方;奇异命题;开放的宇宙;阿波娃（缺席）
PDF格式BibTeX公司 XML格式引用
\textit{L.Choudhury}和\textit{M.K.Chakraborty}，日志。Univers大学。10、编号2--3、215--231（2016；Zbl 1403.03052）
全文： 内政部

参考文献：

[1] Barwise，J.，Etchemendy，J.：视觉信息和有效推理。收录：Allwein，G.，Barwise，J.（编辑）《逻辑推理与图表》，第3-25页。牛津大学出版社，牛津（1990）
[2] 伯恩哈德·P：对立广场的可视化。Logica Universalis 2，31-41（2008）·Zbl 1138.03320号 ·数字对象标识代码：10.1007/s11787-007-0023-x
[3] Béziau，J.Y.，Payette，G.（编辑）反对派广场。在：认知的一般框架。彼得·朗，伯尔尼（2012）
[4] Choudhury L.，Chakraborty M.K.：关于代表开放宇宙。逻辑研究5（1），96-112（2012）
[5] Choudhury，L.，Chakraborty，M.K.：关于通过增加个体名称来扩展维恩图。摘自：Blackwell，A.等人（编辑）图表2004，LNAI 2980，pp.142-146（2004）·Zbl 1091.68632号
[6] Choudhury，L.，Chakraborty，M.K.：蜘蛛图和维恩图与个体的比较。摘自：2005年欧拉图表研讨会论文集。INRIA，巴黎（2005）·Zbl 1098.03040号
[7] Choudhury，L.，Chakraborty，M.K.：2013年DLAC会议记录中公布的图表中的奇异命题及其否定。收录于：CEUR研讨会论文集，第1132卷（2013年）。http://ceur-ws.org/
[8] 尤勒，L.：《写给阿勒马涅公主的信》，《体格与哲学》。第102-108号信件，第2卷。巴塞尔Birkhauser（1761）
[9] Hammer E.：逻辑和视觉信息。CSLI出版社。，美国（1995年）·Zbl 0930.03002号
[10] 霍普克罗夫特J.E.，乌尔曼J.D.：形式语言及其与自动机的关系。Addison-Wesley，伦敦（1969年）·Zbl 0196.01701号
[11] 霍恩·L.R.：否定的自然史。CSLI Pub，美国（2001）
[12] Khomiskii，Y.：舍伍德的威廉，奇异命题和对立六边形。参见：贝齐奥，J.Y.，佩耶特，G.（编辑）《反对广场》。《认知的一般框架》，第43-57页。彼得·朗，伯尔尼（2012）
[13] Larkin J.H.，Simon H.A.：为什么一个图表（有时）值一万个单词。科尼特。科学。11, 65-99 (1987) ·doi:10.1111/j.1551-6708.1987.tb00863.x
[14] 奎师那医学学士：逻辑、语言和现实。Motilal Banarasdass公司。新德里Pub（1990）
[15] 皮尔斯，C.S.：《皮尔斯论文集》。iv，HUP（1933年）
[16] 罗素B：逻辑原子主义哲学：逻辑与知识。Unwin Hyman，伦敦（1988）
[17] Sharma，S.S.：借助图表解释对立面的正方形。参见：贝齐奥，J.Y.，佩耶特，G.（编辑）《反对广场》。《认知的一般框架》，第174-192页。彼得·朗，伯尔尼（2012）
[18] Shin S.J.：图表的逻辑状态。剑桥大学公共政策委员会（1994）·兹比尔0829.03002
[19] Stapleton，G.，Taylor J.，Thompson S.，Howse，J.：蜘蛛图的表现力随常数增加。视觉杂志。语言计算。20(1), 30-49 (2009) ·Zbl 1401.03031号
[20] Stapleton G.、Howse J.、Taylor J.：可判定约束图推理系统。J.逻辑计算。15(6), 975-1008 (2005) ·Zbl 1098.03040号 ·doi:10.1093/log.com/exi041
[21] 斯台普顿：将否定纳入视觉逻辑：使用欧拉图的案例研究。视觉。语言计算。，187-194 (2007)
[22] Swoboda N.，Allwein，G.：使用包含命名常量和FOL的Euler/Venn图进行异构推理。电子。不是。西奥。计算。科学。134, 153-187 (2005) ·Zbl 1272.68381号
[23] 关于奇异命题的某些特殊性。《心灵》64，392-395（1955）
[24] 文恩·J：关于命题和推理的图解和机械表示。菲洛斯。《科学杂志》。序列号。5 10(59), 1-18 (1880) ·doi:10.1080/14786448008626877
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。