《科学哲学》第三十节

本节讨论理论语言中分析陈述的识别问题。以“温度”为例，对应规则（C-假设）将理论词与温度计读数相联结，但这只提供了部分说明，因为理论词的意义涵盖更广，且将来可能有新的对应规则补充。

本节讨论理论语言中分析陈述的识别问题。以“温度”为例，对应规则（C-假设）将理论词与温度计读数相联结，但这只提供了部分说明，因为理论词的意义涵盖更广，且将来可能有新的对应规则补充。因此，不能把对应规则（C-假设）当作分析假设（A-假设）——那样会得到事实性的综合陈述；也不能把理论假设（T-假设）当作A-假设——它不能给理论词提供经验意义。

为解决这一困难，卡尔纳普提出使用拉姆西语句：将理论假设与对应规则中的全部理论词替换为类变量和关系变量，并在句首加上相应的存在量词。这样得到的拉姆西语句只含观察词和逻辑词，却与原理论具有同等的解释力和预言力，同时避开了关于理论词的形而上学追问。借助拉姆西语句，可将理论分解为两部分：一部分是不含事实内容、用作分析假设的语句，另一部分是表达全部观察内容的综合语句，二者共同蕴涵整个理论。