Various concepts of grammatical compositionality arise in many theories of both natural and artificial languages, and often play a key role in accounts of the syntax-semantics interface. We propose that many instances of compositionality should entail non-trivial combinatorial claims about the expressive power of languages which satisfy these compositional properties. As an example, we present a formal analysis demonstrating that a particular class of languages which admit salva vertitate substitutions - a property which we claim to be a particularly strong example of compositional principle - must also satisfy a very natural combinatorial constraint identified in this paper.
翻译:在许多自然语言和人工语言理论中,出现了各种语法构成概念,这些概念往往在语法和语义的界面中发挥关键作用。我们建议,许多语法构成情况应引起对语言表达力的非三重组合性主张,以满足这些语义的构成特性。举例来说,我们提出正式分析,表明接受沙瓦脊椎替代的某类语言----我们声称这是构成原则的一个特别强有力的例子----也必须满足本文件中确认的非常自然的组合制约。