逻辑的

In this paper, we propose that legal argument is essentially plausible, defeasible, and nonmonotonic and show that the criteria for evaluating legal argument are deductive validity, inductive strength, and plausibility.

本文从广义的逻辑观出发，提供了法律论证本质上是似真的、可废止的和非单调的，进而提出了法律逻辑的评价标准是演绎有效性、归纳强度和似真性。

This paper also proved that the formal representation is faithful to RBAC model.

用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义，并证明了这种描述逻辑表示对于RBAC模型的忠实性。

On one side, he inherits the tradition of pragmatism, on the other side , he emphasizes the effect to philosophy from logic and mathematics. His emphasis on mathematical logic, meaning theory and experience verify theory, which makes up pragmatic insufficience.

在刘易斯那里，他一方面继承实用主义的传统，另一方面又强调逻辑和数学对哲学的影响，重视对数理逻辑的研究，重视对意义理论、经验证实理论等等的探讨，弥补了实用主义在这方面的不足。

The generally acknowledged truth of traditional logic isn′t the generally acknowledged truth of the traditional logic syllogism ;It isn′t get the law of identity,the law of contradiction,the law of excluded middle and the law of sufficient reason;It isn′t still the two complete formula of Celarent in Aristotle′s system.

传统逻辑的公理不是传统逻辑的三段论的公理，也不是同一律、矛盾律、排中律和充足理由律，还不是亚里士多德系统中第一格的两个全称式。

Suppliers of PLC systems have added nonlogical elements such as timers, counters, and arithmetic operators to the ladder structure, thus interfacing the logic directly with computational actions it controls.

PLC 系统的供应者有附加的非合乎逻辑的元素，像是定时器，柜台，和算术操作员对梯结构，如此直接地以计算的行动接口逻辑它控制。

In addition, it implements various mechanisms presented in the dissertation, and the logic level integration of heterogenous knowledge models as well as some extensional mechanisms, used in reasoning inspection, verification and modification on the consistency and perfectiveness of description logics-based models.

为了检验上述理论研究，论文设计了基于KML的智能知识建模原型系统CAKE，系统提供RPC/Web/Web服务三种模式，并实现论文提出的各种机制以及异构知识模型的逻辑级集成和基于描述逻辑的模型一致性和完备性推理检查、校验与修正等扩充机制。

This book is a rigorous elementary introduction to classical predicate logic emphasizing that deduction is a form of computation.

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。

History evolvement of development theory pushes the transformation of human society development ways successively, which decides the progressional direction of human society.

科学发展观的提出蕴含着深远的理性思考，彰显出鲜明的时代特征，是理论逻辑与实践逻辑的内在统一。

Through logic genealogy,Husserl criticizes more farthe logical psychologism,and more important,lays a transcen-dental basis of pure reason for constructing the empirical world.

通过逻辑谱系学，胡塞尔不仅进一步地批判了逻辑的心理主义倾向，而且更为重要的是，为经验世界的建构提供了一个纯粹理性的先验根据。

In view of the difference on the basic standpoint, traditional logic was criticized and denied by experimental 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.

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