×
蒂莫·贝林格；汤马斯·辛德勒

语义悖论的图形理论分析。 （英语） 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，第4442-492号（2017年；兹bl 1437.03017）
全文： 内政部 链接

参考文献：

[1] AczelP.、。，归纳定义导论，《数理逻辑手册》（BarwiseJ.，编辑），北荷兰，阿姆斯特丹，1977年，第739-782页。
[2] 贝林格尔。和迅达。，参考图和语义悖论，《2015年逻辑年鉴》（ArazimP.和DancakM.，编辑），大学出版社，伦敦，2016年，第1-15页·Zbl 1423.03246号
[3] 博兰德尔T。，代理自省的逻辑理论，博士论文，信息学和数学建模（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] HerzbergerH.，《语义学中的基础悖论》。《哲学杂志》，第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页·兹比尔0952.03513
[14] LeitgebH.，真理取决于什么。《哲学逻辑杂志》，第34卷（2005年），第155-192.10.1007/s10992-004-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/1255526080页·Zbl 1193.03011号
[21] 亚布罗斯。，根基、依赖和悖论。《哲学逻辑杂志》，第11卷（1982年），第1期，第117-137.10.1007/BF000302341页·Zbl 0519.03019号
[22] 亚布罗斯。，没有自我参照的悖论。《分析》，第53卷（1993年），第251-252.10.1093/analys/53.4.251页·Zbl 0943.03565号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。