绑定机构
扫描成功 请在APP上操作
打开万方数据APP,点击右上角"扫一扫",扫描二维码即可将您登录的个人账号与机构账号绑定,绑定后您可在APP上享有机构权限,如需更换机构账号,可到个人中心解绑。
欢迎的朋友
万方知识发现服务平台
获取范围
  • 1 / 1
  (已选择0条) 清除 结果分析
找到 10 条结果
摘要:石永进与李建华二位同志在本刊2010年第2期发表了对我们"几乎一切Mersene数与Fermat数都是素数"一文的质疑.二位同志的质疑精神是很好的!二位是从事素数研究的工作者,上文中还提供了很多具体数据,这会受到读者的欢迎!我们更欢迎!...
摘要:在本文中,我们用模型论方法证明:几乎一切Mersenne数与Fermat数都是素数....
摘要:在本文中,我们用模型论方法证明了:存在一个Peano公理组的模型,在其中3x+1猜想不成立.从而可知:不可能只用Peano公理组证明3x+1猜想....
摘要:非良基集合论是研究循环的或超常集合的理论.近30年来,非良基集理论的研究取得了长足的发展.文章首先剖析经典的ZFC公理集合论在解决循环问题上的局限性,然后介绍非良基集产生的理论背景、历史及研究现状,最后透析非良基集理论的最新研究成果及在哲学、逻辑学、语言学和理论计算机科学中处理循环现象的作用,阐明非良基集理论在现代科学中的应用前景....
摘要:情境语义学是20世纪80年代出现的一种新型语义理论,它的创始人是美国逻辑学家Barwise和语言学家John Perry.1981年,Barwise在文章中第一次使用"情境语义"一词.1983年,他俩合作出版了一书,标志着情境语义学的正式诞生.情境语义学研究涉及语言学、哲学、逻辑学、计算机信息科学和认知心理学等领域,并在20世纪90年代发展迅猛.本文将从以下四个方面评述该理论研究的主要内容....
[期刊论文] 李娜 史璟
-
CSTPCD CSSCI 北大核心
-
摘要:我们从两方面介绍集合论的反基础公理(AFA)以及非良基集合的广泛应用.一方面,根据阿克采尔(P.Aczel)的思想,集合可以看做是可达点图,在这个意义上,AFA是说每个图都有唯一的装饰;由此,每个集合都有一个典范图.另一方面,根据巴威斯(J.Barwise)等人的思想,集合可以看做是方程组的解,在这个意义上,AFA是说每个方程组都有唯一的解....
[博士论文] 史璟
逻辑学 南开大学 2009(学位年度)
摘要:在策梅洛-弗兰克尔的集合论公理系统ZF中,基础公理把集合的论域限制到良基集合。因此,不存在属于关系的无穷降链,也不存在属于自身的集合。1989年阿克采尔创立了非良基集合理论,引入反基础公理AFA替换ZF中的基础公理FA,从而得到非良基集合论系统ZFA。由于非良基集合可以用来构造循环现象的模型,而这些循环现象都不能用经典集合论来描述,因此,它们在哲学、经济学、模态逻辑、语言学以及理论计算机科学中具有十分广阔的应用前景。接受非良基集合并发展非良基集理论具有重要的理论意义和应用价值。
   本文研究非良基集合与模态逻辑的关系,在模态逻辑的集合论语义下探讨了一些重要的语义概念,进而研究了集合(模型)的构造、可定义性等等模型论问题。概括说来,本文的主要工作包括以下三个方面:
   第一,梳理了非良基集合论的理论背景、发展历史和研究现状,介绍了非良基集合在众多研究领域的广泛应用。
   第二,根据阿克采尔和巴威斯等人的观点,阐述了非良基集合的基本理论,从集合与图的关系和方程组的解两个方面引入反基础公理,保证非良基集合的存在性。接着,引入两个重要的概念。一个概念是本元,它既不是集合也不是类,但可以作为集合的元素。把本元引入图的装饰,便得到加标图。另一个概念是集合上的互模拟关系,它用于判定两个非良基集合相等。
   第三,在集合论语义下重新研究模态逻辑。本文探讨了框架、模型和集合之间的联系,然后研究集合的构造以及模态可定义性问题,并且将基本模态语言翻译到经典(一阶或二阶)集合论语言。本文还引入了集合之间的互模拟关系和方程组之间的互模拟,进而研究加标图上的互模拟与模态等价之间的关系。最后,在集合论语义下重新研究模态逻辑的一些元逻辑性质。
   本文的主要创造性工作在于:
   第一,在模态逻辑的集合论语义下,定义了集合之间的一些非标准运算,包括不交并、生成子集合、p-态射、树展开等,并证明了模态公式在这些运算下的保持或不变结果。
   第二,把基本模态语言翻译到经典集合论语言,并且证明了语义上的对应结果,初步探讨了范·本特姆类型的刻画定理。
   第三,在模态逻辑的集合论语义下,研究可定义性理论。本文重点研究了如何使用集合类对模态公式进行分类,从模态逻辑T的特征公式出发,把分类结果推广到其它模态逻辑的特征公式,包括模态逻辑KD、K4、KB、K5和GL的特征公式等等。
   第四,使用图和加标图等语义结构,初步研究了模态逻辑系统的元逻辑性质,主要包括正规模态逻辑的完全性、有穷加标图性质和可判定性质。本文还尝试使用纯集合和含有本元的集合直接研究这些元逻辑性质。
   目前,我国逻辑学界对非良基集合论及其应用的研究几乎还是一片空白,尚处起步阶段。在这方面,本文研究工作的意义是,在借鉴和吸纳国外研究成果的基础上,把非良基集合与模态逻辑相结合的研究成果引进、介绍到国内。更重要的是,本文在非良基集合论语义下重新研究了模态逻辑,解决了一些模型论问题,这有利于促进各个逻辑分支的共同发展,更大程度地发挥逻辑学的工具性作用。我认为,模态逻辑与非良基集合论的结合是一个具有深厚理论意义和应用价值的研究方向。
  (已选择0条) 清除
公   告

北京万方数据股份有限公司在天猫、京东开具唯一官方授权的直营店铺:

1、天猫--万方数据教育专营店

2、京东--万方数据官方旗舰店

敬请广大用户关注、支持!查看详情

手机版

万方数据知识服务平台 扫码关注微信公众号

万方选题

学术圈
实名学术社交
订阅
收藏
快速查看收藏过的文献
客服
服务
回到
顶部