查询词典 classical logic

Its"classical framework"has been shaped in The struggle for recognition: intersubjects has three recognition forms of love, rights and solidarity; accordingly, the development process of individual identity assumes three disrespect forms: violation of body, denial of rights and insult (denigration and degradation of one's way of life); the historical process of social conflict and change can be explained in terms of inner moral logic of the mutual recognition relations.

在《为承认而斗争》中，霍耐特承认理论的"经典框架"得以形成：①主体间存在爱、法权、团结三种承认形式；②相应地，在个体同一性的发展中，强暴、剥夺权利和侮辱表现为三种蔑视形式；③从相互承认关系内在的道德逻辑，可以解释社会冲突和变革的历史过程。

Ancient Hellas is the cradle of civilisation, the birthplace of democracy, the creator of both Tragedy and Comedy, the very definition of classical, the paragon of beauty and art and logic and pure science in western thought, the inventor of the Olympic Games, the essence of both philosophy and existentialism: in short, the fount of everything we have come to value in this world.

拙译： 古希腊是人类文明的摇篮，民主体系的诞生地，悲剧喜剧艺术的创造者，是经典的定义，是美学，艺术，逻辑，科学等西方思想的基础，是奥运会体育的发明者，也是哲学和存在主义的起源，总之，古希腊是现代世界价值体系每个方面的缔造者。

The instantaneity, instability and unpredictability of BF wall temperatures have stopped it from effective monitor control solely by Classical Cybernetics. To achieve this, it is needed to construct a model based on data analysis and fuzzy logic.

而炉体温度数据的瞬时性、不稳定性、无因性决定了经典控制论无法实现有效的监控，需结合数据分析和模糊逻辑进行建模。

On the model with reasonable isomorph suppose,a model-based diagnosis is used in program debbuging for logic errors,and compare this model to the other classical models on its advantages.

在此模型上，使用合理的同构假定，运用基于模型的诊断方法对程序进行逻辑错误的诊断，并与经典的诊断模型作了比较。

This book is a rigorous elementary introduction to classical predicate logic emphasizing that deduction is a form of computation.

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。

Syntactical completeness is only concerned with syntactics. The classical proposition logic systems with the rule of substitution are syntactical complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

Syntactical completeness is only concerned with syntactics. The classical preposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

Distinct intellectual thinking based on classical formal logic and served as a kind of thinking fashion infiltrate thorugh human selfconsciousness of practice,as was featured by Helladic civilization.

类属边界表现清晰的知性思维构筑在古典形式逻辑之基础上，而作为一种思维方式，渗入人类自我意识的实践活动，其中以古希腊文明为代表昭示了这一过程。

Such thinkers seldom stand in awe of human wisdom, but on the contrary usually reject traditional philosphy and classical logic, stressing the transrational and the paradoxical.

这样的思想家，很少站在敬畏的人的智慧，相反却通常拒绝传统哲学与古典逻辑，强调transrational和矛盾的。

Outstanding characteristic of Wang Yao"s study on Lu Xun lied in his wide vision from classic to modernization, and his macro-scopical assurance to the relationship between Lu Xun and Chinese and foreign culture, its particular exhibition is that "with the wide and deep Chinese classical literature training, he probed into historical origin of Lu Xun"s works, and dialyses Lu Xun"s works from literature and history So, Wang Yao Surmounted simple logic infer and carried on concrete analysis of real example nature.

王瑶鲁迅论的突出特点，在于由&古典&而&现代&形成的宏大广博的视野和在此基础上对鲁迅与中外文化关系的宏观把握，特别&是以广博深厚的中国古典文学修养探讨鲁迅作品的历史渊源，对鲁迅作品进行深广的历史的和文学的双重透视。&

Aquatic or marsh-growing fern allies; known to have existed since the Cenozoic; sometimes included in Lycopodiales.

生活于水中或湿地的蕨类；从新生代生存至今；有时归于石松目之中。

The engine was uprated from a 90hp Franklin to a 125hp Lycoming.

改良过的引擎是从90hp到125hp莱康明富兰克林。