独立型形式标记,指的是基于系统功能语言学(SFL)框架厘定的归属“词”这一级阶,且能独立进行功能切分的语言成分,在英语中主要体现为代用it和存在there这两个成分。一直以来,独立型形式标记受传统语法所谓语法填充作用这一观点掣肘,常被视为语言研究中的“二等语言公民”,其研究价值被大大低估的同时,学界对其本质的认识也渐行渐远。然而,独立型形式标记却是语言学研究无法绕开的话题,对其在语言系统中的句法合理性问题的解释,语言学理论无不关涉,从某种程度上讲独立型形式标记俨然成为检验各大语言学理论解释力的试金石之一。目前,独立型形式标记在语言系统体现的句法合理性考察主要表现为句法视角、认知视角及功能视角三方面,但均有值得商榷之处：句法视角要么专门为独立型形式标记设置扩充投射原则,要么将之与其他语言成分等同处理但又假设诸如“半论元”或“格分裂”等特殊句法处理方案,其解决方案并未观照独立型形式标记属于语言历时演化结果这一事实；认知视角将独立型形式标记视为“情景设置”或“心理空间”,但在认知语法框架下语言是认知作用下现实映射之结果,由于独立型形式标记缺乏现实映射,因而无法通过解释其在语言系统体现的原因以阐明其句法合理性；功能视角虽对独立型形式标记在语言系统得以选择的动因分别基于人际功能与语篇功能给予解释,但仍存在纯理功能解释失洽、功能标准判定不一以及功能构型关系模糊等问题。SFL以使用中的语言为研究对象,主张语言是其所是取决于人们参与社会活动时用于表达不同的语义以及实现不同的功能之需要的纯理功能思想,同时秉承语言作为现实构建材料的构建主义语言哲学观,因而可观照独立型形式标记的语义演化特性且将其视为现实构建的动力库而不用考虑其现实映射基础,从而对明晰独立型形式标记在语言系统得以体现的句法合理性提供了有力的理论依据。与此同时,受SFL领军人物韩礼德先生力荐的沃尔夫隐性范畴思想强调范畴关系对语言研究的重要性,使得独立型形式标记在语言系统得以体现的功能动因探讨,可在观照与其相对应的非形式标记的范畴关系的情况下展开,从而有助于揭示制约独立型形式标记在语言系统得以体现之纯理功能的独特性。鉴于此,作者以SFL的纯理功能思想和沃尔夫的隐性范畴思想作为探讨独立型形式标记何以在语言系统得以体现这一问题的切入点,并重点探讨三个问题：独立型形式标记具有哪些纯理功能?独立型形式标记的隐性纯理功能的具体体现?独立型形式标记的隐性纯理功能体现背后的动因如何解释?为合理解答上述研究问题,作者在指出现有研究在探讨独立型形式标记纯理功能解释不足的基础上,尝试性提出独立型形式标记的隐性纯理功能研究的实现路径,并依此厘定其功能类别和功能角色。同时,借助德语、荷兰语、冰岛语、丹麦语以及法语等跨语言类型学比较证据和基于儿童语言语料库CHILDES的语义个体发生学证据,为探讨独立型形式标记的功能角色提供语义理据的佐证。另外,基于美国历时语料库COHA和美国当代语料库COCA等语料库语料,从语言系统内、外两个维度对独立型形式标记的隐性纯理功能背后的动因作进一步探讨。本研究的主要发现如下：第一、独立型形式标记同时具有三大纯理功能,且在词汇语法层与语篇语义层均有体现。现有研究遵循基于语义内容推定小句成分功能角色的功能解释之语义路径,往往在缺乏观照经验意义和语义内容之间的潜势和潜势实现关系的情况下,将语义内容等同于功能角色进而将经验功能赋予有语义内容的小句成分。受传统语法研究影响,语义路径主张独立型形式标记缺乏语义内容进而缺乏经验功能的做法,自然无法揭示独立型形式标记的经验构建作用。与语义路径不同,功能路径主要基于结构重合标准与级阶成分标准判定小句成分的纯理功能类别,主张能独立切分且无法作缺省处理的独立型形式标记必然兼具三大纯理功能。由于词汇语法层体现语篇语义层,独立型形式标记的三大纯理功能在语篇语义层也应体现。同时,独立型形式标记的经验功能具有语言类型学比较证据和基于儿童语料库的语义个体发生学证据。第二、相对于非形式标记,独立型形式标记具有基于纯理功能厘定的隐性范畴所特有的反逆特征,其功能分析可纳入隐性纯理功能分析框架并分析为隐性纯理功能。就独立型形式标记的反逆特征而言,其在词汇语法层的经验、人际与语篇功能方面分别体现为“经验内容提问”、“韵律/主位识别”、“主位谓化”；在语篇语义层的经验、人际与语篇功能方面分别体现为“潜在施事”、“插入话轮”以及“识别关系”。基于隐性纯理功能分析框架,独立型形式标记it在词汇语法层的经验、人际与语篇功能可分别分析为“隐性动作者/隐性载体”、“隐性主语”、“隐性主位”；在语篇语义层的经验、人际与语篇功能可分别分析为“隐性制约过程功能”、“隐性协商功能”以及“隐性识别功能”。独立型形式标记there在词汇语法层的经验、人际与语篇功能可分别分析为“隐性载体”、“隐性主语”、“隐性主位”；在语篇语义层的经验、人际与语篇功能可分别分析为“隐性制约过程功能”、“隐性协商功能”以及“隐性识别功能”。第三、独立型形式标记隐性纯理功能的动因主要在于其具有的语言系统内的经验构建预制潜势和语言系统外的等级知识构建潜势两个方面。就内部动因而言,独立型形式标记在历时分布频数上所呈现出的逐年增长趋势,表明独立型形式标记因其具有相对于其他构建方式所没有的经验构建预制潜势,从而在经验构建过程中具有优先选择并用于经验构建的潜势。正是这种经验构建预制潜势,使得体现多元表征经验现象的多种成分配置方式逐渐向独立型形式标记句式进行规约,进而导致原本指称对象不明显的独立型形式标记进一步脱离其指称对象,并表现出隐性范畴特有的反逆特征且最终导致其隐性纯理功能的产生。就外部动因而言,独立型形式标记句式在学术语类中具有其他语类所不具有的高分布频数,说明有助于提升话语垂直度的独立型形式标记句式易被属于等级知识结构的学术语类用于表达意义潜势。但独立型形式标记本身却无法如气象内容和存在物那样参与等级知识构建过程,尽管独立型形式标记之间可基于气象性或存在性进行构建。也正是如此,独立型形式标记在语言使用中的意义即功能因此弱化,进而表现出其对应的非独立型形式标记所不具有的隐性范畴特有的反逆特征且最终导致其隐性纯理功能的产生。本研究一方面对独立型形式标记的经验构建作用给予功能解释,并基于此对其人际功能与语篇功能做出说明,形成对现有研究的有益补充,进而增强SFL在这一领域的理论解释力。另一方面,由于印欧语系中属于日尔曼语族的德语、荷兰语、冰岛语、丹麦语以及同属印欧语系但属于拉丁语族的法语均存在与英语类似的独立型形式标记现象,本研究可为跨语言类型的独立型形式标记现象提供可资参照的语言类型学功能分析途径。