 We have already surveyed the inductive-logic side in the previous  section 8.2.  On the theoretical-language side, Carnap’s first major paper was “The methodological character of theoretical concepts” (Carnap 1956a), followed by “Observation language and theoretical language” (Carnap 1958) and “Theoretical concepts in science” (1959a). Carnap also touches on theoretical languages in several parts of the Schilpp volume (1963). Philosophical Foundations of Physics (1966), finally, is a redaction by Martin Gardner of a class Carnap gave at UCLA in the late 1950s, presented as an introductory textbook in the philosophy of science. Among other things, it gives a lucid summary of Carnap’s mature views on the reconstruction of scientific theories. See the supplement  The Reconstruction of Scientific Theories (Sections 3–5)  for details and criticism.