What is the translation of " 形式逻辑 " in English?

• formal logic

Examples of using 形式逻辑 in Chinese and their translations into English

形式逻辑、数学和决定理论是有意识思维常用的工具。
Formal logic, mathematics, decision theory are the tools of conscious thought.

有关语义网络，形式逻辑，基于帧的系统的研究;
Research related to semantic networks, formal logic, frame-based systems;

在形式逻辑上，矛盾是失败的标志；.
In formal logic, a contradiction is a signal of a defeat;

这些知识来自静态逻辑与形式逻辑。
These readings come from static and formal logics.

他是形式逻辑的创始人。
He was the founder of formal logic.

亚里士多德是形式逻辑的创始人。
Aristotle was the founder of formal logic.

计算机科学家必须牢牢掌握形式逻辑和证据证明。
Computer scientists must have a solid grasp of formal logic and of proof.

自十九世纪中叶，“形式逻辑”已被作为数学基础而被研究，当中经常被称之为符号逻辑。
Since the mid-nineteenth century formal logic has been studied in the context of foundations of mathematics, where it was often called symbolic logic..

在形式逻辑的设置（和很多有关领域）中，推理规则通常用如下形式给出：.
In formal logic(and many related areas), rules of inference are usually given in the following standard form:.

而且由于这都是建立在形式逻辑上的，因此其结果是可以解释的。
And because this is all built on formal logic, the result is fully explainable.

形式逻辑、数学、决策理论，这些都是有意识思维的工具。
Formal logic, mathematics, decision theory are the tools of conscious thought.

形式逻辑的发展和其在电脑上的应用是计算机科学的基础。
The development of formal logic and its implementation in computing machinery is the foundation of computer science.

在形式逻辑中，假定O{\displaystyleO}和E{\displaystyleE}为文字的集合。
In formal logic, O{\displaystyle O} and E{\displaystyle E} are assumed to be sets of literals.

因此，在决策过程中，人们几乎总是遵循着形式逻辑。
Therefore, in decision making, one almost always follows formal logic.

艾伦·鲁宾逊发明了一种机械的证明程序，决议方法，它允许程序作为一种表示语言与形式逻辑的工作效率。
Alan Robinson invented a mechanical proof procedure, the Resolution Method, which allowed programs to work efficiently with formal logic as a representation language.

但是"以此类推"使得它在形式逻辑中不可能解释为析取。
However, the"and so on" makes this impossible to integrate and to interpret as a disjunction in formal logic.

当学生开始对它们进行分析和质疑世界各地的“为什么”，我们教他们形式逻辑和推理的正确方法。
As students begin to analyze the world around them and question“why,” we teach them formal logic and the correct methods of reasoning.

这个定义不同于生成语法和形式逻辑中的“公理”。
This definition differs from that of"axioms" in generative grammar and formal logic.

本课程介绍了形式逻辑以及如何将其运用到计算机科学、电子工程学、语言学和哲学中。
This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and phi….

形式运算阶段11-15岁1.能够进行抽象的形式逻辑推理.
Formal operational stage- 11-15 years: able to solve abstract problems in a logical fashion.

如同所有的形式语言一般，符号本身的性质不在形式逻辑讨论的范围之内；.
As with all formal languages, the nature of the symbols themselves is outside the scope of formal logic;

逻辑学家和哲学家塔斯基发展了对于形式语言（比如形式逻辑）的理论。
Logician and philosopher Alfred Tarski developed the theory for formal languages(such as formal logic).

为了处理这些复杂的情况，nuTonomy公司利用了形式逻辑，这种逻辑运用一种规则等级，类似于阿西莫夫著名的“机器人三定律”。
To handle these complex situations, nuTonomy uses formal logic, which is based on a hierarchy of rules similar to Asimov's famous Three Laws of Robotics.

但是，当你使用形式逻辑来定义“直线”时，“之间”这个概念也需要加以界定，而欧几里得恰恰忽视了这一点。
But when you define“line” using formal logic, it turns out“between-ness” also needs to be defined- something Euclid overlooked.

在形式逻辑上，矛盾是失败的标志；但在真知的演进中，它是在通向胜利的过程中迈出的第一步。
In formal logic, a contradiction is the signal of defeat: but in the evolution of real knowledge, it marks the first step in progress”toward victory.

对每一门学科我们都必须仔细地去区分理论的三个方面：（a）形式逻辑的内容；（b）直观的背景；（c）应用。
In each field we must carefully distinguish three aspects of the theory:(a) the formal logical content,(b) the intuitive background, and(c) the applications.

形式逻辑.
Formal logic.