共查询到20条相似文献，搜索用时 46 毫秒
1.
模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同.由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力. 相似文献
2.
江育奇 《广东教育学院学报》2006,26(5):52-54
蒋星耀先生的“悖论的统一模式定理”是近年来出现的一种新的解决悖论的方法,然而该定理的原作者在应用这一定理分析悖论逻辑问题时,却存在严重的逻辑缺陷,使得千百年来探求解决悖论方法的旅途中出现在我国上空的一线希望之光又被乌云遮住了.我们有必要对蒋星耀先生的“悖论的统一模式定理”及其分析悖论的方法再作进一步的讨论,并对理查德悖论、罗素悖论、说谎话悖论等悖论的成因提出新的分析方法. 相似文献
3.
在非自治二阶系统解得讨论中,通过将系统的约束空间分解为两个子空间的直和,利用子空间的特性,运用鞍点归约方法,先在子空间上寻找解,进而推广到约束空间上的解,得到了关于非自治二阶系统新的解的存在性定理。 相似文献
4.
熊明 《中山大学学报论丛》2010,3(1)
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征.本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片悖论证明塔斯基定理时,在并且仅在有向图中含有高度不能被4整除的循环时,佐丹卡片悖论才会导致矛盾,这表明当T-模式拓展到有向图时,哥德尔关于"认识论悖论"应用于不完全性证明的思想能够被非平庸地类推于真之不可定义性的证明中. 相似文献
5.
悖论是一种思维矛盾，它有自己的特定含义特征，但许多人对悖论的理解含混，把凡是出现矛盾的理论观点都当作悖论，这是不正确的，并非所有的思维矛盾都是悖论，悖论是实质，是一种特殊的逻辑矛盾，它不是辩证矛盾，正确理解悖论，应掌握悖论的基本特征。 相似文献
6.
李文健 《商丘师范学院学报》1991,(4)
悖论自古是逻辑学和教学当中的一大难题,悖论的实质问题则被公认为这一难题的关键。在处理这一关键问题时,人们往往将悖论与逻辑矛盾、辩证矛盾混同起来。许多人把悖论作为一种逻辑矛盾而力图排除于认识领域之外,还有人把悖论看作形式逻辑系统中的辩证矛盾来处理。他们仅从 相似文献
7.
潘海燕 《无锡教育学院学报》2003,23(4):90-92
从数学史的“三次危机” ,分析了数学中悖论的实质及其意义 ,由哥德尔不完备性定理论证了以数学为代表的形式化系统的功能和局限。悖论的文学化表述 ,有益于培养学生的学习兴趣 ,也有益于科学文化和人文文化的沟通 相似文献
8.
唐芳芳 《中山大学学报论丛》2009,2(3)
沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性. 相似文献
9.
<正> 一、对历史的回顾 二千多年来,人们一直认为每一数学理论总可以归结为一个逻辑演绎系统。在这个演绎系统中,以若干基本公理为生发点,依据逻辑规则推演出众多的数学定理,全部数学也就是公理和定理的集合。人们把其中的公理视为不证自明的真理,以这个真理为基础的逻辑推演结果——数学定理自然就被认为是正确的命题。对那些所谓不证自明的公理,在19世纪以前人们是确信无疑的。然而19世纪非欧几何的诞生,动摇了把公理当作不证自明的真理,开始了对数学基础的探究。经过数学家们的努力,终于把数学统一到集合论这个基础上了,一时人们认为数学的严格性已经完全达到。可是随后一系列的悖论相继出现,特别是1902年的 相似文献
10.
马佩 《河南师范大学学报(哲学社会科学版)》1999,(5)
本文共三个部分．第一部分进一步说明说谎者悖论和罗素悖论都是由于混淆了部分与整体的关系才形成的．并指出．“刘文”对这一观点的各种批评都是不能成立的。第二部分从三个方面论证了悖论是一种逻辑矛盾,并对“刘文”否定悖论是逻辑矛盾的全部论据进行了系统的反驳。第三部分指出停论不是辩证矛盾．并指出“刘文”所以认为悖论是辩证矛盾,是由于它既把一切认识都有其客观的辩证法基础和一个辩证命题具体地反映了事物的辩证矛盾相混淆,又把实际上是辩证命题（不是悖论）的所谓“量子悖论”、“伽利略悖论”和悖论相混淆。 相似文献
11.
肖旭 《内蒙古师范大学学报(哲学社会科学版)》2013,(1):42-44
作为詹姆斯?库珀所著《皮裹腿故事集》中最为知名的一部作品,《最后的莫西干人》描绘了18世纪中叶英法殖民者为了侵占美洲领土而展开的残酷掠夺.在小说中,主人公“鹰眼”和他的莫西干朋友钦加哥之间的友谊是作者描述的重点,而在1992年的电影版本中,导演描述的重点则转到了“鹰眼”与科拉的爱情上.《最后的莫西干人》从小说到电影的改编反映了文化背景的变迁. 相似文献
12.
目前,中国票据市场的发展仍处在初级阶段,社会信用制度及法律制度的不健全、票据市场的不统一、票据功能的不完善制约着票据业务的开拓。因此,只有从中国的国情出发,在继续大力发展具有真实商品交易的交易性票据业务的基础上探索融资性票据的发行,才能进一步完善中国的票据市场,有效地促进国民经济的发展。 相似文献
13.
试论CMO、LMO、PAO和VB之间的关系 总被引：1，自引：0，他引：1
离域分子轨道（CMO）、定域分子轨道（LMO）、杂化轨道（PAO）和价键法（VB）是结构化学的重要内容，本文通过CH4分子，对此之间关系进行较深入的讨论． 相似文献
14.
论共和末叶至帝国初期罗马对行省的治理 总被引：3，自引：0，他引：3
杨共乐 《北京师范大学学报(社会科学版)》2001,(2):76-84
行省是罗马对被征服地区及其居民实行统治的主要管理形式。它对于罗马国家的稳定和罗马经济的发展都起了非常显著的作用。然而 ,罗马对行省的治理并不是一成不变的 ,更不是没有缺陷的。它是时代发展的产物 ,同时又随着时代的变化而有所变化。共和末叶至帝国初期正是罗马行省管理由不成熟走向成熟的关键时期 ,对其加以研究不仅能够进一步加深我们对罗马行省制度的理解 ,而且对于我们更加深入地了解罗马历史的发展也有相当重要的意义 相似文献
15.
多年来,“减负”问题一直倍受我国广大学校、家庭和社会各界人士的关注,如何正确认识“减负”以及由此涉及到的个体素质教育成为焦点所在。从对“减负”问题的起始点、逆转点、落脚点等一系列分析中,我们不难看出,“减负”需要切实变革相关制度,充分发挥教师主导作用,借鉴赞科夫的教学原则。对全体中小学生实施个体素质结构教育。 相似文献
16.
大学中文系古代文学选修课程“《论语》导读”的核心目标是进一步培养学生全面、深入理解《论语》的阅读能力和对于传统文化的研究能力,追求教学内容的系统性与深度是它有别于高中语文选修课程“《论语》选读”的主要方面.为达此目标,教师在教学过程中应立足文本,注重教学内容的整体性、二元性与相关性. 相似文献
17.
在一个社会里,只要存在阶级,就会存在阶级矛盾,它表现为利益双方的相互对立和依存.利益对立导致双方矛盾不可调和,便发生社会冲突,从而造成巨大的社会动荡;而利益依存凸显了矛盾双方合作的必要,双方可在一定的社会条件下以自己合法的方式获取自己的利益,双方相伴相生,相互依存,这就是阶级整合. 因此,阶级整合的关键就是要找到对立的边线--矛盾双方共同一致的利益,并随双方力量的消长而不断调整政策以适应边线的移动,这个边线就是构建和谐社会的基点. 相似文献
18.
陈凤贞 《湖南广播电视大学学报》2008,(3):82-84
我国《物权法》对遗失物权属的规定排除了拾得人取得遗失物之所有权可能。建立拾得人附条件取得遗失物所有权规则是权利与义务一致的要求,是公平与效率相协调的要求,在实践中应该依照过错与价值原则确定拾得人遗失物所有权。 相似文献
19.
20.
李森 《佳木斯教育学院学报》2013,(7)
世界上的事物都能体现真、善、美这三种价值,而人类的心理则存在着求知、立志和追求美好这样的三种心理活动,体现在教学中,占用了德、智、体、美、劳,"五育"中的三项,智育、德育及美育。教育的功用实际上就在于顺应人类的天性,促进人的发展以实现美好的生活和愿望。 相似文献