Formal Logic英文翻译_Formal Logic是什么意思_(形式逻辑的英文)

词性释义

正式逻辑：一种逻辑系统（如亚里士多德逻辑或符号逻辑），它从思维的内容中抽象出形式，以建立一些抽象的一致性标准，与物质逻辑相对比。

例句

全部

The reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic.

之所以称其为“必要条件”，是因为“必要条件”可能只存在于形式逻辑中。

In this article, the point of combining formal logic with natural language is proposed.

本文提出形式逻辑要与自然语言相结合的观点。

Reorganized to fit a grid of formal logic , and meaning was shorn off the appearance of objects in .

然后进行重组来适应一个形式逻辑的框架；意义也脱离了所知道的客观物体的外观。

The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called) which has been discussed above.

在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。

In terms of formal logic, the problems are the same.

这两个问题在形式逻辑上其实是同一个问题。

The manner in which Formal Logic establishes this law sets a bad example to other sciences.

形式逻辑在阐明这条思维规律时，却对别的科学起了一个坏的榜样。

a graphical representation of a program using formal logic.

应用形式逻辑来图示一个程序。

Formal logic is applied to proving correctness properties of programs in Chapter 8.

第八章介绍应用应用推理等价形式逻辑证明程序正确性。

His analyses and interpretations of I Ching were also much of formal logic.

他对易之道德世界的分析与解释也是极其形式化的逻辑的。

This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.

这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。

However, the "find-difference" regarded that the Chinese logic could not be equal to the western formal logic.

“取异”则认为中国古代的逻辑思想不等同于西方的形式逻辑。

The study of this formal logic undoubtedly has its uses.

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

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

Then Mojing started to use metalanguage to express their logic theories and the basic laws of formal logic.

后世诸子百家学术争鸣，自《墨经》始用元语言来表达逻辑理论和逻辑规律。

Initial sets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.

最初套设计模式，风格，最佳做法，描述语言，并制定了形式逻辑在这段时间里。

Formal logic is the study of inference with purely formal content, where that content is made explicit.

形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。

The unique feature of Mo-tse educational thoughts concerns with practical education, formal logic and technology etc.

墨子教育思想的独特性涉及到实践教育、形式逻辑和科学技术等方面。

There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.

法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。

Formal logic; Natural language logic; Semantic; Pragmatic; Implicature; Presupposition; Communication; Rhetoric;

形式逻辑；自然语言逻辑；语义；语用；隐涵；预设；交际；修辞；

Formal logic to deductive reasoning as the core, focusing on the logic of argument the validity of the basic model of legal argumentation;

形式逻辑以演绎推理为核心，注重论证的逻辑有效性，是法律论证最基本的模式；

From the Relationship Between Proposition and Judgment to Observe the Accurate Characteristic of the Formal Logic

从命题与判断的关系看形式逻辑精确化特征

debate; formal logic; informal logic; argument; argumentation theory;

辩论；形式逻辑；非形式逻辑；论证；论辩理论；

Formal Logic Will not Be Superseded by Mathematical Logic

数理逻辑不能取代形式逻辑

the negative relation plays the same role with the positive relation from the view of the mathematics and formal logic

从数学、形式逻辑等学科技术中也容易看出，负关系所起的作用与正关系一样重要。

Exercising formal logic thought in the teaching of engineering mathematics

在工科数学教学中贯彻形式逻辑分析思想的实例

Analysis on Contemporary Formal Logic of Traditional Concepts

传统概念问题的当代形式逻辑剖析

网络释义

形式逻辑

形式逻辑（formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必 …

形式逻辑学

教育科学学院 ... 0528056 美术鉴赏 Artistic Appreciation 0528057 形式逻辑学 Formal Logic ...

正式逻辑

那么所对的正式逻辑（formal logic）是什么？参见维特根斯坦《逻辑哲学论》，或者Bourdieu, P & Passeron J-C (1990) 《Rep…

形式理则

然而这与西方重理型（form），理相（idea），形式理则（formal logic），与言语（word, logos）的传统实为不同。严复在讨 …

形式逻辑的

...形式演绎期(Formal Deduction)或 形式逻辑的(formal logic)层次。

正规逻辑

Assignment | 宅学习 - Social Learning Space ... verification of software 软体验证 formal logic 正规逻辑 axiom 公理 ...

在形式逻辑中

>在形式逻辑中（formal logic），>您的这个三段论是无效的。

更新时间：2025-05-01 22:49