论形式知识论的句法传统——以认知逻辑S5的合法性论争为例  

作　　者：魏燕侠[1] 郑伟平[2] 

机构地区：[1]华侨大学哲学与社会发展学院 [2]厦门大学哲学系

出　　处：《哲学动态》2015年第7期103-108,共6页Philosophical Trends

基　　金：2013年国家社会科学基金青年项目"形式知识论研究"(13CZX052);2011年国家社会科学基金青年项目"无信念的知识论研究"(11CZX045)资助

摘　　要：形式知识论的句法传统指的是在某个逻辑系统中通过句法演绎得出某些具有哲学直观意义的定理,并借助这些定理来讨论某些逻辑与哲学问题。辛梯卡、伦岑与拉尔森在不同时期所给出的反S5论证体现了这一传统。句法传统的缺陷在于它依赖于直观语义,具有不确定性,以及依靠句法演绎评价整个逻辑,具有不合理性。从形式语义学出发对S5作出评价的语义进路是一条正确之路。基于语义分析所进行的逻辑与哲学讨论正引起越来越多人的关注,成为形式知识论的主要研究内容之一。

关 键 词：形式知识论 句法传统 认知逻辑S5 语义进路 

分 类 号：B81[哲学宗教—逻辑学]