哲学方法论系列文库：模型.pdfVIP

哲学方法论系列文库—— 模模型型 哲学是人类文化结晶， 方法论在哲学中占有重要地位。 本文提供 “模型” 的 代视点解读，以供大家了解。 模模型型 模型论是研究形式系统及其模型之间关系的数学分 支。 这里我们介绍模型的概念。 为简单起见，我们这里只考虑一阶理论的模型。 设L是一个一阶形式语言(参见“形式语言”