逻辑学家

Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.

弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

This thesis makes an exposition of the mathematics logicism thought of Russell ,the great mathematician and logician in phytogeny of logic.

本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。

He worked as a scientist.However he claimed that his research into various sciences is for the purpose of logic,and he would like to describe himself as a logician.

他以科学家作为职业，却常常又声称科学研究是为了逻辑目的，喜欢把自己塑造为逻辑学家。

After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

On the one hand, Implication paradox provides semantics grounding for two conditional inference principles; on the other hand, the discovery of implication paradox arouses logicians discussion to the implication theory and makes them put forward many new implication theories such as: strict implication -, relevant implication and etc., and promotes the development of the implication theory and makes implication theory step down mysterious palace, and gradually penetrates into many other concrete sciences.

一方面，正是由于蕴涵怪论为传统逻辑两个假言推理规则提供了语义学根据；另一方面，正是由于蕴涵怪论的发现，引发了逻辑学家们对蕴涵理论的深入探讨，提出了许多新的蕴涵理论如严格蕴涵，相干蕴涵，衍推蕴涵等等，推动了逻辑学蕴涵理论的发展，并促使蕴涵理论走下神秘的殿堂，而逐步深入到许多具体的学科中去。

Eliminative Induction is an important inductive method;and it is a shared question of philosophers,logicians and AI scientists to find out a way of describing causality in terms of logic.

排除归纳法是一种重要的归纳方法；如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题。

The concept of a Bollean algebra was first proposed by the English mathematician George Boole in 1847.Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

3 1 X*{! g5 C+ X K The concept of a Bollean algebra was first proposed by the English mathematician George Boole in 1847.Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

L， a3 M+* O； _6 M 布尔代数的概念最初是有英国数学家George Boole于1847年提出来的，从那时起，代数学家和逻辑学家们更广泛的发展了Boole的这一其实概念，并使之更加精练。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了