Logical Structure and Axiomatization

Abstract

In this chapter the stage will be set for the subsequent discussion of the logical structure of theories of mathematical physics. The notion of the logical structure of a scientific theory will be discussed briefly and the notion of providing a logical reconstruction of an existing scientific theory introduced. Three methods of providing logical reconstructions will be considered. It will be noted that one of these methods has met with some apparent success when applied to theories of mathematical physics. However, the nature of this success is not altogether intelligible. A precise formulation of the philosophical question raised by this method will be suggested, and a sketch of a proposed answer given. Out of the elaboration of this answer in later chapters, will eventually come the promised characterization of the logical structure of theories of mathematical physics.