论萨普对科学理论句法观的误解

通常将萨普的表述作为对科学理论句法观的标准理解,但对比卡尔纳普的原始表述,表明萨普的表述中存在诸多误解:一是认为句法观仅限于以一阶语言来重构科学理论,未指出句法观已将类型论与数学都囊括于其基本演算中;二是未指明"经验定律"就是重构后的科学理论"公理系统"中的"定理";三是对观察子演算及其形式语义的引入,误解了卡尔纳普在句法观中提出的经验语义解释及模型概念的本义。