章节
论形式知识论的句法传统
摘要
形式知识论的句法传统指的是在某个逻辑系统中通过句法演绎得出某些具有哲学直观意义的定理，并借助这些定理来讨论某些逻辑与哲学问题。辛梯卡、伦岑与拉尔森在不同时期给出的反S5论证体现了这一传统。句法传统的缺陷在于它依赖于直观语义，具有不确定性，以及依靠句法演绎评价整个逻辑，具有不合理性。从形式语义学出发对S5作出评价的语义进路是一条正确之路。基于语义分析所进行的逻辑与哲学讨论正引起越来越多人的关注，成为形式知识论的主要研究内容之一。
关键词
作者
检索正文关键字
章节目录
-
一 句法传统的形成与发展
- 1.辛梯卡的反S5论证
- 2.伦岑的反S5论证
- 3.拉尔森的反S5论证
-
二 句法传统的缺陷
- 1.直观语义具有不确定性
- 2.依据句法演绎评价逻辑系统具有不合理性
-
三 语义进路：一种全新的反S5论证
- 1.公共知识的S5模型
- 2.不可接受的语义后果
-
四 总结与辩护
- 1.语义进路较之句法传统的优点
- 2.针对若干反驳意见的辩护
相关文献
查看更多>>>