类型理论是罗素为了解决悖论进而实现其逻辑主义理想而提出的理论。1903年，罗素在《数学原则》中提出简单类型论，对类、关系、数等进行类型划分，希望解决了罗素悖论。但是，由于存在简单类型论无法解决的命题悖论，罗素放弃了简单类型论。1903年到1908年间，罗素的主导思想是提出一种基于无类理论的悖论解决方案，但由于替代悖论的发现，使他放弃了这种思路。1908年，罗素以其《以类型论为基础的数理逻辑》一文回到了类型论，并在1910年的《数学原理》中进行详细阐述。这一时期的类型论被学者们称为“分支类型论”。分支类型论依据恶性循环原则，对命题函项做了阶的划分。但是，阶的划分导致了一些逻辑主义的困难与哲学困难...Theory of Types is a theory put forward by Russell, for the purpose of solving paradoxes, to achieve his logicism ideal. In 1903, Russell put forward Simple Theory of Types and divided classes, relations, numbers into different types in his The Principles of Mathematics. He hoped to solve Russell Paradox by this means. However, there are a proposition paradox which Simple Theory of Types cannot so...学位：哲学硕士院系专业：人文学院_逻辑学学号：1042014115232
