逻辑和语言的研究分为句法、语义和语用几个领域。

在语义领域,其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。这些理论自上世纪下半叶诞生起就呈现出逻辑和语言研究的交叉互动:尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究,但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新。

一种观点认为,传统逻辑是用自然语言表述的,现代逻辑是用形式语言表述的。这种观点暗示着现代逻辑不能解决自然语言中的问题,而传统逻辑能够解决。这种观点是有问题的。传统逻辑和现代逻辑虽然有形式方面的区别,但最主要的区别还是句法和语义的:前者是主谓结构,后者是谓词结构。由此区别出发,传统逻辑和现代逻辑形成了对自然语言的不同解释,而后者的能力无疑更强。现代逻辑作为分析自然语言的工具,认为自然语言的缺陷有:(1)表达式的层次结构不够清晰;(2)个体化认知模式体现不够明确;(3)量词管辖的范围不太确切;(4)句子成分的语序不固定;(5)语形和语义不对应。从自然语言的视角衡量逻辑语言,其不足有:(1)初始词项的种类不够多样;(2)量词的种类比较贫乏;(3)存在量词的辖域在公式系列中不能动态的延伸;(4)由于语境的缺失而使语言传达信息的效率不高。自然语言和逻辑语言到底是什么关系?若持偏激态度,各自都觉得对方不如己。视二者为一种互补关系,这种态度是可取的。于是,现代逻辑延伸到自然语言领域就有两大类工作可做:扬逻辑之长避自然语言之短,用严格精确的逻辑工具化解自然语言的缺陷问题;取自然语言之优补逻辑之拙,增加新的逻辑手段发展其理论。