The value and meaning of modern logic is its application on some theories.
现代逻辑的价值和意义，在于其在理论上的应用。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
It provides a single strand of simple techniques for the central business of modern logic.
它提供了现代逻辑的商业中心一个简单的技巧，单链。
The agreement could be served as the approval on the position of modern logic in the field.
这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。
Philosophical logic is a non technical study of questions related to reasoning by means of modern logic.
逻辑哲学是在现代逻辑的基础上，以非技术的方式研究与推理相关的问题。
Disputes over names since modern logic are between Descriptivist Theory of names and Causal Theory of names.
现代逻辑产生以来，在名称问题上的学术争议发生在描述理论和因果历史理论之间。
Disputes over names since modern logic are between Descriptivist Theory of names and Causal Theory of names.
现代逻辑产生以来，名称问题上的学术论争集中在描述理论和因果理论之间。
Disputes about names since modern logic are between Descriptivist theory of names and Causal theory of names.
现代逻辑产生以来，名称问题上的学术论争集中在描述理论和因果理论之间。
Disputes about names since modern logic are between Descriptivist theory of names and Causal theory of names.
现代逻辑产生以来，在名称问题上的学术争议发生在描述理论和因果历史理论之间。
Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.
传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。
The differentiation between metalanguage and obj ect language in modern logic will set linguistics study at a new Angle.
现代逻辑学对象语言利元语言区分给语言学研究开辟了一个新的视角。
In such a program, whose motivation is purely philosophical, techniques of modern logic would have to be exploited to the utmost.
离开了对现代逻辑技术的充分挖掘和利用，要实现这个出自纯粹哲学动机的方案是不可能的。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Many of his constructions are complex and ingenious and few of them could have been achieved without high proficiency in modern logic.
他的许多构造既复杂又巧妙，如果没有对现代逻辑的娴熟的运用，这些构造基本上是作不出来的。
Gottlob Frege is the modern logic first ancestor, also is recognized for is analyzes the philosophy and the language philosophy founder.
弗雷格是现代逻辑的鼻祖，也被公认为分析哲学和语言哲学的创始人。
Since ancient Greece people have been interested in existential issue. But the deep research on it starts from the emergence of modern logic.
从古希腊开始，人们就对存在问题产生了兴趣，但对其进行深入的研究却是在现代逻辑产生之后。
The theory of metalogic comprises the concept, the character, the range of logic and the connection between modern logic and traditional logic.
逻辑元理论包括：逻辑的概念、逻辑的性质、逻辑的范围、传统逻辑与现代逻辑的关系等。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
There are much rhetoric disobeying logic in speech social intercourse. This text analyzes the phenomenon with modern logic concept of "possible world".
文章运用现代逻辑中的“可能世界”理论来分析言语交际中的“反逻辑”修辞现象。
G. Frege's Begriffsschrift, a Formalized Language of Pure Thought Modelled upon the Language of Arithmetic is well-known as a foundation stone in modern logic.
弗雷格的《概念文字：一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
From the view of modern logic and philosophy of language, the Hume's problem can be eliminated, and scientific realism can be established in the realities of science.
从现代逻辑和语言哲学看，休谟问题是可消解的，而科学实在论正是在科学现实基础上得以成立。
The article reveals a new opinion about its definition, classification, efficient reasoning formula and inner structure, reasoning regulation by applying modern logic methods.
本文运用现代逻辑的方法，就它的定义、种类、有效推理式及其内在结构、推理规则等作了全新的探讨。
Comparison must be based upon modern logic, and at the same time apply other modern scientific theories to know other thoughts relevant to logic in ancient Chinese documentation.
比较研究始终要坚持以现代成熟的逻辑理论为指导研究中国逻辑史，但又要注重运用其他现代科学理论认识中国古代文献中与逻辑相关的其他学术思想。
In any case the problem delineating the bounds of the analytic becomes one which can hardly be profitably discussed any longer without reference to technicalities of modern logic.
无论如何，如果不考虑现代逻辑的技术，围绕如何划定分析性边界的问题的讨论几乎不会取得任何成果。
Russell is a great logician and the main founder of modern logic and modern analytic philosophy , and he is one of the main representatives of modern correspondence theory of truth .
罗素是一位伟大的逻辑学家，是现代逻辑和现代分析哲学的主要创始人，是现代符合论真理观的主要代表人之一。
There is a serious flaw existing in Ye Shengtao's early years' viewpoint on the classification of writing style, we must take a reasoning examination with the modern logic as criterion.
叶圣陶先生早年关于文体分类的持论存在严重的缺失，我们也必须以现代逻辑科学为准绳重新进行理性审视。
The Linguistic Turn in Western contemporary philosophy enables the modern logic to influence deeply into many fields in philosophy by the analytical approach as a common and fundamental one.
现代哲学中的“语言的转向”使得现代逻辑逐渐深入人心，分析哲学的方法已经不仅仅限于分析哲学本身，而是成为哲学领域的共同方法和基本方法。
As a new branch of logic, semi-symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand.
半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。
These new SQL based applications are taking advantage of modern data centric development concepts that stress the importance of pushing more of the business rules and logic into the database.
这些基于SQL的新应用程序正在利用现代数据中心开发概念，某些概念强调将更多业务规则和逻辑推到数据库中的重要性。
These new SQL based applications are taking advantage of modern data centric development concepts that stress the importance of pushing more of the business rules and logic into the database.
这些基于SQL的新应用程序正在利用现代数据中心开发概念，某些概念强调将更多业务规则和逻辑推到数据库中的重要性。
应用推荐