Abstract

The method of Ramsey sentences has been proposed for handling theoretical constructs within a scientific system. Essentially it consists of constructing a certain "monolithic" sentence for an entire theory. In this present paper several improvements are suggested which help to overcome some of the awkward features of the method. In particular we have here many Ramsey sentences rather than just one, each erstwhile primitive theoretical term giving rise to a Ramsey sentence. Such a sentence in effect defines what we call a Ramsey constant. Using Ramsey constants, we attempt to improve the method in important logical and semantical respects. It is suggested also that such constants are of interest for the philosophy of mathematics