收藏本站
《重庆理工大学学报(社会科学)》 2018年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

反基础模型论解悖方法探析

赵鹏  
【摘要】:受情境语义学解悖方案的启发,巴威斯和莫斯把超集理论应用于模型论,构造了解悖的数学框架——反基础模型论。在此基础上,通过给语言L增加真谓词true,提出谎言定理。然后,以说谎者悖论、强化的说谎者悖论、佐丹卡片悖论为例,说明反基础模型论解悖方法的巧妙之处。此外,在反基础模型论的基础上,还可以通过给语言增加指派谓词,消解指称悖论。

【相似文献】
中国期刊全文数据库 前10条
1 王世强;格值模型论中的省略型定理[J];数学学报;1982年02期
2 应明生;;关于格值模型论中的条件(F′_1)和(F′_2)[J];江西师范大学学报(自然科学版);1991年04期
3 王宏强,王冰丽;一般原型—模型论的理论体系(Ⅰ)[J];河南科学;1996年04期
4 王宏强;一般原型—模型论的理论体系(Ⅴ)——在不同领域和学科中的应用研究进展[J];河南科学;1997年04期
5 王世强;一类具有Goldbach性质的可换环[J];科学通报;1981年18期
6 沈恩绍;E.c.结构与e-伴随[J];科学通报;1989年04期
7 王伟;;基于模型论的复杂性问题分析方法研究[J];电脑知识与技术;2012年14期
8 王宏强,孔靖,王冰丽;一般原型—模型论的理论体系(Ⅱ)[J];河南科学;1997年01期
9 朱昌杰;拓扑学在模型论中的一个应用[J];数学杂志;2003年03期
10 陈国龙;模型论中的拓扑学方法[J];数学学报;2002年04期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026