形式化方法是现代逻辑最重要的方法。
在现代逻辑文献中，“哲学逻辑”是个多义词。
Philosophical logic is a polysemant in contemporary logical literature.
现代逻辑的价值和意义，在于其在理论上的应用。
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.
那么，现代逻辑如何看待亚式模态三段论的化归呢?。
Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism?
它提供了现代逻辑的商业中心一个简单的技巧，单链。
It provides a single strand of simple techniques for the central business of modern logic.
那么，现代逻辑如何看待亚式模态三段论的化归呢?。
Then, how contemporary logic looks upon the reduction of Aristotelian modal syllogism ?
弗雷格是现代逻辑的鼻祖，也被公认为分析哲学和语言哲学的创始人。
Gottlob Frege is the modern logic first ancestor, also is recognized for is analyzes the philosophy and the language philosophy founder.
逻辑哲学是在现代逻辑的基础上，以非技术的方式研究与推理相关的问题。
Philosophical logic is a non technical study of questions related to reasoning by means of modern logic.
这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。
The agreement could be served as the approval on the position of modern logic in the field.
现代逻辑产生以来，名称问题上的学术论争集中在描述理论和因果理论之间。
Disputes about 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.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
文章运用现代逻辑中的“可能世界”理论来分析言语交际中的“反逻辑”修辞现象。
There are much rhetoric disobeying logic in speech social intercourse. This text analyzes the phenomenon with modern logic concept of "possible world".
现代逻辑产生以来，在名称问题上的学术争议发生在描述理论和因果历史理论之间。
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.
逻辑元理论包括：逻辑的概念、逻辑的性质、逻辑的范围、传统逻辑与现代逻辑的关系等。
The theory of metalogic comprises the concept, the character, the range of logic and the connection between modern logic and traditional logic.
离开了对现代逻辑技术的充分挖掘和利用，要实现这个出自纯粹哲学动机的方案是不可能的。
In such a program, whose motivation is purely philosophical, techniques of modern logic would have to be exploited to the utmost.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
弗雷格的《概念文字：一种模仿算术语言构造的纯思维的形式语言》可谓现代逻辑的开山之作。
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.
从古希腊开始，人们就对存在问题产生了兴趣，但对其进行深入的研究却是在现代逻辑产生之后。
Since ancient Greece people have been interested in existential issue. But the deep research on it starts from the emergence of modern logic.
他的许多构造既复杂又巧妙，如果没有对现代逻辑的娴熟的运用，这些构造基本上是作不出来的。
Many of his constructions are complex and ingenious and few of them could have been achieved without high proficiency 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.
无论如何，如果不考虑现代逻辑的技术，围绕如何划定分析性边界的问题的讨论几乎不会取得任何成果。
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.
叶圣陶先生早年关于文体分类的持论存在严重的缺失，我们也必须以现代逻辑科学为准绳重新进行理性审视。
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.
半符号逻辑是一种新的逻辑分支，它试图突破传统和现代逻辑的局限性，建立一种既严格又易于掌握的逻辑体系。
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.
罗素是一位伟大的逻辑学家，是现代逻辑和现代分析哲学的主要创始人，是现代符合论真理观的主要代表人之一。
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 .
形式逻辑在法律的运用是基础，法律中的特殊逻辑是在此基础上，基于法律的特殊语境，借助现代逻辑工具开发的逻辑。
The application of formal logic is a foundation. The special logic of law is developed basing on the application of formal logic in law and the special context through using modern logical method.
形式逻辑在法律的运用是基础，法律中的特殊逻辑是在此基础上，基于法律的特殊语境，借助现代逻辑工具开发的逻辑。
The application of formal logic is a foundation. The special logic of law is developed basing on the application of formal logic in law and the special context through using modern logical method.
应用推荐