 where \(X_1 , \ldots ,X_n\) are higher-order variables. This sentence says that there is an extensional interpretation of the theoretical terms that verifies, together with an antecedently given interpretation of the observation language \(L(V_o)\), the axioms TC. The Ramsey sentence expresses an apparently weaker proposition than TC, at least in standard truth-conditional semantics. If one thinks that the Ramsey sentence expresses the proposition of a scientific theory more properly than TC, one holds the Ramsey view of scientific theories.