查询词典 formal logic

While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.

证明是一种形式逻辑的思维方式，论证是一种非形式逻辑的思维方式。

Kinds of dialectical logic and formal logic will be completely in opposition to the attitude is wrong.

那种将辩证逻辑与形式逻辑对立起来的态度是错误的。

The classical proposition logic is the basis of modern formal logic.

经典命题逻辑是现代形式逻辑的基础。

However, it is important for you to realize that these questions do not rely on any kind of formal logic, nor do they require that you be familiar with specific terms of logic or argumentation.

然而，请你一定要认识到，这些问题并不依靠任何一种正式的逻辑，也不需要你去研究具体的逻辑或辩论方面的术语。

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

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

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

Patten provides a chapter-by-chapter skeleton key to Alice, which meticulously demonstrates how its various episodes reveal Dodgson's profound knowledge of the rules of clear thinking, informal and formal logic, symbolic logic, and human nature.

作者逐章、细致地阐述了《爱丽丝漫游仙境》里的各种情节是如何把刘易斯关于数理逻辑拥有的渊博知识、对人性的认识和他清晰的创作思路体现的淋漓尽致！

A preliminary study is made on the logic inference and formal logic of Yuanjics,pointing out the importance of deductive logic in the disciplinal construction and development of Yuanjics.

对元极学逻辑推理与形式逻辑进行初步的研究。

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

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.

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