First and foremost he is a logician.
他首先是一个逻辑学家。
There is no loophole, he is as perfect a logician as any Aristotle.
没有漏洞，他是一个像亚里士多德一样无懈可击的逻辑学家。
As the founder of pragmatism, firstly and mostly Peirce was a logician.
作为实用主义的鼻祖，皮尔士首先和主要是一位逻辑学家。
Johnson was a logician who had also lectured on philosophical psychology.
约翰逊是一位开设哲学心理学讲座的逻辑学家。
British mathematician, logician, philosopher, founder of process philosophy.
英国数学家、逻辑学家、哲学家，过程哲学的创始人。
Stand well clear of a hypoglycemic logician when sustenance has been withheld!
当他营养得不到保障的时候最好不要出现在一位低血糖的逻辑学家面前！
Mister Wu Feibai is a famous Mohist and logician in Chinese modern and contemporary history.
伍非百先生是中国近、现代著名的墨学家和逻辑学家。
Mozi is a famous thinker, scientist, military scientist, logician, and military engineer during pre - Qin Dynasty.
墨子是我国春秋战国之际著名的思想家、科学家、军事家、逻辑学家和军事工程师。
As a logic concept, presupposition was first proposed by Germanicphilosopher G. Frege, who is also a logician and mathematician.
“预设”作为一个逻辑概念，是德国哲学家、逻辑学家和数学家弗雷格首先提出来的。
Finn logician Von Wright published the classical essay Deontic Logic in 1951, which marked that modern deontic logic came into being.
1951年芬兰逻辑学家冯·赖特发表了经典性论文《道义逻辑》，标志着现代道义逻辑的诞生。
Alan Turing was an English scientist, mathematician, logician, and cryptographer, and arguably the greatest British scientist of the 20th century.
阿兰·图灵是英国的一位科学家、数学家、逻辑学家和译码者，可以说是20世纪英国最伟大的科学家。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
Modal situation semantics is a unified mathematics frame provided for the situation semantics by the logician in the term of the theory situation technology.
模态情境语义学是逻辑学家依据情境技术的理论，希望为情境语义学提供的一个统一的数学框架。
To the logician all things should be seen exactly as they are, and to underestimate one's self is as much a departure from truth as to exaggerate one's own powers.
对逻辑学家来说，一切事物应当是什么样就是什么样，对自己估价过低和夸大自己的才能一样都是违背事实的。
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 .
罗素是一位伟大的逻辑学家，是现代逻辑和现代分析哲学的主要创始人，是现代符合论真理观的主要代表人之一。
Now what the people widely use is the SDL system (standard deontic logic system), but the SDL system receives a series of paradoxes, in which most lets the logician headache is the CTD paradox.
现在人们广泛使用的是SDL系统(标准道义逻辑系统)，但SDL系统都受到一系列悖论的困扰，其中最让逻辑学家头痛的就是CTD悖论。
Now what the people widely use is the SDL system (standard deontic logic system), but the SDL system receives a series of paradoxes, in which most lets the logician headache is the CTD paradox.
现在人们广泛使用的是SDL系统(标准道义逻辑系统)，但SDL系统都受到一系列悖论的困扰，其中最让逻辑学家头痛的就是CTD悖论。
应用推荐