 The accounts of a contextual theory of meaning in the works of Duhem, Poincaré and Feyerabend are informal insofar as they do not crystallize into a corresponding formal semantics for scientific terms. Such a crystallization is brought about by some of the formal accounts of theoretical terms to be expounded in  Section 4.