查询词典 the Logicians

S.A.Kripke, one of the most famous logicians and analytical philosophers in America, published an important paper named "Outline of a Theory of Truth" in 1975, in which a new solution to the semantic paradoxes was proposed and the "orthodox approach" of Tarski was criticized. Centered on the notion of the "Groundedness", the proposal has greatly stimulated the research on the semantic paradoxes.

克里普克是当代美国著名的逻辑学家、分析哲学家，影响重大。1975年他发表的重要论文《真理论纲要》对经典的塔斯基的解悖方案提出批评，发展了一种以&有根性&概念为核心的新颖解悖方案，引发了语义悖论研究的又一次高潮，极大地推动了对这一问题的研究。

The first faculty has obviously long since been defined by the logicians as that of drawing inferences mediately (as distinct from immediate inferences, consequentis immediatis); but from this we get no insight into the second faculty, which itself generates concepts.

前一种能力固然已由逻辑学家们以间接推理的能力（不同于直接推理即consequentiis immediatis）而作出了解释；但后面这种自身产生概念的能力却还没有借此得到理解。

In proof of this interpretation, examples are quoted from scripture, as:"The seven kine are seven years"(Genesis 41:26) or:"Sara and Agar are the two covenants"(Galatians 4:24), Waiving the question whether the verb "to be" of itself can ever be used as the "copula in a figurative relation" or express the "relation of identity in a metaphorical connection", which most logicians deny, the fundamental principles of logic firmly establish this truth, that all propositions may be divided into two great categories, of which the first and most comprehensive denominates a thing as it is in itself (eg "Man is a rational being"), whereas the second designates a thing according as it is used as a sign of something else (eg,"This picture is my father").

在证明这一点的解释，例如引述经文为：&七凯恩斯是七年&（创41：26 ），或者：&萨拉和琼脂是两个人权公约&（加拉太4时24分），免收问题是否动词&，以&的本身都不能被利用为& Copula的一种形象化的关系&或表述&的关系，身份，在一个隐喻性联系&，其中最logicians否认的，基本原则的逻辑，牢固树立了这个真理，即所有的主张，可分为两个大类，其中第一和最全面的denominates一件事情，因为这是在自己（如：&人是一种理性的&），而第二指定事据，因为它是用来作为标志的东西，别人（例如，&这张照片是我爸爸&）。

One of the most influential medieval logicians and theologians.

其中最有影响力的中世纪logicians和神学家。

And the author of this paper gives some suggestions how Chinese logicians reply to the new trend of contemporary logic.

本文最后就中国逻辑学界如何应对当代逻辑发展的新趋势提出了一些建议。

Formal logicians are not concerned with existential matters which are precisely what artists are concerned with.

形式逻辑学家并不关心存在的事物，而艺术家所关心的则正是这些东西。

Perhaps you believe that there is little difference between economics and the parlour games of logicians, but in this particular case there is all the difference in the world.

可能你相信，经济学和逻辑学家的室内游戏几乎没有区别，但在这个特殊的案例中，则存在天壤之别。

Definition of context, this is about the studied situation and definition of the context that are in the theories of a few local and external logicians.

是语境的定义，分别介绍了国内外一些逻辑学家对于语境的研究情况及其对语境的定义；2。

Since that time, Boole's original conception has been extensively developed and refined by algebraists and logicians.

由于布尔代数，最初的概念逻辑学和二进制算术之间的内在联系，数，逻辑学和二进制算术之间的内在联系，使得布尔代数的理论在电子计算机的发展中起到举足轻重的作用。

Since that time,Boole's original concept has been extensively developed and refined by algebraists and logicians.

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

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。