Formal Features of Compositionality
Formal Features of Compositionality
复制标题
组合性的形式特征
DOI：
10.1023/a:1026502210492
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
W. Hodges
中科院分区：
文献类型：
--
作者：
W. Hodges
我们考虑了一种语言的组合语义概念的两种形式化形式，并在替换方面找到了一些等价的陈述。我们证明了一个定理，该定理陈述了扩展给定部分语义的“规范”组合语义存在的充分必要条件，在讨论了人们希望这样的扩展具有什么特征之后。这个定理包含了胡塞尔和塔斯基精神中关于语义范畴的一些假设。
We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a “canonical” compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.