各位朋友，咱们今天聊个数学里听起来“高冷”但其实超接地气的话题——模型论。一听到“模型论”这三个字，可能有人会想：“这是不是搞人工智能、做机器学习的那个‘模型’？” 其实不然，数学里的模型论，比咱们平时说的“数据模型”“物理模型”要抽象得多，但也根本得多——它研究的是“语言”和“结构”的对应关系，说白了就是：一套抽象的数学符号（咱们叫“形式语言”），到底能“描述”哪些具体的数学对象（咱们叫“结构”）？反过来，一个具体的数学对象，又能“满足”哪些抽象的符号规则？

你可能会觉得：“这不就是逻辑题吗？” 没错，模型论属于数理逻辑的三大分支之一（另外两个是证明论和递归论），但它和纯逻辑的区别在于：它不纠结“怎么证明一个命题是对的”，而是聚焦“一个命题对哪些东西是对的”。打个比方，证明论像“法官”，判断一个说法有没有道理；模型论像“侦探”，寻找这个说法能适用的所有场景。今天咱们就用聊天的方式，把模型论的核心——结构、解释，还有它背后的数学思想，一点点掰扯清楚。

继续阅读：逻辑   模型   解释

此文由 怡心湖 编辑，若您觉得有益，欢迎分享转发！：首页 > 会·生活 » 模型论：结构、解释与数学的实在性，从日常逻辑到抽象世界的探索