19世纪末,以康托尔集合论为基础的数学进入了快速发展时期,但是随着集合论悖论被发现,尤其是罗素悖论的发现,在学界引起一片哗然,震动了整个数学界。当时罗素正在研究逻辑与数学的关系的问题,即逻辑主义,集合论悖论导致这个研究被迫中断。为了实现逻辑主义,为了解决集合论悖论,罗素构建了类型论。罗素类型论是较早解决集合论悖论的方案,它通过区分有意义的类或命题的逻辑类型来解悖,不同逻辑类型不能混淆。命题、意义、类型是类型论的基本概念。因发表时间、解悖方式等不同,类型论分为简单类型论和分支类型论。简单类型论的解悖方式是类分层,即通过确定类的各自层次来避免产生悖论。分支类型论是在恶性循环原则这一解悖原则的基础上采用命题分阶和命题函项分阶的方式来解决悖论。前者是借命题变项来确定命题的阶和逻辑类型,从而避免逻辑矛盾;后者是在命题分阶的基础上,对命题函项分阶来确定命题的逻辑类型,从而解决悖论。分支类型论可以分析所有的性质命题和关系命题,弥补了简单类型论研究对象有限的缺点。罗素类型论不仅解决了集合论悖论,还对逻辑学、哲学的发展产生了重要的影响。在逻辑学方面,类型论对维护传统二值逻辑、解决语义悖论和发展逻辑主义发挥了积极作用。在哲学方面,它推动了分析哲学和语言哲学的兴起和发展。它也有局限,主要体现在有争议的“恶性循环原则”和“可化归性公理”。