余俊伟
- 作品数：34 被引量：45H指数：4
- 供职机构：中国人民大学哲学院更多>>
- 发文基金：国家社会科学基金中国人民大学科学研究基金教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教理学语言文字文化科学更多>>
- 弗协调逻辑的哲学解读被引量：2
- 2004年
- “弗协调逻辑”(paraconsistent logic)，又译作“次协调逻辑”、“超协调逻辑”，是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。
- 余俊伟
- 关键词：弗协调逻辑次协调逻辑哲学解读逻辑理论非经典逻辑
- 弗协调命题逻辑C_n的判定性问题被引量：1
- 2008年
- 弗协调逻辑,又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出弗协调逻辑的代表系统Cn的可判定方法存在漏洞,并给出了一个修正办法。
- 余俊伟
- 关键词：弗协调逻辑可判定性
- 什么是弗协调逻辑?被引量：1
- 2001年
- 20世纪 6 0年代 ,经典逻辑发展相对停滞 ,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后 ,人们对经典逻辑发起挑战 ,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时 ,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统 ,于是我们可得出结论
- 余俊伟
- 关键词：经典逻辑弗协调逻辑非经典逻辑
- 充分条件与实质蕴涵辨析
- ＜正＞实质蕴涵不是对充分条件的逻辑抽象。充分条件表达的首先是概念间的一种关系而非命题（思想）间的关系;它的逻辑抽象是量词加实质蕴涵。人们对"如果…那么…"的两种用法有很大的混淆,借助弗雷格的概念理论及罗素的一些观念可彻底...
- 余俊伟
- 文献传递
- 弗协调真值道义逻辑分析
- 《哲学研究》2003年第一期发表了拙作《一个弗协调真值道义逻辑系统》(下面简称《系统》),该文构造了一个弗协调真值道义逻辑CnMG’,由于篇幅所限,当时只给出了CnMG’的语法与语义,证明了其可靠性和完全性,而没有再做进...
- 余俊伟
- 文献传递
- 摹略万物之然,论求群言之比——模态逻辑新观念述评被引量：4
- 2005年
- 刘新文余俊伟
- 关键词：模态逻辑语言学
- 否定邻域语义学的经典逻辑上的公理系统
- 作者在Negations from the perspective of neighborhood semantics中提出了一种邻域框架,与它匹配的是基于sequents上的一种演绎系统。本报告为该语义找到了一个基于经...
- 余俊伟
- 文献传递
- 经典逻辑视野下的非经典否定被引量：1
- 2010年
- 余俊伟
- 关键词：逻辑视野否定说弗协调逻辑直觉主义逻辑经典逻辑
- 从弗雷格的文本评析黑尔与赖特的新弗雷格主义
- 2013年
- 弗雷格的逻辑主义欲以逻辑作为算术之基础。《算术基本规律》采用公理系统实现他的计划,但其系统导致罗素悖论,弗雷格认为原因是第五条公理,并最终承认计划失败。自1960年代起一些逻辑学家致力于挽救弗雷格的计划,被称为新弗雷格主义。代表人物黑尔(Hale B.)和赖特(Wright C.)认为,我们可通过放弃第五条公理,将该公理的后承休谟原理直接作为公理而达到弗雷格的目的。大量的文献证据,特别是凯撒问题与弗雷格定理表明,黑尔和赖特的路线不符合弗雷格的理论主旨。
- 余俊伟
- 关键词：数学基础
- 弗雷格论条件与普遍性被引量：4
- 2010年
- 弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。他强调"对于思想只应该考虑它是真的还是假的,而实际上根本不应该考虑思想内容本身",否则,要么将问题复杂化而无实际益处;要么前后件不是真正的句子。后一情形乃是使概念或关系联系起来,融合了普遍性与实质蕴涵。这也正是充分条件的表达方式。相干逻辑欲借助前后件共享命题变元来体现二者在内容及意义上的联系。一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。
- 余俊伟
- 关键词：因果联系
