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

摘要：

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

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

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金;国家社会科学基金

在线出版日期：2015-08-17（万方平台首次上网日期，不代表论文的发表时间）

页码：103-108