This article is about Russell's foundational thesis on logic types, his principle of the vicious circle, the prepositional functions and their hierarchy, paradoxes and their solutions and also on some philosophical problems of the theory of logical types.