A fundamental reason for using formal methods in the philosophy of science is the desirability of having a fixed frame of reference that may be used to organize the variety of doctrines at hand. This book--Patrick Suppes's major work, and the result of several decades of research--examines how set-theoretical methods provide such a framework, covering issues of axiomatic method, representation, invariance, probability, mechanics, and language, including...