蒂莫·贝林格;汤马斯·辛德勒 语义悖论的图形理论分析。 (英语) Zbl 1437.03017号 牛市。符号。日志。 23,第4期,442-492(2017). 说谎者悖论和亚布罗悖论是语义悖论,由引用(其他)句子真值的句子组成。一般来说,这样的句子集可以用有向图来表示。这种图形表示的细节取决于使用的语言。问题是这样的设置何时是矛盾的。《使用命题逻辑的语言》(Log.Anal.,Nouv.Sér.45,No.177–178,15–30,2002;Zbl 1061.03010号)]T·B·乔格林等表明,对图形的结构分析表明,只有在两种情况下才会出现矛盾。在有限集合中,它需要类Liar-like自相关循环,在无限集合中,Yablo-like结构是必要的。在本文中,作者得出了相同的结论。然而,他们的方法更通用、更正式。尤其是他们在语言中包含命题常量意味着一个重要的概括。审核人:Teun Koetsier(阿姆斯特丹) 引用于12文件 MSC公司: 03A05号 逻辑和基础的哲学和批判性方面 03B10号机组 经典一阶逻辑 05C20号 有向图(有向图),比赛 关键词:说谎者悖论;图论;真理理论;自我参照;雅布洛悖论 引文:Zbl 1061.03010号 PDF格式BibTeX公司 XML格式引用 \textit{T.Beringer}和\textit{T.Schindler},公牛。符号。日志。23,第4号,442--492(2017;Zbl 1437.03017) 全文: 内政部 链接 参考文献: [1] AczelP.、。,归纳定义简介,《数学逻辑手册》(BarwiseJ.,编辑),荷兰北部,阿姆斯特丹,1977年,第739-782页。 [2] 贝林格尔。和迅达。,参考图和语义悖论,《2015年逻辑年鉴》(ArazimP.和DancakM.,编辑),大学出版社,伦敦,2016年,第1-15页·Zbl 1423.03246号 [3] 博兰德。,代理自省的逻辑理论,博士论文,信息学和数学建模(IMM),丹麦技术大学,2003年。 [4] 坎蒂尼亚。,形式真值理论在算术上等价于ID_1。《符号逻辑杂志》,第55卷(1990年),第244-259.10.2307/2274965页·Zbl 0713.03029号 [5] 厨师。T,悖论模式。《符号逻辑杂志》,第69卷(2004年),第3期,第767-774.10.2178/jsl/1096901765页·Zbl 1070.03003号 [6] 厨师。T.,《亚布罗悖论:循环论论文》,牛津大学出版社,牛津,2014年·Zbl 1295.00020号 [7] 迪斯特尔。,《图论》,斯普林格,海德堡,1997年·Zbl 0873.05001号 [8] DyrkolbotnS公司。和WalickiM。,命题话语逻辑。《综合》,第191卷(2014年),第863-899.10.1007/s11229-013-0297-x页·Zbl 1310.03040号 [9] 盖夫曼。,指向真理的指针。《哲学杂志》,第89卷(1992年),第223-261.10.2307/2027167页 [10] 赫兹伯格,《语义基础的悖论》。《哲学杂志》,第67卷(1970年),第145-167.10.2307/2023885页 [11] HerzbergerH.G.,朴素语义注释。《哲学逻辑杂志》,第11卷(1982年),第61-102.10.1007/BF00302339页·Zbl 0513.03003号 [12] 乔格林T。B.、KoetsierT.、。,和瓦特尔。,有限和无限悖论中的自我参照。《逻辑与分析》,第45卷(2002年),第15-30页·Zbl 1061.03010号 [13] 克里普克斯。,真理理论大纲。《哲学杂志》,第72卷(1975年),第690-716.10.2307/2024634页·Zbl 0952.03513号 [14] LeitgebH.,真理取决于什么。《哲学逻辑杂志》,第34卷(2005年),第155-192.10.1007/s10992-04-3758-3页·邮编1097.03005 [15] 草地。,真理、依赖和超值:与鬼魂一起生活。《哲学逻辑杂志》,第42卷(2013年),第221-240.10007/s10992-011-9219-x页·Zbl 1309.03005号 [16] 拉伯恩。,拉伯恩B。,和麦考利。,危险的参考图和语义悖论。《哲学逻辑杂志》,第42卷(2013),第5期,第727-765.10.1007/s10992-012-9246-2页·Zbl 1328.03005号 [17] 迅达。,根深蒂固的真理的公理。《符号逻辑评论》,第7卷(2014),第73-83.10.1017/S1755020313000282页·Zbl 1329.03024号 [18] 迅达。,无类型真理,博士论文,路德维希·马克西米利安-慕尼黑大学,2015年。 [19] WalickiM。,参考、悖论和真理。《综合》,第171卷(2009年),第195-226.10.1007/s11229-008-9392-9页·Zbl 1193.03010号 [20] 韦尔奇出版社。,真相游戏。《符号逻辑杂志》,第15卷(2009年),第4期,第410-427.10.2178/bsl/12255526080页·Zbl 1193.03011号 [21] 亚布罗斯。,根基、依赖和悖论。《哲学逻辑杂志》,第11卷(1982年),第1期,第117-137.10.1007/BF00302341页·Zbl 0519.03019号 [22] 亚布罗斯。,没有自我参照的悖论。《分析》,第53卷(1993年),第251-252.10.1093/analys/53.4.251页·Zbl 0943.03565号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。