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