功能语类的形式特征普遍被认为是引起人类语言中的离位现象的缘由，然而这种设想无法解决如包含多个wh-疑问词移动的结构中的问题。此外，在《最简探索之框架》(Minimalist Inquiries:The Framework,1998;以下简称MI)中，一致操作(Agree)取代了吸引操作(Attract)，特征核查无需移位到核查语域(checking domain)，因此“移动”不能被认为是由功能语类的形式特征“触发”(trigger)的。为了解释人类语言中的离位现象，我们必须寻找另一种引起“移动”的原因。 在该论文中，我们提出一种假设，即“移动”是由词汇语类的形式特征触发的。本文着重讨论动词的移动，亦即动词提升。根据我们的假设，动词提升是由动词本身的形式特征引起的。动词的特征分为五种：语音特征，语义特征，语类特征，词缀特征，和形式特征[±v][±T][±C]。前四种特征都是可解释性特征，无需得到核查；而后一种特征，即形式特征，是不可解释性特征，如果它是强特征的话，就必须在进入运算后立即被核查掉，否则会导致表达式“失败”(crash)。这种不可解释性的形式特征便是触发移动的因素。形式特征的强弱参数值因各语言而异。若该形式特征带正值，则为强特征，触发动词移位；若其为弱特征，则不触发动词移位。 根据“中心语移位制约”(Head Movement Constraint,HMC)，动词的形式特征有四种组合：[+v][+T][+C]，[+v][+T][-C]，[+v][-T][-C]，[-v][-T][-C]。由于语言差异很大程度上归因子动词移动，所以人类语言也可分为相应的四种，分别在第三章中加以例证说明。本文第四章综合MI中的理论及本文提出的假设，讨论关于特征核查，尤其是动词的形式特征核查的问题。动词的形式特征若是强特征，则触发动词移位到相应的位置将此特tis＄fflla；ffP；kj6！Isoil：，WIJdewtgflJIRff。