典型文献
罗素类型论的一种唯名论解释
文献摘要：
对于罗素类型论中阶序与类型划分的起源与本质,学界主流的实在论解释主张,阶序与类型划分了不同的命题函项,使之对应于不同层级的实体.但这种解释导致量化规则失效和命题函项歧义.近年来,罗素1903-1908年间手稿的面世为重新审视类型论提供了契机.基于非受限变元原则和语义内嵌方法,类型论的唯名论解释认为,阶序与类型是对变元的划分,是反映变元内在结构的句法标记,谓词变元派生于个体变元.唯名论解释实现了罗素逻辑思想的统一性,体现了逻辑作为普遍科学的理念.
文献关键词：
类型论;命题函项;唯名论解释;逻辑主义
中图分类号：
作者姓名：
林静霞
作者机构：
汕头大学马克思主义学院
文献出处：
引用格式：
[1]林静霞-.罗素类型论的一种唯名论解释)[J].哲学研究,2022(06):117-125
A类：
唯名论解释,命题函项,谓词变元,个体变元
B类：
罗素,类型论,类型划分,实在论,应于,量化规则,规则失效,歧义,手稿,面世,义内,内嵌,内在结构,句法,派生,逻辑思想,统一性,逻辑主义
AB值：
0.291623
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
