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