查询词典 classical logic

As an excellent logician and philosopher in China and the most famous one in logic in China, JinYue-lin had some wonderful thoughts on philosophy of logic.

金岳霖是中国杰出的逻辑学家和哲学家，作为中国逻辑学界的第一人，他的逻辑哲学思想具有独到的特点。

Logicism holes that mathematics can be reduced to logic, but the logicists were beaten by the discovery of the set paradox, because they have not discerned the intrinsic differences between logic and mathematics.

逻辑主义认为数学可以化归为逻辑，集合论悖论的发现给逻辑主义者造成重大的打击，逻辑主义失败的原因在于他们没有看到逻辑与数学之间存在着质的区别。

Many\|valued Logic ; Fuzzy Logic ; Formal System L *; Extension L *; Completeness

多值逻辑；模糊逻辑；形式系统L*；扩张L*；完备性

Lin then concludes that one should look at Chinese legal tradition from the point of view of many - valued logic. Max Weber ; comparative legal sociology ; Chinese legal tradition ; many - valued logic

八十余年后，总算有一位华人社会学家超越对韦伯的敬畏，出来全面地批判韦伯关于中国法律传统的论断。23年，台湾大学社会学系的林端教授出

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication,this situation obstructs the aim of logic norm and people's correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。

Material implication is an extremely important concept of modern logic,but we encountered a lot of problems as we attempted to analyze and explain the hypothetical proposition of natural language with material implication ,this situation obstructs the aim of logic norm and people s correct thinking.

实质蕴涵是现代逻辑的一个极其重要的概念，但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。

It is well known that first-order logic and axiom set theory are two part of the whole mathematical logic.

众所周知，一阶逻辑与公理集合论是数理逻辑的两个组成部分，其中，一阶逻辑是数理逻辑的基础部分。

Traditional logic' s answer to this question seems to be self-evident, but mathematical logic makes this question complicated.

传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。

The development of mathematical logic makes logic lose its significance and depart from the ontological discussion.

海德格尔从哲学探究的角度出发，对哲学和逻辑进行了深入的思考。

Professor Zhang Qing-yu gets paraconsistent modal proposition logic C〓G'on the base ofCosta's paraconsistent proposition logic system C〓.

张清宇教授在科斯塔的弗协调命题逻辑系统C 的基础上得到弗协调模态命题逻辑系统CnG＇。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。