logician

noun

1. 逻辑学研究者；逻辑学家
   a person who studies or is skilled in logic

1. 逻辑学家
   A logician is a person who is a specialist in logic.

1. Cumberbatch most recently starred in The Imitation Game, playing famed mathematician and logician Alan Turing, and will soon be seen in The Hobbit: The Army of the Five Armies as Smaug and the Necromancer.
   本尼最近出演了《模仿游戏》，在电影中扮演著名的数学家兼逻辑学家艾伦图灵，而马上就要上映的《霍比特人：五军之战》中扮演史矛革和死灵法师。
2. Gottlob Frege is a great mathematician, philosopher and logician turning point in the19-20 century.
   弗雷格是十九至二十世纪转折处伟大的数学家、逻辑学和哲学家。
3. 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悖论。
4. A logician skilled in dialectic.
   熟练于辩证的逻辑学家。
5. First and foremost he is a logician.
   他首先是一个逻辑学家。
6. In 1947, the great Austrian logician Kurt Gdel went to a hearing in Trenton, New Jersey, to acquire American citizenship.
   1947年，伟大的奥地利逻辑学家库尔特哥德尔（kurtgdel）前往美国新泽西州特伦顿（trenton）参加听证会，以获得美国国籍。
7. In the 17th century, German philosopher and logician Gottfried Wilhelm Leibniz brought a new life to the logical language used by Aristotle. He believed that it was necessary to establish a common logical language so as to measure logical debates with mathematics.
   17世纪德国著名哲学家、逻辑学家莱布尼茨使亚里士多德逻辑开始了新生，他认为要建立一种通用的语言，通过这种语言使哲学家争论的问题变成数学计算。
8. The founder is famous logician J.
   创始人是美国著名的逻辑学家J。
9. Based on behaviorism and empirical slack, Willard Van Orman Quine, a famous contemporary American philosopher and logician, advanced the indeterminacy of translation, which has remarkably influenced the development of contemporary Western philosophy and linguistics.
   奥曼.奎因，在行为主义论和经验不确定论的基础上，提出了翻译的不确定性理论，这一理论影响了西方当代哲学和语言学的发展。
10. From ancient to modern, logician and philosopher never stop pursuing truth.
    从古至今，无论是逻辑学家还是哲学家都没有停止对真理的追求。
11. On the Opinions of Logic Falsehood of Ancient Chinese Logician
    中国古代逻辑学者的逻辑谬误论
12. Mozi is a famous thinker, scientist, military scientist, logician, and military engineer during pre-Qin Dynasty.
    墨子是我国春秋战国之际著名的思想家、科学家、军事家、逻辑学家和军事工程师。
13. This thesis makes an exposition of the mathematics logicism thought of Russell, the great mathematician and logician in phytogeny of logic.
    本文对伟大的数学家和逻辑学家伯特兰·罗素的数学逻辑主义思想进行了研究和探讨。
14. After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
    之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
15. Modal situation semantics is a unified mathematics frame provided for the situation semantics by the logician in the term of the theory situation technology.
    模态情境语义学是逻辑学家依据情境技术的理论，希望为情境语义学提供的一个统一的数学框架。
16. According to the classification of the paradox of the English logician F. P. Ramsey, logic paradox can be divided into two different types: set-theory& syntax paradox and semantic paradox.
    按照英国逻辑学家拉姆塞（F.P.Ramsey）的悖论分类，逻辑悖论可以划分为两种不同的类型：集合论&语形悖论和语义悖论。
17. Another American logician and semanticist Morris develops the semiotic theory of Peirce.
    另一位美国哲学家和语义学家莫里斯发展了皮尔士的符号学理论。
18. Situation Semantics is a new semantic theory in 1980s which is built on situation theory. The founders are the famous American logician Barwise and Perry.
    旬情境语义学是诞生于20世纪80年代的一种建立在情境理论的基础上的新的语义理论，创始人是美国著名的逻辑学家巴威斯和佩里。
19. Nelson Goodman is an American philosopher and logician. He is the representative of New Pragmatism and Logical Pragmatism.
    纳尔逊·古德曼（NelsonGoodman），美国哲学家、逻辑学家，是新实用主义和逻辑实用主义的代表。
20. American logician Peirce has comprehensively illustrated the science of semiotics.
    美国哲学家皮尔士对符号科学做了较全面的阐述。
21. Susan Haack is famous as contemporary philosopher, logician and neo-pragmatist.
    苏珊·哈克是当代著名的哲学家、逻辑学家，新古典实用主义的杰出代表。
22. In modern times, A. Turing, the British mathematician and logician, is the father of functionalism.
    而在现代，功能主义发源于英国数学家、逻辑学家图灵（A.Turing）。
23. Bertrand Arthur William Russell ( 1872-1970) is a famous philosopher, mathematician and logician of the 20th century in the west.
    贝特兰·阿瑟·威廉·罗素（BertrandArthurWilliamRussell，1872-1970）是20世纪西方著名的哲学家、数学家、逻辑学家。
24. The contemporary language philosopher and logician pay close attention to these questions.
    这些问题得到了当代语言哲学家以及逻辑学家的密切关注。

noun

1. a person skilled at symbolic logic

   Synonym:    logistician