逻辑的

It is important to understand that Not-Logical thinking is not the deep meditation of a devout Buddhist monk.

上述声明是完全不合逻辑的。心立即承认它虚假的，因为它不符合逻辑的数学。

Completeness Theorem showsthat syntactic and semantic consequences coincide in the case of the predicatelogic.

完全性定理表明一阶谓词逻辑的语法后承和语义后承是重合的，它标志着一阶逻辑的成熟。

Quine takes the principle of extensionality ashis prerequisite of logical analysis and entirely objects to recognizing the intentionalconcepts,thus hindering the development of modal logic and the inquiry into humanemeaning in some way.

奎因把外延性原则作为他进行逻辑分析的前提，完全拒斥了内涵概念，从而在一定程度上阻碍了模态逻辑的发展和对人文意义的探究。

Jevons's foundation to the probabilistic inductive logic, until the system of modern probabilistic inductive logic which Carnap represents.

内容摘要：概率归纳逻辑的发展历程，从中揭示其兴起的原因，并分析现代归纳逻辑发展的一些新趋势。

Based on research the MVC design pattern and the technical features of Silverlight, designed the game with Silverlight and MVC pattern, in order to reduce application coupling degree ,used the observer model to separate the game element performance logic from the program logic.

在研究MVC软件设计模式和Silverlight技术特点的基础上，选用Silverlight技术设计在线互动游戏，并引入MVC的软件设计模式，使用观察者模型，实现游戏元素表现逻辑和控制逻辑的分离，降低应用程序耦合度。

The invention relates to NOT gate and AND gate is optical logic operation.

本发明涉及光逻辑运算的非门和与门，它们是用于实现光逻辑的"非"和"与"运算的全光器件。

There had been three climaxes in investigating paradox in the logical history of the west. Especially the appearance of Rusells paradox leads to the third climax of the research into the paradox, which has directly accelerated the formation and development of mathematical logic.

在西方逻辑史上，曾有过三次悖论研究的高潮，尤其是罗素悖论所引发的第三次高潮，直接促进了数理逻辑的形成和发展。

The development of non-monotonic logics has revitalized the question:"What is logic?"

随着非单调逻辑的产生和发展，人们提出了&究竟什么是逻辑&的问题。

A good point of departure for doing so would be to develop a conscious awareness that there is something incompatible between translation and logic, that to translate is, in a sense, to subvert logic's totalizing claim as the one and only legitimate mode of thinking, and that in the resistance to such a claim, one finds no less than a condition of possibility for the practice of translation.

在这种思想背景下，翻译研究有必要有针对性地探讨逻辑问题。实际上，翻译历来都在拒斥逻辑的大一统作用。不这样，它存在者的地位早就岌岌可危了。

In the book, Boole set forth the formal axioms of logic (much like the axioms of geometry) on which the field of symbolic logic is built.

在这本书里，向前 Boole 装置逻辑的正式公理在上建立了符号逻辑的领域

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.

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