Yablo-like paradoxes and co-induction

Yablo-like paradoxes and co-induction
复制标题

类似 Yablo 的悖论和共归纳

DOI：
10.1007/978-3-642-25655-4_8
复制
发表时间：
2011
期刊：
New Frontiers in Artificial Intelligence(Springer Lecture Notes in Computer Science)
影响因子：
--
通讯作者：
Shunsuke Yatabe
Shunsuke Yatabe
中科院分区：
--
文献类型：
--
作者：
Takashi Kitamura;Ngoc Thi Bich Do;Hitoshi Ohsaki;Ling Fang;and Shunsuke Yatabe;村上祐子;村上祐子;矢田部俊介;Shunsuke Yatabe;Shunsuke Yatabe

文献摘要

相似文献

我们回顾了三个两两相似的悖论，即谦虚的说谎者悖论、McGee悖论和Yablo悖论，它们暗示了ω-不一致。由于真值谓词的存在，公式的共归纳定义是可能的。
We review three pairwise similar paradoxes, the modest liar paradox, McGee’s paradox and Yablo’s paradox, which imply theω-inconsistency. We show that is caused by the fact that co-inductive definitions of formulae are possible because of the existence of the truth predicate.