词语繁体：分支類型論
词语读音：fēn zhī lèi xíng lùn
首字拼音：Fen
词语拼音：fen zhi lei xing lun
词语简拼：FZLXL
词语字数：五字词语
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
【分的意思】：分 fēn（ㄈㄣ） （一）、区划开：分开。划分。分野（划分的范围）。分界。分明。条分缕析。分解。（二 详情>
【支的意思】：支 zhī（ㄓ） （一）、撑持，伸出，竖起：支撑。支援。体力不支。（二）、受得住：乐不可支。（三）、 详情>
【类的意思】：类（類） lèi（ㄌㄟˋ） （一）、很多相似事物的综合：种类。类群。类别。类书。分类。人类。（二）、 详情>
【型的意思】：型 xíng（ㄒ一ㄥˊ） （一）、铸造器物用的模子：砂型。型砂（制造砂型的材料）。（二）、样式：类型 详情>
【论的意思】：论（論） lùn（ㄌㄨㄣˋ） （一）、分析判断事物的道理：论断。论点。论辩。论据。论者。议论。讨论。 详情>
友情链接：姓名测试