摘要
对于罗素类型论中阶序与类型划分的起源与本质,学界主流的实在论解释主张,阶序与类型划分了不同的命题函项,使之对应于不同层级的实体。但这种解释导致量化规则失效和命题函项歧义。近年来,罗素1903—1908年间手稿的面世为重新审视类型论提供了契机。基于非受限变元原则和语义内嵌方法,类型论的唯名论解释认为,阶序与类型是对变元的划分,是反映变元内在结构的句法标记,谓词变元派生于个体变元。唯名论解释实现了罗素逻辑思想的统一性,体现了逻辑作为普遍科学的理念。
出处
《哲学研究》
CSSCI
北大核心
2022年第6期117-125,共9页
Philosophical Research
基金
国家社会科学基金重大项目“广义逻辑悖论的历史发展、理论前沿与跨学科应用研究”(编号18ZDA031)的阶段性成果。
