赵曼
- 作品数：8 被引量：12H指数：2
- 供职机构：中国社会科学院研究生院更多>>
- 发文基金：国家社会科学基金中国社会科学院青年科研启动基金更多>>
- 相关领域：哲学宗教自然科学总论文化科学更多>>
- 一阶谓词逻辑反驳演算自然推理系统被引量：2
- 2013年
- 反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。
- 杜国平赵曼
- 贝特朗悖论研究及其解悖方案被引量：2
- 2018年
- 贝特朗悖论是几何概率悖论。本文尝试性的对悖论产生的原因进行分析并构建解悖方案。给出正确的概率值为一个无限逼近于1/2的值,同时指出该悖论的三种经典方案给出的前提假设均是正确的,只是转化为计算方法时存在错误,指出了新的转化思路及算法,转化后使得另外两个思路下的概率值同样为一个趋近于1/2的值。同时用MATLAB对三种算法以及创新性的转化思路后的算法进行了模拟验证并给出计算模型的物理意义。本文的研究,对于贝特朗悖论研究的进一步发展提供了有益的借鉴。
- 赵曼
- 关键词：MATLAB
- 《墨经·小取》侔式刍议
- 2013年
- 侔式推理是一种由一个前提得出一个结论的简单推理形式,其基本方法是紧挨着前提的主、谓项前面粘附上一个相同的词语从而得出结论。侔式推理有四种类型,《墨经·小取》比较系统地研究了侔式推理各种有效的推理形式。据此可以说,古代中国不仅有逻辑思想,而且有逻辑学。
- 杜国平赵曼
- 逻辑学者的社会责任——提高国民逻辑素质的理论和实践探索
- 2014年
- 中华民族的复兴离不开国民素质的提高，而逻辑素质是国民素质的核心要素之一。开展提高国民逻辑素质的理论和实践研究是逻辑学者应该担当的社会责任。
- 杜国平赵曼
- 关键词：社会责任逻辑学者中华民族
- 逻辑语义学中的组合原则被引量：2
- 2014年
- 组合原则是逻辑语义学中的核心原则,对组合原则的恪守推动了逻辑语义学理论的不断改进。组合原则是实现语义可组合运算的基础,本文旨在澄清在贯彻组合原则的过程当中,需要加以注意的两组概念:复合表达式的组成部分及其意义;语义的函项运算。
- 张璐赵曼
- 无差别原则相关悖论多解的本质意义——以酒水悖论、贝特朗悖论为例被引量：2
- 2018年
- 酒水悖论和贝特朗悖论是与无差别原则相关的悖论。就无差别原则如何应用于悖论的每个算法的问题进行剖析,探讨无差别原则使用的合理性,以及悖论产生多解的本质原因与意义。在指出酒水悖论的错误在于运用无差别原则时前后没有统一基准后给予正确解答,阐述贝特朗悖论5个解的含义,指出其中3个经典解是在不同思路下正确地运用了无差别原则,其多解的本质原因并非是无差别原则的误用或滥用,而是确定前提和转化问题时出现分歧。理清这两个悖论产生多解的本质原因有助于巩固无差别原则作为逻辑解释确定初始概率基本原则的基础。
- 赵曼
- 逻辑学者的社会责任——提高国民逻辑素质的理论和实践探索被引量：5
- 2013年
- 中华民族的复兴离不开国民素质的提高,而逻辑素质是国民素质的核心要素之一。开展提高国民逻辑素质的理论和实践研究是逻辑学者应该担当的社会责任。欧美各国具有重视提高国民逻辑素质的理论和实践探索的传统,这成就了西方近现代科技数百年的辉煌;今天,欧美各国在如何提高国民逻辑素质的理论和实践方面已经形成了一整套完整的体系。在19世纪末20世纪初的民族存亡之际,我国一大批有识之士对提高国民的逻辑素质就有了极为充分的认识。但是,在提高国民逻辑素质的实践方面,则经历了一个曲折发展的历程。新世纪以来,如何提高国民逻辑素质的理论研究再次引起了国家和逻辑学者的高度重视,这为相关的实践探索提供了一个极好的机遇。
- 杜国平赵曼
- 关键词：逻辑社会责任
- 一阶谓词逻辑反驳演算自然推理系统
- 反驳各种逻辑谬误离不开对矛盾式的认识和理解.为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论.在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关...
- 杜国平赵曼
- 关键词：谓词逻辑
- 文献传递
