Be的时态逻辑形式

按照德国语言学家施来赫尔(August Schleicher)的语言形态分类法,英语属于aA^x+A’一分析结构,即内部屈折与外部屈折+辅助动词的分析结构,其动词具有时态变化。对于包含时态动词的语句以及以这些语句为基础的推理,标准逻辑(即传统逻辑)未加研究,也没有提供足够的工具,因此自本世纪六十年代以来,时态逻辑(tense logic)应而生,其目的就是把时态语句形式化并把包含这种语句的推理系统化。系词be作为表示问异关系和包含关系的主要词汇,在判断中使用频率最高。总的来说。