形式逻辑

The "RZH"standard also has shortcoming ,and contains prejudice of the formal logic school.

RZH"标准也是有缺点的，并内含形式逻辑派的"偏见。

The formal logic is the logic of affirmation. The dialectic logic is the logic of description.

形式逻辑是关于断定的逻辑，辩证逻辑是关于描述的逻辑。

As to methodology,it is based on"scientific"methods focusing on formal logic.

法律行为理论的观念史背景是古典自然法学，方法论基础是以形式逻辑为核心的"科学"方法。

In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.

在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。

The differences between common sense in legal inferential activities and the formal logical inference with which we are familiar lie in the extensiveness of scope and the infiniteness of quantity, the probability of conclusions, and generality and objectivity of the nature.

在适用法律的推理活动中，经验方法与人们惯常所熟悉的形式逻辑的推理之间有着较大的区别，具有范围的广泛性与数量的无限性、结论的或然性和性质的一般性与客观性等特征。

The infinitesimal calculus is often defined as an overlapping science of the between the dialectics and constant maths,which is usually expressed in the form of the formal logic.

对微积分学科的知识结构有深入了解，就能进一步分析微积分的思想方法：微积分是变量数学，是辩证法与常量数学交叉且用形式逻辑表达的一门最早的交叉学科。

Based upon the logic examination, this paper supplies a new conditional extreme value model for the proposition and generally reveals the wrong guide of Gauss's intrinsic geometry in logic.

在针对经典结论进行逻辑审查的基础上，为该命题重新构造了一个属于"条件泛函极值"范畴的形式定义，并大致叙述Gauss"内蕴几何"的在形式逻辑上必然存在的导向性错误。

By comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.

作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨，将排中律进行统一和推广，提出了统一的排中律———广义排中律，并给出了相应的数学表示。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

The ability to define the world in terms of sets is crucial to Russell's project of logicism, or the attempt to reduce all mathematics to formal logic.

能够确定的世界而言，是至关重要的套罗素的项目logicism ，或企图以减少所有数学形式逻辑。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。