【摘要】在20世纪，内涵逻辑、内涵语义学和内涵形而上学是由逻辑学家、哲学家和语言学家在逻辑哲学和语言哲学领域共同缔造的为数不多但却无可置疑的进步之一。自上世纪60年代内涵逻辑诞生以来，这一逻辑分支在计算机科学、人工智能、语言学和哲学甚至数学基础等众多领域以其强有力的理论和实践工具的方式发挥着自己的作用。然而，作为一门激动人心的学科，在内涵逻辑的研究中人们会遇到各种困难，对这些困难的解决不仅对逻辑学家，而且对哲学家、语言学家和计算机科学家都是一种挑战。本文通过解释内涵逻辑的关键性发展和存在的问题，进而梳理出一条20世纪内涵逻辑理论发展和未来趋势的路径。