查询词典 intensional

If our candidate conceptual analysis were an explicit verbal definition, in the vocabulary of microphysics, then we could be sure that the analogue of premise was a microphysical truth, but once we move to the more abstract and unconstrained representation of meaning given by the two-dimensional intensional framework, we can no longer assume that this premise is necessitated by microphysical theory, and even if we could assume this, it is not clear what it would mean to say that this premise is deducible a priori from microphysics.

如果我们的候选概念分析是一个语词的显定义『an explicit verbal definition』，那么我们可以确信类似前设是一个微观物理真，但一旦我们移入基于二维内涵框架给出的更多抽象和不受约束的意义表达后，我们不再假设这个前设在微观物理理论上是必要的；即使我们能够假设这，也不清楚说'这个前设从微观物理学先天演推得到'究竟是什么意思。

We try to expurgate the concept, and furthermore, put forward "inside world" parameter, and indicate that it should be in the frame of intensional logic to describe Chinese quasi-contradictory sentences.

高阶类论语言中形容词的逻辑类型描写不一致，本文从汉语似矛盾句实例出发，联系预设因素，尝试统一形容词的逻辑类型描写。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论，罗素的指称论，卡尔纳曾的实证主义，古德曼的现代实在论，塔斯基的语义学真理论，克里普克的模态逻辑可能世界语义学的传统，开辟了自然语言形式语义学研究的新方向；在理论语言学方面，他受乔姆斯基形式化语言研究思想的影响，并把这一思想扩展到自然语言的语义研究方面；蒙太格语法的理论来源有两个方面：逻辑方面是逻辑语义学思想和内涵类型论理论，语言学方面是范畴语法和转换生成语法。

The thesis use the intensional methods to deal with the uncertainty information in knowledge based systems.

本文的工作是用内涵方法来处理基于知识系统中所存在的不确定性信息。

Most of new supplyfasten on CBD and Chaoyang district, in which competitive press will be more intensional.

区域方面，还是主要集中在CBD和朝阳门区域，这两个区域的写字楼竞争压力也将随即增大。

The results in the paper provide new intensional methods for information management and processing of uncertainty in knowledge based systems, and these researches are of benefit to the development of artificial intelligence and computer science.

本文的研究结果为描述和处理基于知识系统中的不确定性信息提供了新的内涵方法，对于人工智能和计算机科学的发展很有意义。

Because of the technical defect of intensional semantics, situantional semantics is much more powerful in the knowledge representation.

由于内涵语义学技术上的缺陷，在知识表示上境况语义学显得更有优势。

The structure problem is the important contents of intensional development of higher vocational education and determines the type, specifications, and structure of personnel training.

结构问题是高职教育内涵发展的重要 www.8ttt8.com 内容，决定着人才培养的类型、规格、人才结构等重要 www.8ttt8.com 方面www.sSbbww.com。

The structure problem is the important contents of intensional development of higher vocational education and determines the type, specifications, and structure of personnel training.

专业为您提供构建和谐的高等职业教育结构等方面的职称论文！教学论文网是写手联盟旗下网站，合作期刊100余种，写手300余名，是全国最大的代网。

The truth condition of intensional logical formulas was worked out according to the model-theoretic definition of Intensional Logic.

MG将内涵逻辑引入语义研究，语义表达式是内涵逻辑式，从句子到内涵逻辑的转变由翻译规则来完成，然后再按照内涵逻辑的模型论定义求出翻译句的内涵逻辑式的真值条件。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。