命题函项论文

从罗素的逻辑主义立场看他的类型论
论文摘要类型论是罗素逻辑主义和哲学思想发展的一个重要成果，是与其逻辑主义立场紧密联系在一起的。可以说，类型论是罗素为实现其逻辑主义梦想而产生的一个重要理论。本文从罗素的数学观入...