【性质的分类原则﹡名词解释如下】
性质的分类原则名词解释：
分支类型论的思想原则之一.指英国数理逻辑学家罗素(Russell,B.A.W.)在他的分支类型论中对于性质,都要按照它所属的对象的类型加以分类.具体地,属于0类的是那些论域中对象的名称,如a;b;c;…;属于第1类的则是这些对象的性质,如f(a);g(b);h(a);…中的f;g;h;…;属于第2类的则是那些性质的性质,如F(f);G(f);H(g);…中的F,G,H,…;属于第3类的则是性质的性质的性质等.
罗素指出名词解释：
对于上述性质的类的划分,必须遵循下述一条基本原则(性质的分类原则)名词解释：
每一谓词(性质)都必须从属于一个确定的类,而且每一类的性质,只有当其使用于直次于它的那个类的对象时才是有意义的.因此,f(a),F(g),…是有意义的,但F(a),f(f),a(b),…都是无意义的.
免责声明：本文内容源于网友提供或网络搜集，仅供个人研究、交流学习使用，转载出于传递更多信息和学习之目的。如果您发现有涉嫌版权内容，请通知本站客服更改或删除。
相关阅读：
机械设计基础课件微观经济学试题
宏观经济学考试试题
自动控制原理课后答案
吉林师范大学职教部
二级建造师试题下载
河北大学公费研究生
新视野大学英语2答案
宏观经济学试题及答案
大学英语2课后答案
