Introduction: Science and Common Sense Long before the beginnings of modern civilization, men ac- quired vast funds of information about their environment. ...

Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

It is generally agreed that the method of explication consists in replacing a vague, presystematic notion (the explicandum) with a precise notion (the explicatum) formulated in a systematic context. However, Carnap and others who have used this and related terms appear to hold inconsistent views as to what constitutes an adequate explication. The central feature of the present explication of 'explication' is the correspondence condition: permitting the explicandum to deviate from some established "ordinary-language" conventions but, at the same time, requiring (...) that the explicatum correspond (via an effective translation) to the chosen "definitive intension" of the explicandum. (In effect, the first stages of an explication provide an informal characterization of a vague and possibly inconsistent language convention.) The present account of explication contrasts sharply with that sketched by Quine in Word and Object (although Quine accepts a correspondence condition of a sort). The terms `explication 1 ' and `explication 2 ' are used to indicate these quite different senses of the term. In Kaplan's terminology, explication 1 is intended to remedy "external vagueness" while explication 2 is intended to remedy "internal vagueness.". (shrink)

This is a new release of the original 1949 edition.