［本站讯］3月20日，哲学与社会发展学院举办第68期分析哲学论坛，青岛科技大学马克思主义学院路卫华博士受邀作题为“语义、结构与模型：科学理论的语义观研究”的报告，
　　报告分为三个部分。第一部分，结构、模型和语义概念的辨析。路卫华博士首先区分了实指语义与形式语义的不同。他指出，实指语义即语言符号所表示的信息，是语言自身之外的对象，所关注的是语言符号与其所表示的世界中的事项的关系；而形式语言的语义则是一抽象的集合论对象，虽然它也是将对象语言中的符号“实指”到了对象语言之外的事项上，但与实指语义不同，这些事项并非存在于日常所理解的经验世界之中，而是一些抽象的对象（如数学中的群）。基于此，他引出了梅纳与邦格关于科学理论的主张：经验科学需要的是关于事实性科学的哲学语义学，只有实指语义才能将科学词项的含义“指派”到经验世界中的事项上，从而使科学理论获得经验性，而形式语义却不能提供这种经验性。接着，他分析了数学模型，认为它有两种解释：一是纯粹的数学结构，即抽象数学对象，典型的如序关系、群、环、矩阵、矢量空间、拓扑空间等，它们本身即为一种数学结构；二是语义解释模型的数学结构，即纯粹的数学结构+解释函数。
　　第二部分，理论的语义观所理解的模型。路卫华博士首先指出了句法观主张的给出理论的形式公理的作法：一个几何空间定理就是组成它的这些公理的初等逻辑推论（句法后承）。人们定义一个G-空间为G的一个模型，即满足G的定理的一个结构。而语义观主张的直接定义理论的模型的作法，即G-空间可被直接的定义，这一定义是用数学用汉语表达的，没有涉及到任何特别的形式语言或形式理论，并且直接刻画了G的对象。按范弗拉森的说法，人们要表述一个理论，只需直接定义它的模型类，而在任何特殊语言中对理论的公理化问题则无需关心。在这里，被直接定义的模型是一种数学结构。因此，科学理论的模型是一纯数学结构，无需解释函数及相关联的形式语言。
　　第三部分，作为抽象结构的科学理论何以可能是经验的。首先，路卫华博士说明了理论的语义观：人们用理论的语言表述来描述作为抽象模型的理论，这个理论又用来表示作为数据模型的表象，而这一表象则是通过对世界中的对象的测量得来的。人们用形式的方法将科学理论表示为一抽象的结构后，形式地看，作为抽象结构的科学理论即为非经验的，其无异于数学理论。那么经验性如何获得呢？科学理论的经验性源于理论在科学实践中的实际运用，在辩护的与境下对科学理论的形式重构，仅能赋予理论一种主观经验性，如由理论的子结构同构于由测量数据得到的数据模型而获得的经验性。
　　报告结束后，路卫华博士与在座师生进行讨论，现场气氛热烈。
　　路卫华，青岛科技大学马克思主义学院讲师，先后就读于山东大学、中国科学院大学，获哲学博士学位。在《哲学动态》《自然辩证法研究》等期刊发表论文多篇。主要研究方向为形式进路的科学哲学、汉译科技名词的统一与规范化、马克思主义科学论。