“蕴涵”是逻辑学特别是现代逻辑中一个普遍运用、相当重要的概念。能否全面地理解和掌握好蕴涵及其相关问题，是关系到能否真正掌握现代逻辑的关键所在。所以，对蕴涵理论的研究，具有重要的理论和现实意义。 本文从理论演进和历史发展两个角度出发，全面系统地论述蕴涵的基本特征及其相关问题。首先，论文简要地考察了蕴涵概念的界定，指出蕴涵是对自然语言中连接词“如果，则”的逻辑抽象，而对它的意义的不同理解和把握，则可以有不同种类的蕴涵，不能笼而统之地对蕴涵下一定义，只有通过各种具体蕴涵去掌握有关蕴涵的理论；依据不同的分类标准，蕴涵可以有不同的类型，本文主要讨论古希腊及中世纪对蕴涵所作的分类及从记号学这一元逻辑的角度出发对蕴涵作的分类。 在此基础上，论文深入地分析了蕴涵与人们极易混淆的日常逻辑思维中的“如果，则”的关系，指出实质蕴涵作为数理逻辑中对日常语言“如果，则”的科学抽象地概括，二者的相同点在于：当前件真后件假时，充分条件假言判断为假，实质蕴涵式也为假。同时又深入细致地分析了二者之间的不同之处。 论文还从历史发展的角度阐述了蕴涵理论发展的轨迹，总结了罗素对蕴涵问题的认识，简要归纳了刘易斯的“严格蕴涵”、阿克曼等的“相干蕴涵”及安德森和贝尔纳普的“衍涵”等为代表的蕴涵理论的几种形态，并对这几种理论形态之间的关系进行了细致地对照，强调了实质蕴涵在数理逻辑中的基础地位。 最后，论文论述了蕴涵理论中尤为令人困扰的“蕴涵怪论”问题，剖析了它产尘的原因，并在此基础上指出蕴涵怪论存在的意义。一方面，正是由于蕴涵怪论为传统逻辑两个假言推理规则提供了语义学根据；另一方面，正是由于蕴涵怪论的发现，引发了逻辑学家们对蕴涵理论的深入探讨，提出了许多新的蕴涵理论如严格蕴涵，相干蕴涵，衍推蕴涵等等，推动了逻辑学蕴涵理论的发展，并促使蕴涵理论走下神秘的殿堂，而逐步深入到许多具体的学科中去。