论形式知识论的句法传统——以认知逻辑S5的合法性论争为例 | |
魏燕侠 ; 郑伟平 | |
2015-07-26 | |
关键词 | 形式知识论 句法传统 认知逻辑S5 语义进路 |
英文摘要 | 形式知识论的句法传统指的是在某个逻辑系统中通过句法演绎得出某些具有哲学直观意义的定理,并借助这些定理来讨论某些逻辑与哲学问题。辛梯卡、伦岑与拉尔森在不同时期所给出的反S5论证体现了这一传统。句法传统的缺陷在于它依赖于直观语义,具有不确定性,以及依靠句法演绎评价整个逻辑,具有不合理性。从形式语义学出发对S5作出评价的语义进路是一条正确之路。基于语义分析所进行的逻辑与哲学讨论正引起越来越多人的关注,成为形式知识论的主要研究内容之一。; 2013年国家社会科学基金青年项目“形式知识论研究”(13CZX052); 2011年国家社会科学基金青年项目“无信念的知识论研究”(11CZX045)资助 |
语种 | zh_CN |
内容类型 | 期刊论文 |
源URL | [http://dspace.xmu.edu.cn/handle/2288/118165] |
专题 | 人文学院-已发表论文 |
推荐引用方式 GB/T 7714 | 魏燕侠,郑伟平. 论形式知识论的句法传统——以认知逻辑S5的合法性论争为例[J],2015. |
APA | 魏燕侠,&郑伟平.(2015).论形式知识论的句法传统——以认知逻辑S5的合法性论争为例.. |
MLA | 魏燕侠,et al."论形式知识论的句法传统——以认知逻辑S5的合法性论争为例".(2015). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论