论文部分内容阅读
形式语义学奠基人蒙太格在其语句系统中设置了两个初始类型：对应个体的类型e与对应真值的类型t。按照传统哲学的观点，专名指个体，但是在蒙太格的系统中，专名不直接解释成论域中的个体，它表示性质的集合，对应类型〈〈e，t〉，t〉。这样的类型匹配方式实现了专名与量化短语的统一处理，是蒙太格语法的独到之处，有着深刻的集合论基础。