| 内涵逻辑 intensional logic 以涉及语言表达式的内涵的语义学和语法学研究为基础的关于推理关系的一般理论。传统逻辑研究的对象是概念、判断、推理和论证。概念有外延和内涵。由于语词是概念的语言形式，有时也可把语词看成有外延和内涵。符号逻辑中的个体词、谓词就属于这类表达式。另外一类语言表达式句子，也可作相仿的处理，如句子也有外延和内涵。句子的外延是真值，句子的内涵是命题。传统逻辑在研究概念时，既处理了外延，也处理了内涵。如划分就是明确概念外延的逻辑方法，而定义却是揭示概念内涵的逻辑方法。当然，它使用普通的日常语言，而且一般采用的方法是非定量的。数理逻辑与之相反，它用形式的符号语言表述思想，采用的方法是定量的。它把推理处理得相当于真值蕴涵，利用真值蕴涵的单义性，把传统逻辑的命题、推理等转化成演算。但是，数理逻辑所作的定量的、精确的处理，主要是针对外延的。在一阶逻辑中，个体表达式的外延是它指称的对象，谓词表达式的外延是它指称的个体类，句子的外延是真值，量词只作用在个体变元之上。赋值、满足、真假、推理的正确性、系统的可靠性、完全性等问题的解决，都建立在对语言表达式的外延作深入、定量的分析之上。就此而言，通常把它称为外延逻辑。现代形态的内涵逻辑，一般认为要从刘易斯建立严格蕴涵的模态逻辑开始。古希腊斯多亚学派对于Lekton(所意谓的东西)的分析，已经显示出他们对内涵方面作了相当深入的研究。同时他们还提出了著名的*厄勒克特拉悖论，这些都孕育了内涵逻辑。到了19世纪弗雷格提出的涵义，实际上就是以后卡尔纳普所说的内涵。以后并由卡普兰(D. Kaplan)、克里普克、蒙塔古(Richard Montague)等人加以发展。刘易斯的模态逻辑，卡尔纳普的外延内涵方法，蒙塔古语法等都可以看成是内涵逻辑发展中的重要标志。 |