类型论

---

(类型的层级) 形式(数理)逻辑的构造方法，被用来区分不同层次(类型)的对象；是从逻辑和集合论中排除悖论或二律背反的方法之一。

Э．施罗德首次发展了类型论，使之运用于类逻辑(1890年)。1908—1910年罗素创立了类型论的详细体系，并将其运用于谓词演算；该体系的意义在于按类型区分出：个体(类型1)、个体的属性(类型2)、属性的属性(类型3)等等；类型的内部则分成目。