科学与逻辑方法论0710悖论课件教学讲义.pptVIP

在上面图示的集合中，“非自有”是总体性质。“红”尽管具有这种性质，但“红”的定义不必涉及这种总体性质。“善”、“诚实”等也是如此。但是，“非自有”的定义必须涉及这种总体性质。因此，根据恶性循环原则，“非自有”不能作为这个集合的分子。 恶性循环原则： 任何集合不能以自己作为分子。 ??x（x∈x） 分支类型论目标：恶性循环原则。 性质的“型”和“级” 性质的“型” 类型0：个体 ---- 这朵花 类型1：个体的性质 ---- 红 类型2：个体的性质的性质 ---- 鲜艳 … 类型n：个体的n－1类型的性质的性质 性质的“级” 在类型n的性质中（n＞1），如果某个性质的定义不要依据总体性质，则属于0级；某个性质的定义，如果要用到n级性质的总体性质，由属于n+1级。 罗素规定： 每一类型的性质只有当其使用于低于它的那个类型的对象时，才是有意义的。 每一级的性质只有当其使用于低于它的级别的性质时，才是有意义的。