The ArgumentRecent archival research has brought about a new understanding of the import of Einstein's puzzling remarks (1916) attributing a physical meaning to general covariance. Debates over the scope and meaning of general covariance still persist, even within physics. But already in 1921 Cassirer identified the significance of general covariance as a novel stage in the development of the criterion of objectivity within physics; an account of this development, and its implications, is the primary task undertaken in his monograph of (...) “epistemological considerations” on the theory of relativity. Cassirer's assessment is correct: general covariance, understood as an injunction against dynamical theories with background elements, is a “limiting heuristic principle” guiding Einstein's fundamental conception of a “complete field theory”; as such, it underlies a “separation principle” built into the conceptual framework of the EPR criticism of quantum mechanics. In conclusion, a further parallel is noted: mutual recognition that the principle of general covariance is but a form of “anthropomorphism.”. (shrink)

The modern notion of the axiomatic method developed as a part of the conceptualization of mathematics starting in the nineteenth century. The basic idea of the method is the capture of a class of structures as the models of an axiomatic system. The mathematical study of such classes of structures is not exhausted by the derivation of theorems from the axioms but includes normally the metatheory of the axiom system. This conception of axiomatization satisfies the crucial requirement that the derivation (...) of theorems from axioms does not produce new information in the usual sense of the term called depth information. It can produce new information in a different sense of information called surface information. It is argued in this paper that the derivation should be based on a model-theoretical relation of logical consequence rather than derivability by means of mechanical (recursive) rules. Likewise completeness must be understood by reference to a model-theoretical consequence relation. A correctly understood notion of axiomatization does not apply to purely logical theories. In the latter the only relevant kind of axiomatization amounts to recursive enumeration of logical truths. First-order “axiomatic” set theories are not genuine axiomatizations. The main reason is that their models are structures of particulars, not of sets. Axiomatization cannot usually be motivated epistemologically, but it is related to the idea of explanation. (shrink)

Matthias Neuber’s book represents an important contribution to the relatively young discipline of the History of Philosophy of Science. Starting roughly in the 1980s, increasing attention has been devoted not only to the relationship between philosophy and the history of science, but to an accurate historical reconstruction of earlier projects within philosophy of science. One of the most outstanding results of these investigations has probably been the radical reshaping of the rather caricatural image of logical empiricism—for better or worse the (...) core of the philosophical heritage of many philosophers of science—summarized in the so-called ‘standard view’. By analyzing the historical, sociological, and philosophical questions surrounding logical empiricism new light has been shed on the sense of a cultural, social, and political mission that characterized it before its emigration from Europe to North America in the 1930s and 1940s. What came to be known as .. (shrink)

A well known conception of axiomatization has it that an axiomatized theory must be interpreted, or otherwise coordinated with reality, in order to acquire empirical content. An early version of this account is often ascribed to key figures in the logical empiricist movement, and to central figures in the early “formalist” tradition in mathematics as well. In this context, Reichenbach’s “coordinative definitions” are regarded as investing abstract propositions with empirical significance. We argue that over-emphasis on the abstract elements of this (...) approach fails to appreciate a rich tradition of empirical axiomatization in the late nineteenth and early twentieth centuries, evident in particular in the work of Moritz Pasch, Heinrich Hertz, David Hilbert, and Reichenbach himself. We claim that such over-emphasis leads to a misunderstanding of the role of empirical facts in Reichenbach’s approach to the axiomatization of a physical theory, and of the role of Reichenbach’s coordinative definitions in particular. (shrink)