在我接触到的一些logic in computer science领域论文中，经常会有解释与模型的乱用（或者混用）。有必要明确一下它们的不同。
解释属于一个语言的语义部分，是对该语言的语法成分代表什么意思的定义。譬如某语言中有常元“a”和公式“P(a)”，我们用“a”代表自然数2，一元谓词“P...”表示“...是偶数”。
而模型则是与一定的语法部分相关的，即对于这部分语法成分（公式的集合），只有当某解释下它们表示的意思成立时，这个解释就称为该部分语法成分的模型。
多读点书，把一些原始的定义搞清楚，是不该跳过的起码基本功。