摘要:模型论 正文 数理逻辑的一个分支。它是研究形式语言及其解释(模型)之间关系的理论。早在20世纪20年代,T.司寇伦(1887~1963)等人在数理逻辑研究中就已经得到有关模型论性质的重要结果。但作为系统的理论,模型论的奠基人应推A.塔尔斯基。后来,A.鲁宾逊也对模型论作过较多的贡献。在这方面有贡献的学者还有R.L.沃特、A .И.马尔切夫、张辰中、H.J.凯斯勒、M.D.莫尔利和S.什拉赫等人。 模型论按其所涉及的逻辑系统划分,大致可分为:一阶模型论、高阶模型论、无穷长语言模型论[阅读全文]