罗素类型论的一种唯名论解释

摘要：

对于罗素类型论中阶序与类型划分的起源与本质,学界主流的实在论解释主张,阶序与类型划分了不同的命题函项,使之对应于不同层级的实体.但这种解释导致量化规则失效和命题函项歧义.近年来,罗素1903-1908年间手稿的面世为重新审视类型论提供了契机.基于非受限变元原则和语义内嵌方法,类型论的唯名论解释认为,阶序与类型是对变元的划分,是反映变元内在结构的句法标记,谓词变元派生于个体变元.唯名论解释实现了罗素逻辑思想的统一性,体现了逻辑作为普遍科学的理念.

关键词：类型论、命题函项、唯名论解释、逻辑主义

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

资助基金：国家社会科学基金18ZDA031

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

页数：共9页

页码：117-125