本文根据弗雷格对于内涵问题的思考,给出了评价内涵逻辑的两个标准即内涵刻画标准和解决内涵难题标准。根据这两个标准,现代内涵逻辑存在两种基本的解决策略：还原主义路径(由卡尔纳普奠基)和内涵主义路径(由丘奇奠基)。从内涵逻辑发展历史来看,蒙塔古内涵逻辑从语形上继承了丘奇简单类型论的语形,从语义上接受了卡尔纳普对于内涵语义的建构。本文从蒙塔古提出内涵逻辑的基本动机入手,阐释了蒙塔古“普遍语法”的设想及其内涵逻辑系统IL的语形和语义,并对于蒙塔古内涵逻辑的成效与不足做出评价。本文认为,蒙塔古试图用一种严格的数学方法将逻辑学家长期认为的一对矛盾(即外延逻辑主义的严格性与自然语言内涵歧义性与内涵性)解决掉,这是一次颇具胆识和智慧的尝试,但他所提出的内涵逻辑系统,能够解决内涵难题1,但无法解决内涵难题2和内涵难题3。蒙塔古之后,许多逻辑学家试图弥补蒙塔古内涵逻辑的不足,从而把有关内涵问题的讨论进一步引向深入。针对这些逻辑学家所做的工作,本文揭示了内涵逻辑所面临的二难困境,并指出用一种统一的内涵标准来发展内涵逻辑是不可能的。