魏燕侠
- 作品数：21 被引量：21H指数：3
- 供职机构：华侨大学哲学与社会发展学院更多>>
- 发文基金：国家社会科学基金福建省社会科学规划项目教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教自然科学总论自动化与计算机技术文学更多>>
- 谓词抽象:一种新型语言辖域装置被引量：1
- 2012年
- 自然语言歧义所产生的哲学问题在语言哲学史上占据着重要位置。罗素的摹状词理论中包含着一种基于经典逻辑的语言辖域装置,它解决了"排中律失效"问题。作为一种基于量化模态逻辑的新型语言辖域装置,谓词抽象可以解决包括奎因的"指称晦暗语境"以及"信念之谜"在内的模态逻辑语境下的语言歧义问题。在问题的适用域上,谓词抽象优越于罗素的辖域装置。谓词抽象还有着广阔的哲学应用前景和进一步的研究价值。
- 魏燕侠
- 关键词：谓词抽象语言歧义摹状词
- 正规模态逻辑完全性理论研究综述
- 2007年
- 现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。
- 魏燕侠
- 关键词：模态逻辑逻辑学家语义解释可靠性
- 信念的目标是什么?被引量：2
- 2014年
- 信念目标论争是知识论学界的重大热点问题。"信念目标为真"主张被用以确证信念非意志主义,将信念同其他命题态度区分开来,并提供信念的真之规范,即一个信念是正确的当且仅当所相信的命题为真。"信念目标为知识"主张认为,通过信念与断定的平行性,人们必须:相信p仅当知道p。二元认知系统理论这一认知科学新成果支持了适度的"信念目标为知识"主张:"人们应当:相信p仅当知道p"。
- 魏燕侠郑伟平
- 国内模态逻辑哲学问题研究述评被引量：4
- 2007年
- 针对模态逻辑哲学的主要研究内容——模态逻辑和哲学的关系、模态逻辑的合法性论争、可能世界问题以及模态语境问题等,本文述评了国内学者陈波、张家龙等人的观点。笔者认为随着一些模态逻辑技术为国内学者所掌握,更多的模态逻辑哲学问题将会引发学界的讨论。
- 李娜魏燕侠
- 关键词：模态逻辑
- 谓词抽象及其作用被引量：2
- 2008年
- 李娜魏燕侠
- 关键词：模态逻辑谓词摹状词理论逻辑语言经典逻辑
- 老子逻辑思想浅议被引量：1
- 2006年
- 中国逻辑史专家对中国古代逻辑思想的研究主要集中于名家、儒家和墨家,却忽视了对道家,特别是对道家创始人老子的逻辑思想的挖掘。事实上老子作为中国先秦一位伟大的哲学家,其思想博大精深,在其言论与著作中已自觉不自觉地运用了逻辑思维和逻辑方法,来论证自己的观点,老子的逻辑思想主要体现在其著作《老子》一书中。
- 魏燕侠
- 关键词：《老子》传统逻辑辩证逻辑语言逻辑
- 对知识三元分析的柏拉图传统的辩护被引量：3
- 2015年
- 在分析知识论中,一个未曾被完善回答的重要理论问题是:知识论史上存在着知识三元分析的柏拉图传统吗?柏拉图首先提出了真信念加上第三要素构成知识这一问题;休谟认为恰当的信念构成了知识;康德则主张知识是有着客观充分性的信念;罗素强调知识与信念是种属关系,他更早地给出了葛梯尔型反例,并针对知识三元分析模式的缺陷提出了可能主义的解决方案。文章将分析知识论历史上溯到了柏拉图时期,沟通了知识的发生学研究与结构学研究之间的所谓"转变",实现了知识论与认识论的统一,奠定了葛梯尔问题的合法性基础。
- 魏燕侠
- 关键词：葛梯尔问题
- 模态HERBRAND定理研究
- Herbrand定理是经典逻辑中一条重要的元定理，它不仅为人工智能中的机器定理证明提供了理论基础，更可以成为哥德尔完全性定理的替代物;此外，Herbrand定理还被应用于可判定问题，并取得了成果。尽管Herbrand定理...
- 魏燕侠
- 关键词：模态逻辑哲学思想结构特征
- 文献传递
- 论形式知识论的句法传统——以认知逻辑S5的合法性论争为例被引量：3
- 2015年
- 形式知识论的句法传统指的是在某个逻辑系统中通过句法演绎得出某些具有哲学直观意义的定理,并借助这些定理来讨论某些逻辑与哲学问题。辛梯卡、伦岑与拉尔森在不同时期所给出的反S5论证体现了这一传统。句法传统的缺陷在于它依赖于直观语义,具有不确定性,以及依靠句法演绎评价整个逻辑,具有不合理性。从形式语义学出发对S5作出评价的语义进路是一条正确之路。基于语义分析所进行的逻辑与哲学讨论正引起越来越多人的关注,成为形式知识论的主要研究内容之一。
- 魏燕侠郑伟平
- 模态系统T的Herbrand定理
- 2011年
- 模态Herbrand定理研究是模态逻辑领域的重要开放问题。不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明。同样的方法还可以用来证明模态系统D、K4、S4的Herbrand定理。
- 魏燕侠
