外延

The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。

A modern urbanization should be shown by the change in urban physical space and extensional formation, by the adjustment and the change in the urban internal social structure, by the govern structure which could fit in with the needs of the change of the social structure and the urban development.

城市化应该是现代化的，既表现在城市的物理空间和外延形态上的改变，也反映在城市内部的社会结构的调整和改变上，反映在适应社会结构变化和现代城市发展需要的治理结构上。

If David and Lump share all of the same parts, for example, extensionality tells us that David is Lump.

如果五角星和泥块分享所有的相同部分，那么外延原则告诉我们的就是"五角星是泥块"。

The problem, of course, is that the extensionality principle is inconsistent with the constitution view if we assume that coinciding objects occupy the same place at the same time by having all of the same parts at those times.

问题是外延原则不一致于构成观，如果我们假设重合的客体占据相同的地点和时间，通过相同的部分。

As a result, the relative identity theorist must deny extensionality, which throws all of set theory into jeopardy.

结果，相对同一理论必须拒绝外延原则，这使得整个集合论都危险了。

We will call this the extensionality objection , since it appeals to the common idea that wholes are individuated by their parts in the same way that sets are individuated by their members.

我们称这为外延反对，因为这是诉诸"整体被其部分所个体化的方式，相同于集合被其元素所个体化的方式"。

The four-dimensionalist who accepts extensionality will thus be forced to conclude that Lumpl is identical to Goliath.

接受外延论的四维论者，如此会面得到"L同一于G"。

Third, and most importantly, note that extensionality is a theorem in standard systems of mereology , the logic of parts and wholes (for more, see the entry on mereology ).

注意到这点，我将离开时间限定词的暗示。3、最重要的，注意到外延原则是部分整体学说『merelogy，部分和整体的逻辑』的标准系统的定理（更多参考词条《 mereology 》）。

Do you know that you are physically focused extensions of Nonphysical Energy?

你知道你是非物质能量的物质的外延吗？

The "I" is a gross extrapolation that we use as an identity for ourselves and others.

我是我们内心世界的一个笼统外延，我们以此来区分自己和他人。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐