 where A stands for the set of observation sentences being asserted and (...)\(^R\) for the operation of Ramsification, i.e., existentially generalizing on all theoretical terms. This proposal of expressing theoretical assertions clearly makes such assertions dependent upon the context of the theory TC. Ramsey ([1929] 1931: 235n) thinks that a theoretical assertion \(\phi\) is not meaningful if no observational evidence can be found for either \(\phi\) or its negation. In this case there is no stock A of observation sentences such that (1) and (2) differ in truth value.