计算语义学有两种研究思路：一种是框架性研究，例如Montague语法（语义），其目标是给出尽可能广泛的自然语言的形式框架，但由于抽象掉很多具体语言特征，因而对自然语言只能作比较粗糙的刻画。另一种是领域性研究，即针对特定的语言现象或语言片段给出尽可能具体的形式理论，其优点是能够将形式语义学与计算语义学结合起来，对自然语言的特定问题能作比较精细的刻画，缺点是每次只能处理一个问题，应用范围较窄。但这两类研究并不截然对立，很多时候一般性的研究框架也是从特定问题出发得到的，例如Montague语法最初是为了处理量词产生的。这两类研究之间的关系有点像模态逻辑与某个具体的哲学逻辑的关系。模态逻辑现在已经成为一个一般的研究框架，但最初却是为了刻画“必然”“可能”这些特殊概念产生的。