中央财经大学文化与传媒学院现代逻辑研究所
- 作品数：48 被引量：35H指数：3
- 相关作者：张立英袁正校戴细华关珠更多>>
- 相关机构：北京师范大学数学科学学院北京大学哲学系北京师范大学信息科学与技术学院更多>>
- 发文基金：国家社会科学基金教育部留学回国人员科研启动基金中财121人才工程青年博士发展基金更多>>
- 相关领域：哲学宗教文化科学经济管理理学更多>>
- 关于Fermat素数的Goldbach猜想及其它
- 2011年
- 用模型论方法证明一种加强形式的Goldbach猜想(加强在:只用Fermat素数,不用其它素数);并证明关于素数的一些结果.
- 王世强史璟
- 关键词：GOLDBACH猜想素数模型论
- 排除式CP定律的形式刻画
- 2015年
- 本文关注近年来在科学哲学等领域引起广泛关注和争议的CP定律的形式刻画。论文首先考察了CP定律的不同分类和用法,继而锁定排除式CP定律作为重点研究对象。论文对完成者方法、不变性和稳定性理论、趋向性理论和正常性解释进行了探究,同时,作为一种尝试,将逻辑学领域中对概称句的正常刻画引入CP定律的刻画之中,文末对刻画标准及这些方向进行了进一步的分析和比较。
- 张立英
- 关键词：非单调推理
- 逻辑理性:中西方文化的差异被引量：4
- 2008年
- 从逻辑的角度来讨论中西方文化的差异。认为中西方文化的差异在于西方从古希腊以来就有比较系统的逻辑学的研究,而在中国传统文化中就缺少这一基本的元素。逻辑学是一切科学的基础,而中国缺少逻辑学的研究,这就可以解释为什么近代中国的科学技术落后于西方。因此,要走向现代化、国际化的中国,有必要加强逻辑学的研究和教育,这是我国逻辑研究工作者的重要任务。
- 冉思伟
- 关键词：逻辑理性中国传统文化西方文化
- 逻辑系统中的语义博弈
- 用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及到的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,详细介绍了一阶逻辑、命题逻辑、模态逻辑中的语义博弈。
- 戴细华
- 关键词：逻辑博弈
- 文献传递
- 逻辑系统中的语义博弈
- 2008年
- 用博弈论方法研究逻辑是从一种动态的角度来研究逻辑的方法。目前将逻辑与博弈相结合进行研究所涉及的问题越来越广。本文考虑的是逻辑博弈中的方法之一——语义博弈,我们研究了命题逻辑、谓词逻辑、模态命题逻辑中的语义博弈,并且给出了语义博弈中参与者的必胜策略与真值表语义和Kripke语义下公式真假之间的关系。
- 戴细华
- 关键词：逻辑博弈
- 墨辩的社会功能——墨家社会思想与构建和谐社会
- 时期的墨辩是中国名辩学理论的高峰。墨辩是为墨家的社会政治伦理思想服务的。与儒家以“以德服人”的“王道”和法家。以力服人”的“霸道”不同，墨辩以“明同异之处，察名实之理”为手段，试图通过逻辑论证、“以理服人”的“谈辩”方式...
- 郭永良
- 关键词：墨辩社会功能和谐社会
- 我国最早讲几何学与三角学的书被引量：1
- 2010年
- 几何起源于古代的土地测量问题．在我国周代就有了“勾股定理”．后来经希腊人欧几里得（Euclid）的系统整理而成为理论严密的一门数学．这方面最早是由意大利传教士利玛窦（Metteo Ricci，1552—1610）传进我国，他和徐光启（1562-1633）合作中译为《几何原本》．
- 王世强史璟
- 关键词：几何学三角学《几何原本》欧几里得测量问题利玛窦
- 归纳推理的概称句解释被引量：3
- 2017年
- 要表达归纳推理结论的不确定性和刻画非单调的归纳推理,并非只能使用概率方法,用概称句和包含概称句的推理来刻画归纳推理是另一种可行且十分自然的方法。
- 张立英
- 关键词：非单调推理
- 金岳霖和中国的现代逻辑教学
- 20世纪20年代,中国逻辑学的一代宗师金岳霖先生在清华大学系统地讲授罗素和怀特海的《数学原理》中的现代逻辑,其讲义《逻辑》于1936年正式出版。金先生的《逻辑》一书和其它著作, 奠定了中国现代逻辑的基础,开辟了中国逻辑学...
- 袁正校
- 文献传递
- 关于现代逻辑教学中若干问题的思考被引量：9
- 2006年
- 在现代逻辑的教学中,我们已经获得了不少的经验,也有过不少教训。这些经验和教训可以概括为:应当坚定不移地走逻辑教学现代化之路;树立正确的逻辑观,促进逻辑教学的改革;构造简明易学的逻辑教学系统,普及现代逻辑的基本知识;强调逻辑学的应用,培养逻辑精神,突出逻辑学的社会功能。
- 袁正校
- 关键词：逻辑学逻辑教学
