解释是一种将形式语言中的符号赋予意义的行为。许多使用于数学、逻辑及理论电脑科学的形式语言都会以纯语法的方式定义，且直到给予某些解释之前，不含有任何意义。一般研究形式语言的解释的学科称为形式语义学。最常研究的形式逻辑为命题逻辑、谓词逻辑及其衍生的逻辑，且此类的逻辑都已经有标准的方式来给出解释。在这些情况下，解释是一个可以提供目标语言的符号及符号字串外延的函数。例如，一个解释函数可作用在谓词"T"（表示「高」）上，并赋予其一个外延{"a"}（表示「小明」）。须注意的是，上述解释只是将外延{"a"}赋予在非逻