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

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