逻辑的

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Administrative jurisprudence analyse logic fundamentally moves forward from subject and object logical relation,state will expression and state will ution logical relation,individual and public interest logical relation,behavior regulation and standard system logical relation,involved element and designed element logical relation.

行政法学分析逻辑的基本进路包括从主体与客体的逻辑关系进行分析、从表达国家意志与执行国家意志的逻辑关系进行分析、从个体利益与公共利益的逻辑关系进行分析、从行为规则与规范体系的逻辑关系进行分析、从介入元素与设计元素的逻辑关系进行分析。

The controversy between the monist and pluralist conception of logic also happens in the field of logic teaching.

传统逻辑与现代逻辑的争论，主要表现在如何改革大学文科逻辑教材上，也表现在以哪种逻辑作为研究中国古代关于逻辑的理论发展史的工具更合适的问题上。

As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.

作为语义方法的逻辑基础，模型论是研究逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。

Because 3-valued logic has a truth more than 2-valued logic, the quantity of truth of function of 3-valued logic is more than it of 2-valued logic, and 3-valued logic has a more powerful ability to handle problems than 2-valued logic does.

由于三值逻辑比二值逻辑多一个真值，所以三值逻辑的真值函项的数量比二值逻辑的真值函项的数量大得多，所以三值逻辑才会比二值逻辑有更强的处理问题的能力。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

One of the basic differences between sentencial logic and quantifier logic,or predicate logic,is that in sentential logic we take the sententially simple sentence as an unanalyzed whole,while in predicate logic we analyze these simple sentences into their component parts.3 f0 o j: W

句子逻辑与限定逻辑或谓词逻辑的基本区别之一是句子逻辑中，我们把一个简单句看作未经分析的整体，而谓词逻辑中我们分析这些简单句，分析出他们的组成部分。

Based on the field work among the Azande and the analysis of ancient Chinese logic and the logic of Buddhism, this paper attempts to provide factual information for the argument for the "culture-based relativity of logic" in a descriptive way. Taking the deductive method as the classical research method, this paper argues for the existence of the culture-based relativity of logic in modern culture and other cultures. The validity of this argument is based on the findings of ethnographic as well as historical studies. This paper also seeks to prove by studying the interactions between different languages and ways of life that the classical research method was also built on cultural relativity.

对阿赞得人的田野考察报告，以及中国古代逻辑和佛教逻辑的研究成果，从描述的角度为&逻辑相对于文化&这一命题提供事实根据；采用演绎论证作为元方法说明现代文化中的逻辑和其他文化的逻辑在现代文化中的译本具有文化相对性；借助民族志和历史学研究成果说明其他文化的逻辑本身也具有的文化相对性；通过语言博弈和生活形式概念说明作为元方法的演绎论证同样具有文化相对性。

The monists maintain that some content of traditional logic, dialectical logic and induction should be excluded from the field of logic, and that traditional logic should be replaced by modern logic in logic teaching.

在传统与现代之争中，不再有人对传统逻辑持诸如&传统逻辑不是逻辑&的观点，对传统逻辑加以批评的学者都是从其不科学、不严密、包含有非逻辑的内容等方面入手。

Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.

他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。