Ramsey sentence

Ramsey sentences are formal logical reconstructions of theoretical propositions attempting to draw a line between science and metaphysics. A Ramsey sentence aims at rendering propositions containing non-observable theoretical terms (terms employed by a theoretical language) clear by substituting them with observational terms (terms employed by an observation language, also called empirical language). Ramsey sentences were introduced by the logical empiricist philosopher Rudolf Carnap. However, they should not be confused with Carnap sentences, which are neutral on whether there exists anything to which the term applies. For Carnap, questions such as “Are electrons real?” and “Can you prove electrons are real?” were not legitimate questions, nor did they contain any great philosophical or metaphysical truths. Rather, they were meaningless "pseudo-questions without cognitive content,” asked from outside a language framework of science. Inside this framework, entities such as electrons or sound waves, and relations such as mass and force not only exist and have meaning but are "useful" to the scientists who work with them. To accommodate such internal questions in a way that would justify their theoretical content empirically – and to do so while maintaining a distinction between analytic and synthetic propositions – Carnap set out to develop a systematized way to consolidate theory and empirical observation in a meaningful language formula. Carnap began by differentiating observable things from non-observable things. Immediately, a problem arises: neither the German nor the English language naturally distinguish predicate terms on the basis of an observational categorization. As Carnap admitted, "The line separating observable from non-observable is highly arbitrary." For example, the predicate "hot" can be perceived by touching a hand to a lighted coal. But "hot" might take place at such a microlevel (e.g., the theoretical "heat" generated by the production of proteins in a eukaryotic cell) that it is virtually non-observable (at present).