语义悖论研究的新思路——情境语义学解悖方案探析

来源 :第二届两岸逻辑教学学术会议 | 被引量 : 0次 | 上传用户:jane_89
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
已有解悖方案的思路及不足自古老的说谎者悖论提出后,两千年来有关悖论的研究文献可谓汗牛充栋。特别是20世纪以来,罗素、塔尔斯基、克里普克等对悖论问题的关注,更进一步深化了人们的认识。 但众所周知,无论罗素的类型论方案、塔尔斯基的语言层次理论,还是克里普克的真值间隙论方案均没能合理地解决悖论问题。罗素的类型论方案试图通过对“自指”的限定来消解说谎者悖论,被认为是“用大炮打苍蝇,苍蝇虽然死了,但毁灭的东西也太多!”塔尔斯基试图通过给语言分层的方法来解决说谎者悖论,但“特设性”的指责却无法逃避。克里普克的方案最致命的弱点是“刚逃出油锅又进入火坑”——被看作“语义学黑洞”的强化的说谎者悖论的出现,无情地宣告了它的失败。
其他文献
这是一个沉重的话题。中国大陆自上个世纪七十年代末改革开放以来,发展很快,成绩很大,在全世界都是有目共睹的。各种媒体上的颂扬之声很多,对我国的传统文化也如此,肯定得很多。
张东荪先生通过分析中西“理”在起源、含义、获得方法的不同,论述了逻辑在理性主义的形成、社会理性的发展及文明进步中的不可替代的深层价值,这对推动逻辑事业在中国的发展具
通常都认为,康托-策墨罗(Cantor—Zermelo)在古典与近代集合论中完全贯彻了实无穷观点,而柯西——外尔斯特拉斯(Cauchy—Weierstrass)却在极限论中完全贯彻潜无穷观点。但当我们
本文以科斯塔弗协调逻辑系统的技术处理为依据来分析命题A与其弗协调否定-A之间的逻辑关系、弗协调矛盾和不矛盾律与经典逻辑矛盾和不矛盾律的差别;指出科斯塔弗协调逻辑不是
本文证明了:对于最大亏度为k的量化布尔公式,如果它是真的,则存存集合U,其中含有不超过24k/3个全称变元,且存存模型M,其中每一个布尔函数都可表示为U上的命题公式。也就是说,这样的
本文提出一个新的逻辑系统——自由模态的摹状词理论Lk,指出了该逻辑的理论背景,给出了它的语法系统及相应的语义解释。不仅证明了Lk的可靠性,还采取力迫法,通过构造力迫模型,给出
“知道者悖论”既涉及认知推理,也涉及主体间的策略性互动。传统的分析侧重于认知概念和认知推理的形式特征,忽视了认知、理性和行动三者之间的关联。本文以“突击考试”为例,指
哲学对象论有四对基本矛盾大范畴——在者或非在者(在者的外在矛盾);正者与反者(在者的内在矛盾);存在或非在(存在的外在矛盾);实在与应在(存在的内在矛盾)。基于此,引出了在
方法论取向是逻辑悖论研究未来工作的新取向。这一取向主要研究和解决四个层面的问题,即总结和概括逻辑悖论研究中的具体方法,形成一般悖论方法论;以悖论方法论为基点,建构演绎
经典离散数学是由计算机科学中要用到的、相互之间没有什么联系的数学分支如数理逻辑、集合论、抽象代数、图论所组成;周氏离散数学是与经典离散数学不同的离散数学。周氏离