Abstract

In the four papers available on our web site (of which this is the first), we propose to develop an inductive logic. By “inductive logic” we mean a set of principles that distinguish between successful and unsuccessful strategies for scientific inquiry. Our logic will have a technical character, since it is built from the concepts and terminology of (elementary) model theory. The reader may therefore wish to know something about the kind of results on offer before investing time in definitions and notation. Providing such an informal overview is the purpose of the present essay. We begin with discussion of the central concept under investigation, namely, theory acceptance.