自然语言逻辑研究的是自然语言,如果从实际生活来看,自然语言逻辑研究不应该像形式逻辑那样抽象化,然而,现有的自然语言逻辑却显示了高度形式化、抽象化的特点。之所以形式化,除了使用现代逻辑的研究方法外,另一个更深层次的原因是人工智能的发展要求自然语言逻辑形式化。在形式化过程中,虽然自然语言的内涵性、模糊性和交互性等特点给形式化工作带来重重困难,但同时又丰富和发展了自然语言逻辑的理论研究。