逻辑的

However,the European,with deeply rooted tradition of atomic theory,stuck to the principle of positivism.

可是 ，具有根深蒂固原子论传统的欧罗巴人，信守逻辑实证主义的思维原则，在人体解剖实验的基础上，利用还原分析和实验求证的方法，使古希腊医学从思辨走向描述和结构时代，这是顺乎逻辑的自然发展。

This paper reveals Carrol's outstanding creativity and the books' special artistic enchantment by citing excerpts and analyzing parts of the dialogues and nonsense verses. Thus it points out that the works feature illogical logic and nonsensical sense.

本文通过对作品中人物语言和胡话诗的示例分析，展示了作家高超的创造力和作品独特的艺术魅力，指出作品的语言特点是非逻辑的逻辑和有意义的胡话。

Conditional sentences in two-valued logical systems are incapable of supplying solutions, consequently have to advance to a three-valued logical system, in order to secure a valid conditional sentence truth-table and solve the paradox of The Verification of the Paradox.

条件语句的问题在二値逻辑的系统无法获得解决，因此我们必须进一步诉诸一套三值的逻辑系统，才能得到合理的条件语句眞值表，并且解决像「检证的吊诡」一类的矛盾。

His art represents another style of surrealism, which is organic surrealism. He tries to destroy the control of ration and logic, liberates unconsciousness and impulsive force of illogic mind, as well as to explore the secrets of the invisible realms and the visual world.

他的艺术代表了超现实主义的另一种风格，即有机的超现实主义，他企图要毁面理性和逻辑的主宰，把无意识和非逻辑心灵的冲力从中解放出来，且探测不可见领域和视觉世界的奥秘。

His art represents another style of surrealism, organic surrealism. He tries to destroy the control of ration and logic, liberates unconsciousness and impulsive force of illogic mind, as well as to explore the secrets of the invisible realms and the visual world.

他的艺术代表了超现实主义的另一种风格，即有机的超现实主义，他企图要毁面理性和逻辑的主宰，把无意识和非逻辑心灵的冲力从中解放出来，且探测不可见领域和视觉世界的奥秘。

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

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.

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

Two logics of parergon, namely subsistence and development, are intertwined, and affect people's life overall.

兼业所内含的生存逻辑和致富逻辑的交错，已经对人们的生活状态产生了全方位的影响，由此，兼业不仅仅在规定农户的经济行为方面具有意义，还在相当程度上规定了地方社会的特征。

OR is harder in soft science, has the characteristic of both logic mathematics and mathematical logic, and are a basic theory and indispensable method, means and tool.

运筹学是软科学中"硬度"较大的一门学科，兼有逻辑的数学和数学的逻辑的性质，是系统工程学和现代管理科学中的一种基础理论和不可缺少的方法、手段和工具。

But the logical construction of the theoretical system of inner alchemic study still has not been studied thoroughly.

因此，从思辨逻辑的视角来考察钟吕系金丹派经由对历史上长生众术的批判、内丹学轴心范畴和逻辑起点范畴的确立以及内丹学体系的自我论证四个环节建构内丹学理论体系的过程具有重要的理论价值。

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.

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