 From the viewpoint of standard truth-conditional semantics, however, this instruction to interpret the Carnap sentence appears arbitrary, if not even misguided. For in standard semantics, the Ramsey sentence may well be true without TC being so (cf. Ketland 2004). Hence, the Carnap sentence would not count as analytic, as Carnap intended. Carnap’s interpretation of \(A_T\) receives a sound foundation in his (1961) proposal to define theoretical terms using Hilbert’s epsilon operator, as we shall see in  Section 4.3.