内涵逻辑

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第686页（341字）

泛指研究建立在表达式的内涵分析基础上的逻辑学科。传统逻辑和经典数理逻辑主要是从外延方面来研究表达式及其推理的。赋值、满足、真假、推理等的分析都是建立在表达式的外延分析基础上的。因此，通常称之为外延逻辑。在有的非经典逻辑系统中，外延论题不成立。如，从“Fa”和“a=b”可推出“Fb”，但是从“甲知道Fa”和“a=b”，却不能推出“甲知道Fb”。因为后一个推理不仅涉及到a与b的外延，而且涉及到它们的内涵，涉及到“知道”的涵义以及知道者的认识。这样的逻辑系统称为内涵逻辑。模态逻辑、认知逻辑、相信逻辑等都属于内涵逻辑。一般认为，刘易斯建立的模态逻辑、卡尔纳普提出的外延内涵方法和蒙塔古创立的蒙塔古语法等是内涵逻辑发展进程中的重要标志。