分支类型论
概述
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
2 扩展释义
分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
9 词语组词
相关词条
本词条最后更新于 2026-07-10 09:46:40
友情链接
抓书网
短词网
书号查询
星云网
狼狈不堪是什么意思？
女部是什么意思？
一箭双雕 拼音 yī jiàn shuāng diāo，一文读懂「一箭双雕」的含义、出处与用法。 yī jiàn shuāng diāo 通达词典 - 汉语词语查询大全 2026-06-30 15:41:26是什么意思？
龙珠（晋江）酒业贸易有限公司是什么意思？
查看广西天气-哈尔滨一周天气预报 查看广西天气 广西是什么意思？
抚顺天气预报30天是什么意思？
霜露之悲是什么意思？
查看山西天气-深圳天气预报 查看山西天气 山西是什么意思？
新疆雪豹是什么意思？
百家号是什么意思？
顺城天气预报30天是什么意思？
合肥天气预报30天是什么意思？
审计经理 (新职位)是什么意思？
王冰玉是什么意思？
查看云南天气-邯郸天气预报 查看云南天气 云南是什么意思？
南宁天气预报30天是什么意思？