科学理论的结构:从范畴论的观点看

在当代科学哲学中,科学理论的句法观和语义观之争是一个核心问题。句法观指出,科学理论是一个带有部分解释的形式演算系统。语义观指出,科学理论是一族科学模型,以及这些模型与现实世界的同构信息或相似性信息。经典的句法观和语义观忽视了形式演算系统或者科学模型族上的结构,从而可以被看成是平坦科学观。如果在科学理论的经典句法表示和语义表示上赋予适当的结构,则可以论证句法观和语义观不仅是相容的,而且是本质上等价的。这一结构丰化过程是通过对平坦科学观进行范畴提升而实现的;不但如此,范畴论还进一步导出了理论的等价和理论的2-范畴等重要概念。