本文的英文版本已经上传到了LingBuzz：lingbuzz/010018
早期的最简方案（Chomsky1993,1995）包括早期的Chomsky主义的形式语言学理论一个很重要的点是合并（无论外合并还是内合并）都是“目的驱动(purpose-driven)”的，比如外合并（EM）的满足选择特征，内合并（IM）则是为了满足某种需求驱动（不如为了特征核查）。从Chomsky(2004)开始，EM和IM被统一为“合并”，并且他开始指出了这个合并是自由的[1]。再到Chomsky(2013、2015，也就是POP、POP+)提出最简合并（Simplest Merge）假设，并且深入的去解释了自由合并，如Chomsky(2015)假定“操作可以是自由的（free），其结果在语段层面（phase level）进行评估，以便在接口处进行移交（transfer）和解读（interpretation）。”[Chomsky(2015)assumes that “operations can be free, with the outcome evaluated at the phase level for transfer and interpretation at the interfaces.”]
Samuel David Epstein, Hisatsugu Kitahara and T. Daniel Seely（2017）则指出了“合并操作是完全任选的，它可以执行也可以不执行，如果他执行了，则它执行的唯一原因没有别的，就是因为“它能（it can）”[Merge is completely optional. It applies or it doesn’t, and if it does, it applies for no other reason than because “it can”. Samuel David Epstein, Hisatsugu Kitahara and T. Daniel Seely（2017:29）]。
围绕“自由合并”的定义，我们认为潘俊楠、杜雨桥（2024）的观点非常清晰，即“组合与错位的统一这一说法则意味着移位的句法生成应当是自由不受限制的。这是因为负责组合的外合并显然是自由而不受限制的;既然内合并与外合并本质相同,只是操作对象不同,那么负责错位的内合并本身也不应当背负任何限制。这一观点被称为“自由合并”(Free Merge)假设。”这个定义实际上也是从Chomsky(2004)中来，再进一步的给出定义的。
关于Chomsky(2013、2015)提出最简合并（Simplest Merge）假设，必须要指出的是Collins（2002）首次提出了合并抛弃标签的这种最简化合并的方式，也进一步的推进Chomsky(2013、2015)中对“最简合并（Simplest Merge）”的发展，Chomsky近期的观点也延续了这个思路，即“合并”一词，从最简形式来定义，是可以自由运用的。[Merge, defined in the simplest form, also applied freely（Chomsky et al 2023：56）]
Collins（2017:51-53）列举了合并的13条性质，其中第五条，合并（Merge）的输出中没有编码任何标签；第六条，合并是无触发的条件。要计算合并（X，Y），无需检查任何特征（例如，次范畴化特征、EPP 特征等）。[Fifth, as already discussed, there is no label encoded in the output of Merge; Sixth, Merge is untriggered. In order to calculate Merge(X,Y) there is no need
for any feature to be checked (e.g., subcategorization features, EPP features, etc.). Collins（2017:51）]
相应的Samuel D. Epstein, Hisatsugu Kitahara,and T. Daniel Seely（2022）也有相关的解释：强式最简论题（SMT）由乔姆斯基（1993, 1995）提出，并经乔姆斯基（2000）及后续研究发展完善。该论题认为人类语言的计算系统是一个“完美系统”，其满足接口条件的方式符合第三因素原则。这当然并非“断言”，而是基于常规科学共有的方法论依据、值得探索的假说。因此，在强式最简论题框架下，生成程序的组合操作（通过假设）采用最简单的表述形式，即后来所称的“最简合并”——这是一种集合构建机制，取X和Y两个元素，构成集合{X, Y}。[The strong minimalist thesis (SMT), presented by Chomsky (1993, 1995a,b) and elaborated by Chomsky (2000) and in subsequent work, takes the computational system for human language to be a “perfect system,” meeting the interface conditions in a way satisfying 3rd factor principles.This is of course not an “assertion” but a hypothesis deemed worthy of exploration on a number of methodological grounds common to normal science. （2022：62）]
同时他们也做了一个很好的总结：近期最简方案理论的一项发展是（Chomsky 2013, 2015）：合并操作以最简形式定义，只要符合第三因素原则便可自由应用。这些原则包括“包容性条件”（计算过程中不添加除词项特性排列外的任何新对象，Chomsky 1995: 228）以及“不篡改条件”（合并操作保持两个句法对象不变，Chomsky 2008: 138）。根据该假设，合并不再仅为了创造核查接口非法特征的配置而运作；相反，合并可选择性应用，因此推导崩溃可能发生。Chomsky（2015）主张“操作可自由应用，其结果在语段层面接受评估，以便向接口传递并解释。”[One recent development in minimalist theory (Chomsky 2013, 2015) is that Merge, formulated in the simplest form, applies freely as long as it conforms to 3rd factor principles such as the condition of inclusiveness: “no new objects are added in the course of computation apart from arrangements of lexical properties” (Chomsky 1995: 228), and the notampering condition: “Merge of X and Y leaves the two SOs unchanged”(Chomsky 2008: 138). Merge, by hypothesis, is no longer operating only“in order to” create a confguration that allows interface illegitimate features to be checked; rather, Merge optionally applies, and so crashing happens.5 Chomsky (2015) assumes that “operations can be free, with the outcome evaluated at the phase level for transfer and interpretation at the interfaces.” Samuel D. Epstein, Hisatsugu Kitahara,and T. Daniel Seely（2022：18）]
那么，“自由合并”和 “最简合并（Simplest Merge）”关系是什么呢？我们认为“自由合并”实际上就是“最简合并（Simplest Merge）”的前提原则，也就是说“自由合并”向我们回答了一个很鲜明的观点——合并是不需要任何“目的驱动(purpose-driven)”的，它就是因为“它能（it can）”而应用的，而“最简合并（Simplest Merge）”是在“自由合并”原则下的一中操作形式。Chomsky (2015) / Chomsky et al. (2023)的核心实际上就是“最简合并（Simplest Merge）”被定义的一种合并的操作形式，而“自由合并”是合并本来的属性，是不需要任何理由证明它存在，就是单纯把两个成分合并为一个成分的操作，而且是自由的、任意的、无需目的驱动的，我想这就是“它能”。
在Chomsky（2019a）中，他引入了工作空间（Workspace）概念，他指出：一个直接推论是某些操作，例如恰当版本的合并操作，应当作用于工作空间，而非特定的句法对象，因为它们可能改变工作空间本身。[One immediate consequence is that operations, say, the right version of Merge should be operations on the workspace, not on a particular syntactic object, because they can change the workspace. Chomsky（2019a:275）]也就是说Chomsky把合并操作放入到了工作空间（Workspace）中。
Chomsky（2019a）引入了工作空间（Workspace, WS），并且将合并定义为作用在WS中的操作，用MERGE（大合并）表示。但是我们发现Chomsky（2019b）专门指出这种MERGE（大合并）是比之前版本的递归机制有着更严格的限制，这个限制是什么呢？Chomsky（2019b）的处理是先讨论语言中的递归与一般意义上的递归之间的差异，并且指出了这种差异是由于资源限制(Restricting Resources,RR)，这个问题在Chomsky（2023）中也专门的进行了讨论。
Chomsky（2023）指出：合并是一种计算机制，它作为有机系统的组成部分，因此在应用上受到有机系统所施加的限制以及支配任何计算机制运作的普遍原则的约束；简言之，它必然受制于第三因素。[Merge is a computational device, one that is a component of an organic system,and thus is constrained in its application by restrictions imposed by organic systems and by general principles governing the operation of any computational mechanism; it is, in short, necessarily subject to the third factor.Chomsky（2023:16）]要注意这里第三因素（Three factors）具有这么几个次类：（a）可能用于语言习得及其他领域的数据分析原则；（b）进入渠化[2]、有机形式及广泛范围内的行动的结构架构与发展约束原则，包括高效计算原则，这些原则预计对语言等计算系统具有特别重要的意义。[The third factor falls into several subtypes: (a) principles of data analysis that might be used in language acquisition and other domains; (b) principles of structural architecture and developmental constraints that enter into canalization, organic form, and action over a wide range, including principles of efficient computation, which would be expected to be of particular significance for computational systems such as language. Chomsky（2005:6）]我们想说的是第三因素（Three factors）实际上就是一种生物约束，它是一种独立于语言官能的，独有一种原则，正如程工（2022）指出的那样：“第三因素”，它是所有生物系统都需要遵守的物理和数学的法则。那么自由合并受到的“第三因素”的限制是什么呢？我们认为“第三因素”应该有两个方面：（1）生物现实约束。Fong Sandiway（2021）认为人类大脑作为一个缓慢的有机系统，不具备必要的记忆信息存储空间[3]，因此必须有选择舍弃大量信号，也就是说人类的认知能力会受到大脑的物理限制，这种生物现实约束其实就是资源限制(Restricting Resources,RR)。（2）有效计算原则（principles of efficient computation），我们认为有这样的几种机制（a）马尔可夫性质 （Markovian Property）;（b）最小搜索 （Minimal Search）;（c）最小产出(Minimal Yield); （d）禁止篡改条件（No Tampering Condition, NTC）;（e）包含性条件（Inclusiveness Condition）。
马尔可夫性质 （Markovian Property）和最小搜索 （Minimal Search）、Condition）将会在后文中涉及到，我们介绍其余的机制：
最小产出(Minimal Yield)指的是每次合并只产生必要的新集合，而不是保存被合并的旧铭写。由于合并后工作空间中新的铭写数目应该尽可能小，以满足大脑资源限制等第三因素，所以一般只增加一个新的铭写。
禁止篡改条件（No Tampering Condition, NTC）指的是合并（Merge）操作不能修改或删除已生成的句法体的内部结构；合并后的两个元素保持不变。
包含性条件（Inclusiveness Condition）指的是计算过程只能重新排列词项的既有特征，不能添加新的客体（如语迹、阶标等）。
我们下面来讨论我们上述说明的关于合并要受限制与自由合并是不是相违背的呢？同时我们还发现Chomsky et al （2023）在这本书的第五章指出：合并不单单需要符合第三因素，还应该遵循第一因素，即遵循语言特定条件（Language-specific condition，LSC）,特别是题元角色理论(Theta Theory, TT)，围绕这个方面，作者们进一步提出了“语义二元性”(Duality of Semantics)原则，创新性的提出内合并构建非论元位置（A’-position），外合并构建论元结构（A-position）[4]。他们还指出人类语言计算系统（Computational System for Human Language也就是狭义的语言）必须满足必须满足人类语言特定条件（LSC）。且该系统的产物必须在概念-意向接口（Conceptual-Intentional Interface，C-I）和运动-感知接口（Sensorimotor Interface, SM-Interface）两个接口处的音系和语义得到诠释。
看到这里，其实我们更加需要讨论上述的观点是不是与自由合并相违背呢？我们的意见是不违背的，理由是（1）我们的第三因素的约束是站在生物性的约束，即大脑的物理限制以及有效计算原则的效率问题[5]和普遍语法的原则性，也就是LSC，它不排斥合并可以自由选择对象的这一原则，即合并限定在工作空间内进行操作，即自由合并下，句法操作可以对工作空间内的所有成分进行操作，进而产生任何它能够生成的结构。（2）我们所生成的结构，最终的结果是要由接口层面进行评估过滤的，而接口识别时需要通过加标来让他可解读，也就是说合并必须被触发，才会应用第一因素进行约束。所以，我们认为自由合并是“过程自由”，输出结果会受到约束。
这里我们也要进行说明，Ginsburg (2024)对于“自由合并”进行建模分析，提出很有意思的观点，我们赞同的观点有：
我认为，论元结构可受自由合并支配，但需受语言模块的约束；而总体而言，加标理论足以排除大多数不可能的句法推导。[I argue that arguments can be subject to Free Merge, subject to the constraints of the language module, but that Labeling in general is sufficient to eliminate most impossible derivations. Ginsburg (2024:2)]
我已论证，加标理论结合语段边界（phase boundaries）通常足以对自由合并形成制约。同时需注意，θ理论（Theta Theory）与格理论（Case Theory）在排除推导过程中并不发挥明确作用，仅加标理论本身即足以有效约束自由合并。[I have shown that in general, Labeling, combined with phase boundaries, is sufficient to constrain Free Merge. Also, note that Theta Theory and Case Theory play no clear role in ruling out derivations, and Labeling alone is generally sufficient to constrain Free Merge. Ginsburg (2024:53)].
这两点实际上，也说明了合并是无需触发的，是自由的，但是要受到语言模块的约束，这个语言模块也就是上文提到的第一、第三因素，这个约束条件其实是语言官能的本来就具有的属性（或者说是固有属性）；当然，Ginsburg指出了加标理论的问题，我们认为加标只是结构过滤和接口识别的算法，并不是句法建构的手段，我们的手段有且只有一个“合并”，同时我们也认为第一因素中的像θ理论（Theta Theory）与格理论（Case Theory）实际上是加标算法与接口识别中的衍生现象，并不是独立的句法模块。在最近，Chomsky提出“奇迹信条（The miracle creed）”中，他提出能内合并的成分一定是具有θ标记（θ-marker）的，之后我们也会讨论这个方面。
[1] Chomsky在他体系的观点中首次提出了“自由合并”：NS（狭义句法，Narrow Syntax）基于自由操作的合并。SMT意味着α和β的合并不受约束，因此既可以是外合并也可以是内合并。在外合并下，α和β是独立的对象；在内合并下，其中一个对象是另一个对象的一部分，合并产生了“移位”的特性，这种特性在语言中普遍存在，任何理论都必须以某种方式加以解释。很难想象有比允许内合并（一种语法转换）更简单的方法，这是一种可自由使用的操作。因此，移位并非语言的“缺陷”；其缺失才是一种缺陷。[NS is based on the free operation Merge. SMT entails that Merge of α, β is unconstrained, therefore either external or internal. Under external Merge, α and β are separate objects; under internal Merge, one is part of the other, and Merge yields the property of ‘displacement,’ which is ubiquitous in language and must be captured in some manner in any theory. It is hard to think of a simpler approach than allowing internal Merge (a grammatical transformation), an operation that is freely available. Accordingly, displacement is not an ‘imperfection’ of language; its absence would be an imperfection. Chomsky (2004:110)]
[2] 渠化（canalization）在演化遗传学中指长期的自然选择具有导致优化的表型的倾向，
从而降低了表型的变异。[程工、沈园（2022）34页脚注1]
[3] 这里的记忆信息存储空间实际上就是心理学上的“短时记忆”，这个短时性的记忆空间容量很小。
[4] 内合并构建的非论元位置（A’-position），这个位置主要是处理一些额外的信息结构或功能意义之类的层级，外合并构建的论元位置（A-position），一般由功能性中心语投射，并且符合论元准则（Argument Criterion）和题元准则（Theta-Criterion）（Collins2024），并且作者们也指出到语义二元性限制了合并的方式。
[5] 有效计算原则是追求的最简、最小化、最经济的原则，是决定计算效率的一种源于物理、数学等自然法则，适用于所有有机系统和计算系统。