Este artículo expone tesis fundamentales de Russell con respecto a los tipos lógicos, el principio del círculo vicioso, las funciones proposicionales y su jerarquía, las paradojas y sus soluciones, así como algunos problemas filosóficos en torno a la teoría de los tipos.