关于模型运用商榷

“模型”一词,在《说文》中早有记述“模,法也”,清代人解释“以木曰模……以土曰型……,皆法也”,都是指仿制或缩小仿制的意思。其有多种解释。当一个数学结构作为某种形式语言(即包括常用符号、函数符号、谓词符号的符号集)的解释时,称为模型。任何数学结构都由一个非空集合组成,这个集合称为模型的论域。形式语言中每一类符号都分别被确定地解释为论域中的元素、数学结构中具体的函数或关系,数学中出现的各种结构等都可以称为模型。如果一个数学结构使得形式理论中的每个公式在这个结构内解释为真,那么这个数学结构就称为这个理论的一个模型。对于一个理论模型不一定是唯一的(引自辞海)。