刘新文
- 作品数：92 被引量：63H指数：4
- 供职机构：中国社会科学院哲学研究所更多>>
- 发文基金：国家社会科学基金中国社会科学院重大课题教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教文化科学理学语言文字更多>>
- 从三段论扩充到命题逻辑
- 2013年
- 以罗伯特.范.罗伊的工作为基础,展示如何通过形式化的方法把三段论逻辑扩充到全部命题逻辑。文中将依次给出按现代逻辑标准形式化的三个逻辑:亚里士多德的三段论逻辑SYL,引入否定词项等之后的扩充系统SYL+,最终得到从三段论逻辑扩充而来的命题逻辑SYL+PL。
- 张立英刘新文
- 关键词：三段论命题逻辑
- 2016年逻辑学研究进展
- 2017年
- 2016年逻辑学的主要成果集中在哲学逻辑这一研究领域中。哲学逻辑是使用逻辑学方法,特别是模态逻辑中的技术手段处理哲学问题而形成的一类逻辑分支,包括知识逻辑(epistemic logic)、信念逻辑(doxastic logic)、道义逻辑(deontic logic)等。除此之外,对经典逻辑问题的重新讨论和商榷以及对重要历史人物的成果梳理,也是2016年逻辑学研究中的重要内容。
- 贾青刘新文
- 关键词：逻辑学研究哲学逻辑道义逻辑模态逻辑经典逻辑知识逻辑
- 编者导语
- 2015年
- 现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的＂数理逻辑黄金时代＂和70年代的＂哲学逻辑黄金时代＂。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类型论;一阶逻辑成为大写的逻辑（the logic）则要等到40年代。逻辑通常被视为对推理的研究，对于一个命题或一个推论，最高等级的正确性即为“逻辑有效性”。
- 刘新文
- 关键词：类型论哲学逻辑皮尔士一阶逻辑逻辑形式相干逻辑
- “逻辑之门”学术研讨会综述
- 2010年
- 2010年5月22—23日，由清华大学哲学系和中国社会科学院哲学所逻辑研究室合作主办的“‘逻辑之门’学术研讨会”在清华大学召开，来自荷兰、新西兰、日本、芬兰等国、国内15所高校和科研院所以及荷兰驻华大使馆共40余位各个专业的专家学者参加了本次会议。
- 王磊刘新文
- 关键词：逻辑驻华大使馆专家学者
- 论逻辑图的表达能力
- 2012年
- 随着新句法机制的引入,逻辑图的表达能力不断得到提高:文恩图在表达能力上等价于不带等词的一元一阶逻辑,蜘蛛图等价于带等词的一元一阶逻辑,而建立在约束图基础上的"可视一阶逻辑"被证明具有一阶谓词逻辑的表达能力。研究逻辑图表达能力的一个重要意义在于,图式逻辑可能有望为一阶逻辑产生重要的可判定片段。
- 刘新文
- 关键词：约束图
- 简论张清宇的证伪系统
- 2017年
- 国内第一个以形式化方法建立起矛盾命题(或者说恒假命题)形式系统的是张清宇研究员。结合20世纪八九十年代逻辑发展的背景,研究张清宇当时提出的"证伪系统"概念和相关工作的学术来源,并给出初步的评价。
- 刘新文
- 关键词：排斥
- 核证逻辑视野中的葛梯尔反例
- 2012年
- 概述核证逻辑是用来分析葛梯尔反例所用到的原理,由此而得出的一些初步结论:葛梯尔推理在形式上是正确的,它属于处理部分核证的核证逻辑领域,但是与事实性核证和知识的核证逻辑系统不协调。目的在于向国内同行介绍核证逻辑这一新兴逻辑分支及其在哲学中的应用。
- 刘新文
- 关键词：葛梯尔反例
- 逻辑基础问题(中)被引量：5
- 2017年
- 运用本文第一部分新建立起来的方法论,我在本文第二部分为逻辑构造了一个基础。我的出发点是逻辑在人类知识中所执行的任务。为了完成这一任务,逻辑必须满足强大的正确性要求,由此,它必须既建基于人类心灵之中也建基于世界之中。但是逻辑又不能建基于世界的任何事物之中;它必须建基于世界的某一方面,这个方面强大到足以支撑关于逻辑后承(逻辑地从什么得出什么)的断言。我对这个问题的解决办法是把逻辑建基于一种特别强的法则类型即"形式"法则之中。我证明,由于这些法则的特别强大的"不变性"程度这个特征,它们足够强大到为逻辑提供基础,然后我解释了逻辑是如何建基于这样的法则之中的。这个基础包含着形式性的一个标准以及基于这个标准而为逻辑常项提出的一个标准——逻辑常项是逻辑真和逻辑后承的"引擎"。
- G.谢尔刘新文
- 关键词：逻辑性
- 逻辑谜题的逻辑
- 2016年
- 美国逻辑学家斯穆里安的逻辑谜题系列著作是普及现代数理逻辑知识的著名作品,本文首先介绍了斯穆里安本人提出的一套"亚瑟与伯纳德谜题"的解答方法,然后从模态命题逻辑角度提出了一种一般解答方案并举例说明了该方案。
- 刘新文
- 关键词：命题逻辑模态逻辑
- 皮尔士存在图的形式推演系统
- 2011年
- 现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图三个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。
- 刘新文
