查询词典 classical logic

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

Deviant logic is a logic branch which are made up of by denying or modifying some basic principles of classical logic, including Intuitionism Logic, Many-Valued Logic, etc.

变异逻辑是由否定或修改经典逻辑的某些基本假定而形成的逻辑分支，包括直觉主义逻辑，多值逻辑等。

Setting out from symbolic logic, Russell was the first philosopher who destroyed the law of excluded middle in classical logic, and provided leads for the research into formalized fuzzy logic o...

皮尔斯是西方哲学史上确认"语言本身的模糊性"的第一位哲学家；维特根斯坦强调语言确定性与模糊性的并存关系，并试图将二者统一；罗素从符号逻辑的水平上首次打破了古典逻辑的排中律，开辟了形式化模糊逻辑或多值逻辑的研究道路。

From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.

从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来，非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。

Dynamic epistemic logic,rised in recent years,is a non-classical logic.

动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。

He explained relevant clauses in Canon of Moism by referring to the theory of Western logic and Indian classical logic so that he could rather sufficiently revealed the logical meaning of many basic concept and propositions in Canon of Moism. Moreover his method had a great effect on the contemporary and following researchers of Chinese logical history.The fourth part is concluding remarks.

其次，正确运用逻辑方法深入地挖掘中国古代的逻辑思想，正确认识中国逻辑的特点，确立中正确认识中国逻辑的特点，确立中国古代逻辑在世界逻辑史上的地位，并通过中外逻辑思想的对比分析，找出我国逻辑科学发展中存在的问题及其原因，以推动我国逻辑科学的更大发展。

He made a comparative analysis on Chinese nominalistic logic with Western Aristotles logic and Indian classical logic, and revealed the main content of logic of Moism, including basic concept, principle of inference, induction ect.

本文拟从以下几个方面对梁启超的逻辑——方法论思想进行分析评述： 1、梁启超取得逻辑——方法论研究成就的历史条件：①清代诸子学的考证训诂成果使《墨子》一书稍可读通；②西学输入促进了梁启超对中国古典逻辑的研究；③研究墨学和科学的逻辑方法，为宣传维新变法思想提供方法论武器；④梁启超对墨子及墨家学说的主观偏爱。

They are: the achievements of textual research and exegesis of Zhu Zi Xue in Qing Dynasty; the promoting effect of the introducing Western theories that took on the research of Chinese classical logic; taking the doctrine of Moism and scientific logic method as a methodological weapon for propagating reformist thought and Liang Qichao"s favor to Mo Zi and theory of Moism.The second part is about Liang Qichao"s achievements of logic and methodology: he analyzed induction and deduction, and thoroughly analyzed induction in particular, and his thought about those was mainly correct; he analyzed comparison as a component of induction and discussed the cognitive function of comparison, he also explained how to use comparison in the research of history; he not only explicated the thinking process of analytical method and synthetic method, but also integrated the two methods with studying history and reading history , and turned them into specific research methods of history ;he expound the rule of causal law , just as Leibnizs principle of sufficient reason in Western modern times and the law of sufficient reasonin universal logic; he discussed nominal classification, and analyzed wrong classification of the forefathers, then he pointed out the significance of clarifying the basic of division .

不足在于：①梁启超对于各种科学方法的论述不够系统、全面；②梁启超比较研究方法仍存在一些缺陷，他的比较研究主要是将墨家论式与西方逻辑的三段论(有的与印度因明的三支作法)形式作求同研究，缺乏系统性和全面性，而且对三种逻辑的共同点和差异点的分析也缺乏理论深度，加之梁启超不懂得数理逻辑，缺乏精确的数理逻辑工具，因而使这种对比分析缺乏严密性和精确性。

Extended logic is a logic branch which are made up of by using classical logic to analyze some concepts or categories of some special subjects, particularly, philosophy, including Modal Logic, Deontic Logic, Tense Logic, etc.

逻辑扩展逻辑则是利用经典逻辑的工具，去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑学分支，如模态逻辑、道义逻辑、时态逻辑等。

The philosophical dimension of metaphor Traditional and classical logic is a rigid dual value- logic/dialectic based on Aristotelian syllogisms– major premises, minor premises, and conclusions.

英汉两个民族在认识自身的基础上，通过隐喻机制，经过英汉这两种不同语言的过虑，去认识世界时，便对世界做出了不完全相同的切割和处理。2隐喻的哲学纬度。

By the time of its fall, most of the prisoners were writers who had written against the corruptions of the government.

到它被攻陷的时候，里面多数的犯人是写了反对政府贪污文章的作家。

The most obvious variation to ovum morphological character was that the color was changed from light green to sepiaceous in embryonic development, and all the ovums were almost hatched after 96h.

在胚胎发育过程中卵的形态特征最明显的变化是颜色从淡绿到深褐色，卵在发育96h后卵基本全部孵化。