本文通过提出的理论机制分两个层面研究了英语现在完成式难题的若干现象:时和体如何描述一个事态(事件或状态)在时间中发展或维系的时间意义,以及作用于现在完成式的认识论考究和表达策略、形式上以修正的真值核查(RTVC)原则可见的认知意义(epistemic meaning)。作者通过改进的抽象时间揭示了难题的形式结构,其中RTVC原则提供了难题相关现象的解释。时间意义可由体算子和时算子在给定的时间模型中计算,直觉上以综合了戴维森和普赖尔观点的“事件嵌入理论”可见。体通过常量赋值函数决定了实际事态在每个“时段—时轴”的位置,而时通过抽象时间上的变量赋值函数把这样的位置映射到现在视点。认知意义可由体算子在给定的内涵模型中计算实现。鉴于“体先于时假设”和“规则对应假设”,遵循“句法对照”和“语义读译”的通行要求,作者引入蒙塔古的“量词嵌入”方法将现在完成式分析为“Perf(Pres(Perf’(φ)))”结构,以应对体算子两次不连续出现引起的理论困难。因此,两个假设互不干扰,认知意义得以用逻辑计算,其语义读译在顺应句法对照和“叠置原则”的事件嵌入理论中可理解。首次出现的标准时间模型基本符合时间意义的需要。针对认知意义,修正模型以整合认知逻辑、信念集、知识、可及性和可能世界集(基于克里普克结构)。修正的时间模型关联语义和语用,反过来揭示了说话人使用现在完成式的心理策略。在考察了形式语言学时态研究概要思想和针对难题的五种既有解释理论后,作者首先给出理论框架,引入并按需改进时间体制,展示抽象时间的属性,初次定义了模型中的真值核查原则,对比量词嵌入提出事件嵌入和体算子的二次运行。为解决语义读译,进一步细化时间轴结构特征,修正时间模型和真值核查原则,在内涵模型中形式化分析难题的典型现象使得解释结果是计算可得的。