Expone la teoría de Russell sobre los tipos lógicos y analiza los siguientes temas: la naturaleza de las funciones proposicionales, define las nociones de verdad y de error, requerimientos de una función dada, la jerarquía de las funciones y las proposiciones, el axioma de reductibilidad, la teoría de clases
