英语释义

• any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

片语

aa formal logic情势思维规律

formal l logic形式逻辑

Formal Logic Analysis形式逻辑分析

formal affirmation logic形式断定逻辑

Formal fuzzy logic模糊逻辑

Formal symbolic logic逻辑

Non-formal logic非形式逻辑

modern formal logic当代形式逻辑

Formal and Transcendental Logic形式的与先验的逻辑

英汉例句

• The truth value table is both a kind of logic approach widely used in formal logic and a very useful tool.

  真值表是形式逻辑中广泛使用的一种逻辑方法，也是一种非常有用的工具。

• Generally speaking, artistic languages more often than not surpass formal logic and stick to its special law.

  艺术语言往往突破形式逻辑的规律而有自身特殊的规律。

• The division criteria is the formal logic of the roof, which is perfectly meaningless.

  空间划分的标準与屋顶的形式逻辑一致，但屋顶的形式却是没有意义的。

• On the one hand , It led to the acceptance of formal logic as a science in China and accelerate the study of formal logic .

  一方面，它确立了形式逻辑独立的学科地位，推动了这门科学在我国的普及和推广；

• Therefore, the training of formal logic thinking is a necessity in the teaching of the Western Economics.

  因此，在西方经济学教学中，加强大学生的形式逻辑思维培养训练实属必要。

• The study of this formal logic undoubtedly has its USES.

  对这种形式逻辑的研究，无疑是有用的。

• A legal rule has certain logic in stating the meaning and is different from the formal logic in expressing Law.

  法律规则有自身的意思表达逻辑，它不同于法律规定的形式表现逻辑。

• The second and third condition in the three conditions have the character of hypothetis judgments of formal logic .

  三项条件中的第二项和第三项条件具有形式逻辑的假言判断性质。

• We can find that 「Needham Puzzle」 is a completely worthless pseudo-problem under the strict analysis in line of formal logic with distinct concepts.

  我们只要运用概念明晰的形式逻辑方法对之进行严密的逻辑分析，就会发现「李约瑟难题」完全是一个毫无研究价值的「伪问题」。

• Moreover, some teachers regard the thinking of mathematic as formal logic thinking. So ignore dialectic and developmental thinking from holistic understanding to problem.

  有的教师把数学思维活动仅仅看作形式逻辑思维，而忽视了从整体看问题的辩证的、发展的思维活动。

• These research and the creation of formal logic as a science in the development is an important stage.

  这些形式化的创立和研究在逻辑作为一门科学的发展中是一个重要的阶段。

• The application of formal logic is a foundation. The special logic of law is developed basing on the application of formal logic in law and the special context through using modern logical method.

  形式逻辑在法律的运用是基础，法律中的特殊逻辑是在此基础上，基于法律的特殊语境，借助现代逻辑工具开发的逻辑。

• The abstract logical thinking contains two levels: the formal logic and the dialectical logic, which respectively has its important form of activity and characteristic function in thought innovation.

  抽象逻辑思维包含着形式逻辑与辩证逻辑两个层面。形式逻辑与辩证逻辑在思维创新活动中各自有着重要的活动形式与功能特性。

• From the points of view of dialectical logic, formal logic current and voltage source models, this paper addresses that the current limiting conjecture is not correct.

  从辩证逻辑、形式逻辑、电流源模型和电压源模型等方面，阐明半导体限流猜想是不正确的。

• An all-around view of legal logic is put forward. Legal logic should contain the application of formal logic in law and the special logic of law.

  提出综合性的法律逻辑观点，认为法律逻辑应包括形式逻辑在法律中的运用理论和法律中的特殊逻辑理论两个层次。

• Legal logic USES not only the knowledge of formal logic but the knowledge of dialectic al logic language logic an debate logic etc.

  法律逻辑不仅运用形式逻辑的知识，还运用辩证逻辑的知识，以及语言逻辑，论辩逻辑等逻辑知识。

• Metaphysical method is a scientific method, and formal logic should be reformed by dialectical method as it is the outcome of metaphysical method.

  形而上学方法是科学方法，形式逻辑是形而上学方法的产物，故需要接受辩证方法的改造。

• The artistic feature of Franze Kafka「s fiction is the conflict and unity between formal logic of narration and significant logic of history.

  卡夫卡的小说艺术有一个奇妙的特征，那就是小说叙事形式逻辑与历史意蕴逻辑的对立统一。

• Recently, Formal methods which based on discrete mathematics and formal logic theory improve rapidly, and give a possible solution to safety assurance of complex computer system.

  近年来，基于离散数学和形式逻辑理论的形式化方法发展迅速，为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径。

• This article holds that, the Frankfurt school」s theory of formal logic is an important aspect for us to understand this school's social and political theories, which, however, has been neglected.

  法兰克福学派的形式逻辑理论尚未被人十分重视，而文章认为形式逻辑是理解这一学派社会政治理论的重要方面。